Artículo
Verifying the manipulation of data objects according to business process and data models
Autor/es | Pérez Álvarez, José Miguel
Gómez López, María Teresa Eshuis, Rik Montali, Marco Martínez Gasca, Rafael |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2020 |
Fecha de depósito | 2022-11-02 |
Publicado en |
|
Resumen | 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 ... 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 instance by the activities of the process model. It is therefore necessary to verify whether the states of the data objects are correct according to the process model, and to discoverthe states ofthe stored data objects.Thisimplies determining the relation between the data objects stored in the database, the data objects involved in the process, and the activities that within the business processthat create the data objects and modify theirstates. In order to verify the business process annotated with data states and to reduce the existing gap between data model and business process model, we propose a methodology that includes enlarging the capability to describe data states in business processes; verifying the completeness and consistency of the data states described in accordance with their relation to the business process model; and discovering the states of the data objects stored in the database according to the business process model where they are managed. The methodology is supported by a framework that enables a natural-like language to be employed to describe the states, to apply the necessary algorithms to verify the consistency and completeness of the model, and to determine the states of the stored data objects according to the model described. To validate our proposal, an extension of ActivitiT M has been implemented and applied to a real example as an illustration of its applicability |
Agencias financiadoras | Ministerio de Ciencia Y Tecnología (MCYT). España Junta de Andalucía |
Identificador del proyecto | RTI2018-094283-B-C33 (ECLIPSE)
US-1381375 (METAMORFOSIS) |
Cita | Pérez Álvarez, J.M., Gómez López, M.T., Eshuis, R., Montali, M. y Martínez Gasca, R. (2020). Verifying the manipulation of data objects according to business process and data models. Knowledge and Information Systems, 62 (7), 2653-2683. https://doi.org/10.1007/s10115-019-01431-5. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Verifying the manipulation of ... | 1.457Mb | [PDF] | Ver/ | |