A rigorous methodology for specification and verification of business processes.
Cristian MasalagiuWei-Ngan ChinStefan AndreiVasile AlaibaPublished in: Formal Aspects Comput. (2009)
Keyphrases
- business processes
- business process
- business rules
- process model
- workflow model
- business process modeling
- formal verification
- business process models
- business applications
- web services
- workflow management systems
- competitive advantage
- formal methods
- workflow management
- model checking
- business process management
- workflow systems
- information systems
- conceptual model
- business objectives
- ws bpel
- bpel ws
- inter organizational
- business partners
- process mining
- process execution
- service oriented architecture
- business intelligence
- enterprise application integration