: a tool for collaborative business process modelling and verification.
Riccardo CogniniDamiano FalcioniAndrea PoliniAlberto PolzonettiBarbara RePublished in: SAC (2013)
Keyphrases
- business process
- business processes
- business process modeling
- process model
- ws bpel
- business process models
- business rules
- web services
- process mining
- service oriented architecture
- workflow management systems
- workflow model
- case study
- business process management
- workflow technology
- real world
- formal verification
- life cycle
- modeling language
- decision support system
- event logs
- user interface
- business goals
- model checking