Reasoning on UML data-centric business process models

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/20943

Title:	Reasoning on UML data-centric business process models
Author:	Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest
Other authors:	Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
Abstract:	Verifying the correctness of data-centric business process models is important to prevent errors from reaching the service that is offered to the customer. Although the semantic correctness of these models has been studied in detail, existing works deal with models defined in low-level languages (e.g. logic), which are complex and difficult to understand. This paper provides a way to reason semantically on data-centric business process models specified from a high-level and technology-independent perspective using ULM.
Abstract:	Peer Reviewed
Subject(s):	-Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació -Àrees temàtiques de la UPC::Informàtica::Enginyeria del software -Software engineering -Programari -- Enginyeria
Rights:
Document type:	Article - Published version Conference Object
Published by:	Springer
Share: