Log-Based Understanding of Business Processes through Temporal Logic Query Checking.
Margus RäimClaudio Di CiccioFabrizio Maria MaggiMassimo MecellaJan MendlingPublished in: OTM Conferences (2014)
Keyphrases
- business processes
- temporal logic
- business process
- model checking
- verification method
- process model
- query processing
- linear temporal logic
- web services
- workflow management systems
- business process models
- query evaluation
- belief revision
- computation tree logic
- business objectives
- data sources
- workflow management
- business environment
- query execution
- workflow systems
- business process management
- business rules
- model checker
- business partners
- business activities
- inter organizational
- formal verification
- software development
- query language
- formal specification