Keyphrases
- control flow
- data flow
- software testing
- process model
- transition systems
- workflow management systems
- workflow processes
- formal semantics
- information technology
- business process models
- modeling language
- software development
- knowledge representation
- reactive systems
- memory hierarchy
- high level
- artificial intelligence