Scenario Modeling and Verification for Business Processes.
Bruno BlaskovicZoran SkocirLuka HumskiPublished in: KES-AMSTA (2012)
Keyphrases
- business processes
- business process
- business process modeling
- web services
- model driven development
- inter organizational
- process model
- business applications
- workflow management systems
- business environment
- business partners
- process mining
- competitive advantage
- business process models
- workflow management
- workflow systems
- business rules
- modeling language
- business process management
- enterprise wide
- business objectives
- ws bpel
- model checking
- real world
- case study
- workflow model