Using process algebra to control the execution of business processes.
Kelly Rosa BraghettoJoão Eduardo FerreiraCalton PuPublished in: SAC (2008)
Keyphrases
- business processes
- business process
- workflow management systems
- process algebra
- workflow processes
- process execution
- web services
- asynchronous circuits
- business rules
- business process models
- business environment
- business process management
- model checking
- process model
- workflow management
- formal specification
- business partners
- workflow systems
- web services composition
- business process modeling
- concurrent systems
- formal methods
- service oriented architecture
- business goals
- business objectives
- information systems
- communication protocols
- artificial intelligence
- workflow model
- active databases
- workflow engine