Automatic verification of data-centric business processes.
Alin DeutschRichard HullFabio PatriziVictor VianuPublished in: ICDT (2009)
Keyphrases
- data centric
- business processes
- business process
- web services
- business process management
- workflow systems
- inter organizational
- business process modeling
- workflow management
- workflow management systems
- workflow processes
- business objectives
- process model
- service oriented architecture
- business process models
- service oriented
- data driven
- software development
- business activities
- data warehouse
- case study