Rights accessRestricted access - publisher's policy
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.
CitationEstañol, M.; Sancho, Maria-Ribera; Teniente, E. Reasoning on UML data-centric business process models. A: International Conference on Service Oriented Computing. "Service-Oriented Computing". Berlín: Springer, 2013, p. 437-445.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder. If you wish to make any use of the work not provided for in the law, please contact: firstname.lastname@example.org