Show simple item record

dc.contributor.authorCalvanese, Diego
dc.contributor.authorMontali, Marco
dc.contributor.authorEstañol Lamarca, Montserrat
dc.contributor.authorTeniente López, Ernest
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.date.accessioned2014-10-03T06:09:44Z
dc.date.available2014-10-03T06:09:44Z
dc.date.created2014-08-21
dc.date.issued2014-08-21
dc.identifier.citationCalvanese, D. [et al.]. "Verifiable UML artifact-centric business process models (Extended Version)". 2014.
dc.identifier.urihttp://hdl.handle.net/2117/24224
dc.descriptionThis 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.abstractArtifact-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.extent14 p.
dc.language.isoeng
dc.relation.ispartofseriesCoRR abs/1408.5094
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject.lcshInformation storage and retrieval systems
dc.titleVerifiable UML artifact-centric business process models (Extended Version)
dc.typeExternal research report
dc.subject.lemacInformació -- Sistemes d'emmagatzematge i recuperació
dc.contributor.groupUniversitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.relation.publisherversionhttp://arxiv.org/abs/1408.5094
dc.rights.accessOpen Access
local.identifier.drac15183010
dc.description.versionPreprint
dc.relation.projectidinfo:eu-repo/grantAgreement/EC/FP7/318338/EU/Scalable End-user Access to Big Data/OPTIQUE
local.citation.authorCalvanese, D.; Montali, M.; Estañol, M.; Teniente, E.
local.citation.publicationNameVerifiable UML artifact-centric business process models (Extended Version)


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain