Verifying the manipulation of data objects according to business process and data models.
José Miguel Pérez-ÁlvarezMaría Teresa Gómez LópezRik EshuisMarco MontaliRafael M. GascaPublished in: Knowl. Inf. Syst. (2020)
Keyphrases
- data objects
- business process
- data model
- business processes
- databases
- data access
- database systems
- process model
- ws bpel
- process mining
- business rules
- web services
- relational data
- query language
- data integration
- multi type
- business process modeling
- database design
- object oriented
- workflow model
- database management systems
- business process models
- multimedia data
- data sources
- business process management
- case study
- xml documents
- database server
- data types
- inter organizational
- workflow management systems
- service oriented architecture
- data points
- index structure