Automatic Verification of Static Policies on Software Process Models.
Rodrigo Quites ReisCarla Alessandra Lima ReisHeribert SchlebbeDaltro José NunesPublished in: Ann. Softw. Eng. (2002)
Keyphrases
- process model
- software process
- process mining
- control flow
- design patterns
- architectural models
- event logs
- business processes
- business process
- software systems
- software development
- business process models
- software architecture
- software engineering
- reference models
- neural network
- software components
- source code
- user interface
- dynamic behaviors
- petri net
- object oriented
- architectural model
- web services