Verifying the manipulation of data objects according to business process and data models

Abstract

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 discover the states of the stored data objects. This implies 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 process that create the data objects and modify their states. 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 Activiti TM has been implemented and applied to a real example as an illustration of its applicability.Keywords Business processes • Integration of data and processes • Data object state • Object-relational mapping • Data state verification Business processes (BPs) and their continuous improvement are fundamental to the operation of companies. For a wide range of enterprises, business process analytics, validation, and verification are a key endeavour [1]. The automation of processes offers an opportunity to B José Miguel Pérez-Álvarez

Reasoning on the usage control security policies over data artifact business process models

“…The BPMN model is shown in Figure 3 where three different pools cover its main functions: pool Customer manages the request process from the viewpoint of a customer; pool Credit Provider describes how the administration staff manages the loan request, obtains the acceptance reports and notifies customers about the decisions; and pool Operation Staff deals with the evaluation of the loan requests. We use in the example some collaboration components since various data with different cardinalities flow through business process instances [40,31]. Single instances of the process Credit Provider need to…”

Decision-making support for input data in business processes according to former instances

“…A Business Process consists of a set of activities that are performed in coordination within an organizational and technical environment to achieve an objective [43]. In process orientation, business processes are the main instrument for the organization [18], where commercial Business Process Management Systems are incorporated to facilitate the automation and monitoring of their daily processes, and that they are aligned with their objectives and data at the same time [32]. These systems support the implementation, coordination, and monitoring of the business process executions, and produce a great quantity of data that can be stored for its later application in deriving a data evolution pattern temporal variation.…”