Loading...
Loading...

Go to the content (press return)

Reasoning on UML data-centric business process models

Author
Estañol, M.; Sancho, Maria-Ribera; Teniente, E.
Type of activity
Presentation of work at congresses
Name of edition
11th International Conference on Service Oriented Computing
Date of publication
2013
Presentation's date
2013-12-04
Book of congress proceedings
Service-Oriented Computing
First page
437
Last page
445
Publisher
Springer
DOI
https://doi.org/10.1007/978-3-642-45005-1_32 Open in new window
Repository
http://hdl.handle.net/2117/20943 Open in new window
URL
http://link.springer.com/chapter/10.1007%2F978-3-642-45005-1_32 Open in new window
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-independen...
Citation
Estañ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.
Group of research
IMP - Information Modelling and Processing
inLab FIB

Participants