Teaching MDE through the Formal Verification of Process Models.
Benoît CombemaleXavier CrégutArnaud DieumegardMarc PantelFaiez ZalilaPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases
- process model
- formal verification
- process mining
- model checking
- automated verification
- business process
- event logs
- business processes
- model checker
- software process
- business process models
- petri net
- web based learning
- control flow
- e learning
- educational technology
- reference models
- expert systems
- code generator
- software engineering
- decision making