Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs.
Kais KlaiJörg DeselPublished in: FMOODS/FORTE (2012)
Keyphrases
- business processes
- business process
- web services
- business applications
- competitive advantage
- process model
- inter organizational
- business rules
- workflow systems
- business process models
- business partners
- workflow management systems
- business environment
- business objectives
- workflow management
- process mining
- process management
- data analysis
- business process modeling
- business process management
- enterprise wide
- active databases
- information management
- data model
- business transactions
- information technology
- workflow processes