2024-03-29T13:53:06Zhttps://www.tdx.cat/oai/requestoai:www.tdx.cat:10803/3939022020-10-30T13:38:09Zcom_10803_183col_10803_669774
nam a 5i 4500
Artifact-centric business process models in UML : specification and reasoning
[Barcelona] :
Universitat Politècnica de Catalunya,
2016
Accés lliure
http://hdl.handle.net/10803/393902
cr |||||||||||
AAMMDDs2016 sp ||||fsm||||0|| 0 eng|c
Estañol, Montserrat,
autor
1 recurs en línia (236 pàgines)
Tesi
Doctorat
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
2016
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Tesis i dissertacions electròniques
Teniente, Ernest,
supervisor acadèmic
TDX
Business processes are directly involved in the achievement of an organization's goals, and for this reason they should be performed in the best possible way. Modeling business processes can help to achieve this as, for instance, models can facilitate the communication between the people involved in the process, they provide a basis for process improvement and they can help perform process management.
Processes can be modeled from many different perspectives. Traditional process modeling has followed the process-centric (or activity-centric) perspective, where the focus is on the sequencing of activities (i.e. the control flow), largely ignoring or
underspecifying the data required by these tasks.
In contrast, the artifact-centric (or data-centric) approach to process modeling focuses on defining the data required by the tasks and the details of the tasks themselves in terms of the changes they make to the data. The BALSA framework defines four dimensions which should be represented in any artifact-centric business process model: business artifacts, lifecycle, services (i.e. tasks) and associations. Using different types of models to represent these dimensions will result in distinct representations, whose differing characteristics (e.g. the degree of formality or understandability) will make them more
appropriate for one purpose or another.
Considering this, in the first part of this thesis we propose a framework, BAUML, for modeling business processes following an artifact-centric perspective. This framework is based on using a combination of UML and OCL models, and its goal is to have a final representation of the process which is both understandable and formal, to avoid ambiguities and errors.
However, once a process model has been defined, it is important to ensure its quality. This will avoid the propagation of errors to the process's implementation. Although there are many different quality criteria, we focus on the semantic correctness of the model, answering questions such as "does it represent reality correctly?" or "are there any errors and contradictions in it?".
Therefore, the second part of this thesis is concerned with finding a way to determine the semantic correctness of our BAUML models. We are interested in considering the BAUML model as a whole, including the meaning of the tasks. To do so, we first translate our models into a well-known framework, a DCDS (Data-centric Dynamic System) to which then modelchecking techniques can be applied. However, DCDSs have been defined theoretically and there is no tool that implements them. For this reason, we also created a prototype tool, AuRUS-BAUML, which is able to translate our BAUML models into logic and to reason on their semantic correctness using an existing tool, SVTe. The integration between AuRUS-BAUML and SVTe is transparent to the user. Logically, the thesis also presents the logic translation which is performed by the tool.
p
ES-BaCBU
cat
rda
ES-BaCBU
text
txt
rdacontent
informàtic
c
rdamedia
recurs en línia
cr
rdacarrier