Keyphrases
- control flow
- modeling language
- data flow
- software testing
- formal semantics
- business process models
- workflow processes
- uml activity diagrams
- process model
- metamodel
- object oriented
- software systems
- software engineering
- specification language
- uml class diagrams
- formal methods
- conceptual modeling
- sequence diagrams
- workflow management systems
- software development
- data sets
- open source
- transition systems
- xml documents
- information technology