Mostra el registre d'ítem simple
Verifiable UML artifact-centric business process models (Extended Version)
dc.contributor.author | Calvanese, Diego |
dc.contributor.author | Montali, Marco |
dc.contributor.author | Estañol Lamarca, Montserrat |
dc.contributor.author | Teniente López, Ernest |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
dc.date.accessioned | 2014-10-03T06:09:44Z |
dc.date.available | 2014-10-03T06:09:44Z |
dc.date.created | 2014-08-21 |
dc.date.issued | 2014-08-21 |
dc.identifier.citation | Calvanese, D. [et al.]. "Verifiable UML artifact-centric business process models (Extended Version)". 2014. |
dc.identifier.uri | http://hdl.handle.net/2117/24224 |
dc.description | This is the extended version of “Verifiable UML Artifact-Centric Business Process Models”, to appear in the Proceedings of CIKM’14, Nov. 3–7, 2014, Shanghai, China. ACM http://dx.doi.org/10.1145/2661829.2662050 |
dc.description.abstract | Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines of research have been pursued so far: one tailored to business artefact modeling languages and methodologies, the other focused on the foundations for their formal verification. In this paper, we merge these two lines of research, by showing how recent theoretical decidability results for verification can be fruitfully transferred to a concrete UML-based modeling methodology. In particular, we identify additional steps in the methodology that, in significant cases, guarantee the possibility of verifying the resulting models against rich first-order temporal properties. Notably, our results can be seamlessly transferred to different languages for the specification of the artifact lifecycles. |
dc.format.extent | 14 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | CoRR abs/1408.5094 |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació |
dc.subject.lcsh | Information storage and retrieval systems |
dc.title | Verifiable UML artifact-centric business process models (Extended Version) |
dc.type | External research report |
dc.subject.lemac | Informació -- Sistemes d'emmagatzematge i recuperació |
dc.contributor.group | Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
dc.relation.publisherversion | http://arxiv.org/abs/1408.5094 |
dc.rights.access | Open Access |
local.identifier.drac | 15183010 |
dc.description.version | Preprint |
dc.relation.projectid | info:eu-repo/grantAgreement/EC/FP7/318338/EU/Scalable End-user Access to Big Data/OPTIQUE |
local.citation.author | Calvanese, D.; Montali, M.; Estañol, M.; Teniente, E. |
local.citation.publicationName | Verifiable UML artifact-centric business process models (Extended Version) |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [154]
-
Reports de recerca [46]