Analyzing software process models with AVISPA.
Julio Ariel Hurtado AlegriaMaría Cecilia BastarricaAlexandre BergelPublished in: ICSSP (2011)
Keyphrases
- process model
- software process
- control flow
- process mining
- architectural models
- design patterns
- business processes
- business process
- petri net
- event logs
- software systems
- software development
- code generator
- neural network
- business process models
- user interface
- dynamic behaviors
- software architecture
- software components
- expert systems
- decision making
- data mining