Specification and Verification of Artifact Behaviors in Business Process Models.
Cagdas E. GeredeJianwen SuPublished in: ICSOC (2007)
Keyphrases
- business process models
- formal verification
- business processes
- control flow
- business process
- model checker
- model checking
- asynchronous circuits
- business rules
- formal methods
- process model
- protocol specification
- formal specification
- specification language
- high level
- colored petri nets
- temporal logic
- formal language
- concurrent systems
- artificial intelligence
- workflow management systems
- knowledge based systems
- software engineering
- user interface