A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes.
Luis E. Mendoza MoralesManuel I. Capel TuñónMaría A. PérezPublished in: ICEIS (2010)
Keyphrases
- business processes
- business process
- business process models
- business process management
- web services
- process model
- petri net
- competitive advantage
- business applications
- inter organizational
- business process modeling
- business environment
- workflow management systems
- model checking
- business rules
- service oriented architecture
- process management
- workflow management
- workflow systems
- workflow model
- business objectives
- description language
- business partners
- model driven development
- process execution