Semantic investigation of a control-flow subset of BPMN 2.0.
Eneia Nicolae TodoranPaulina MitreaPublished in: ICCP (2015)
Keyphrases
- control flow
- business process models
- process model
- data flow
- business processes
- workflow management systems
- business process
- software testing
- modeling language
- semantic information
- process mining
- source code
- semantic web
- software systems
- data sets
- model driven
- formal semantics
- knowledge representation
- natural language