Modeling and Verification of Business Processes and Choreographies in ALP.
Federico ChesaniPaola MelloMarco MontaliPaolo TorroniPublished in: Il Milione (2008)
Keyphrases
- business processes
- business process
- business process modeling
- model driven development
- web services
- process model
- business process management
- workflow systems
- business partners
- service oriented architecture
- competitive advantage
- business rules
- inter organizational
- business environment
- workflow management
- business applications
- business process models
- workflow management systems
- business objectives
- workflow model
- ws bpel
- enterprise resource planning
- model driven
- process execution
- model checking
- case study