An Interface Prototype Proposal to a Semiautomatic Process Model Verification Method Based on Process Modeling Guidelines.
Valter Helmuth Goldberg JúniorVinicius Stein DaniDiego Toralles AvilaLucinéia Heloisa ThomJosé Palazzo Moreira de OliveiraMarcelo FantinatoPublished in: ICEIS (Revised Selected Papers) (2017)
Keyphrases
- process model
- semi automatic
- process mining
- verification method
- business processes
- formal models
- business process
- design patterns
- dynamic behaviors
- event logs
- user interface
- petri net
- fully automatic
- business process models
- software process
- machine learning
- workflow management systems
- control flow
- workflow systems
- model checking
- knowledge management
- software engineering
- case study
- workflow technology
- web services
- website