Búsqueda avanzada

El autor Montserrat Estañol ha publicado 5 artículo(s):

2 - Kopernik: Modeling Business Processes for Digital Customers

This paper presents the Kopernik approach for modeling business processes for digital customers. These processes require a high degree of flexibility in the execution of their tasks or actions. We achieve this by using an artifact-centric approach to process modeling and the
use of condition-action rules. The processes modeled following Kopernik can then be implemented in an existing commercial tool, Balandra.

Autores: Montserrat Estañol / Manuel Castro / Silvia Díaz-Montenegro / Ernest Teniente / 
Palabras Clave:

3 -

4 - Linking Data and BPMN Processes to Achieve Executable Models (Summary)

Summary of the Contribution The two main assets of any organization are (i) information, i.e., data, which are the things that the organization knows about, and (ii) processes, which are collections of activities that describe how work is performed within an organiza- tion. Recent research has highlighted the importance of considering both process and data as key elements in process and service design. However, models that represent processes and data are typically developed by different teams, resulting in unrelated models which neglect the interaction between the two.
Bearing this in mind, in this paper we propose to connect processes and data, and a way to automatically execute the resulting model. To do so, we assume that processes are represented using BPMN and data in a UML class diagram.
In order to link both formalisms, we propose the following: (1) the creation of an Artifact, which represents a set of process variables associated to a certain process instance, and (2) the specification of the activities or tasks in the process, showing how they make changes to the data. We propose representing the artifact as an additional class in the UML class diagram. On the other hand, we opt for OCL operation contracts (with a pre and a postcondition) to specify details of the process activities. Note that other languages could be used to represent the data, the process and the contracts, as long as they have unambiguous semantics and whose expressiveness is equivalent to first-order logic.
Following this framework, we can then achieve executability of the frame- work, by relying on SQL technology. The UML class diagram is encoded as a relational database, the BPMN diagram can be formalized as a Petri net, and the OCL contracts can be encoded as logic rules from which SQL statements can be derived and applied to the database.
To prove the feasiblity of our approach, we have developed a prototype tool in Java which can load the models in our framework and execute the operations at runtime in a relational database.

Autores: Giuseppe De Giacomo / Xavier Oriol / Montserrat Estañol / 
Palabras Clave:

5 - Ensuring the Semantic Correctness of a BAUML Artifact-centric BPM (Summary)

Using models to represent business processes provides several advantages, such as being able to check the correctness of the processes before their implementation. In contrast to traditional process modeling approaches, the artifact-centric approach treats data as a key element of the process, also considering the tasks or activities that are performed in it. This paper presents a way to verify and validate the semantic correctness of an artifact-centric business process model defined using a combination of UML and OCL models – a BAUML model. To do this, we provide a method to translate all BAUML components into a set of logic formulas. The result of this translation ensures that the only changes allowed are those specified in the model, and that those changes are taking place according the order established by the model. Having obtained this logic representation, these models can be validated by any existing reasoning method able to deal with negation of derived predicates. Moreover, we show how to automatically generate the relevant tests to validate the models and we prove the feasibility of our approach.

Autores: Montserrat Estañol / Maria-Ribera Sancho / Ernest Teniente / 
Palabras Clave: business process modelling - reasoning - Tool - UML - validation - Verification