A Semiautomatic Process Model Verification Method based on Process Modeling Guidelines.
Valter Helmuth Goldberg JúniorLucinéia Heloisa ThomJosé Palazzo Moreira de OliveiraMarcelo FantinatoDiego Toralles AvilaPublished in: ICEIS (3) (2017)
Keyphrases
- process model
- semi automatic
- process mining
- business process
- verification method
- formal models
- business processes
- petri net
- software process
- medical knowledge
- fully automatic
- workflow technology
- dynamic behaviors
- business process models
- workflow systems
- control flow
- workflow management systems
- modeling language
- development process
- model checking
- information retrieval