Verifying the manipulation of data objects according to business process and data models
Business processes read and write data objects, usually stored in databases. Although data models and activity-oriented business process models originate from different paradigms, they need to work together properly. The data object states are transformed during each process…
DOI: 10.1007/s10115-019-01431-5