Verification of Business Process Quality Constraints Based on Visual Process Patterns.
Alexander FörsterGregor EngelsTim SchattkowskyRagnhild Van Der StraetenPublished in: TASE (2007)
Keyphrases
- business process
- process model
- business processes
- business process modeling
- business process management
- workflow technology
- process execution
- business process models
- process mining
- event logs
- ws bpel
- web services
- business goals
- requirements engineering
- business rules
- business users
- service oriented architecture
- business requirements
- workflow model
- workflow models
- workflow management systems
- process improvement
- design patterns
- model checking
- data management
- object oriented
- case study