Ricerc@Sapienza

It is known that the engineering of information systems usually requires a huge effort in integrating master data and business processes. Existing approaches, both from academia and the industry, typically come with ad-hoc abstractions to represent and interact with the data component. This has two disadvantages: (i) an existing database (DB) cannot be effortlessly enriched with dynamics; (ii) such approaches generally do not allow for integrated modelling, verification, and enactment.

Consider an artifact-centric business process model, containing both a data model and a process model. When executing the process, it may happen that some of the data constraints from the data model are violated. Bearing this in mind, we propose an approach to automatically generate an extension to the original business process model that, when executed after a constraint violation, repairs the contents of the data leaving it in a new consistent state.