Towards Formal Analysis of Artifact-Centric Business Process Models.
Kamal BhattacharyaCagdas Evren GeredeRichard HullRong LiuJianwen SuPublished in: BPM (2007)
Keyphrases
- agent model
- formal analysis
- business process models
- artifact centric
- business processes
- workflow management systems
- business process
- service oriented architecture
- model checking
- control flow
- process model
- ban logic
- web services
- business process management
- business rules
- fine grained
- real world
- service oriented
- service oriented computing
- information systems
- databases