Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications.
Ralph HochChristoph LuckenederRoman PoppHermann KaindlPublished in: IEEE Trans. Software Eng. (2022)
Keyphrases
- context dependent
- process model
- life cycle
- semantic level
- control flow
- process mining
- high level
- business processes
- business process
- natural language
- business process models
- context free
- low level
- event logs
- petri net
- business models
- design process
- software process
- product life cycle
- formal specification
- product design
- case study