Automatic Validation of Knowledge-intensive Process Models through Alloy.
Tatiana BarbozaFlávia Maria SantoroFernanda BaiãoPublished in: SBSI (2018)
Keyphrases
- knowledge intensive
- process model
- knowledge acquisition
- process mining
- business processes
- business process
- business process models
- event logs
- knowledge management
- software development
- software process
- workflow management
- law enforcement
- human resources
- dynamic behaviors
- information systems
- workflow management systems
- petri net
- computational intelligence
- software engineering
- artificial neural networks