Formalizing WSBPEL Business Processes Using Process Algebra.
Javier CámaraCarlos CanalJavier CuboAntonio VallecilloPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- business processes
- process algebra
- concurrent systems
- formal specification
- asynchronous circuits
- model checking
- business process
- formal methods
- web services composition
- web services
- communication protocols
- business rules
- petri net
- temporal logic
- process model
- business process management
- business process models
- distributed systems
- service oriented architecture
- workflow processes
- business environment
- workflow systems
- business partners
- service composition
- communication networks
- artificial intelligence