An LTL Semantics of Business Workflows with Recovery.
Luca FerrucciMarcello M. BersaniManuel MazzaraPublished in: CoRR (2014)
Keyphrases
- business processes
- business process
- inter organizational
- workflow management
- electronic commerce
- control flow
- information systems
- business process models
- logic programming
- model checking
- business intelligence
- bounded model checking
- business models
- real world
- data processing
- formal semantics
- temporal logic
- workflow management systems
- semantic information
- data mining
- business rules
- virtual enterprise
- business applications
- belief revision
- conceptual model
- specification language
- logical framework
- web services
- decision making
- manufacturing enterprises
- linear temporal logic