Verifying the Consistency between Business Process Model and Data Model.
Lei WangHongyan LiQiang QuHuaqiang ZhangBin ZhouPublished in: JCAI (2009)
Keyphrases
- process model
- data model
- business processes
- business process
- business process models
- process mining
- database systems
- business process management
- business applications
- business rules
- data integration
- databases
- query language
- object oriented
- formal models
- data mining
- web services
- database design
- workflow management systems
- data modeling
- database
- workflow technology
- event logs
- control flow
- model checking
- petri net
- xml documents
- decision making
- information systems
- workflow management
- workflow systems
- case study
- software process
- conceptual model
- real world
- knowledge management
- data sources