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-11-28T12:18:41Z
dc.date.created2014
dc.date.issued2014
dc.identifier.citationCalvanese, D. [et al.]. Verifiable UML artifact-centric business process models. A: ACM International Conference on Information and Knowledge Management. "Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management". Shanghai: ACM, 2014, p. 1289-1298.
dc.identifier.isbn978-1-4503-2598-1
dc.identifier.urihttp://hdl.handle.net/2117/24882
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 artifact 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.extent10 p.
dc.language.isoeng
dc.publisherACM
dc.subjectÀrees temàtiques de la UPC::Informàtica::Enginyeria del software
dc.subject.lcshSoftware engineering
dc.subject.lcshDatabase management
dc.subject.otherBusiness artifacts
dc.subject.otherformal verification
dc.subject.otherUML
dc.subject.otherBPM
dc.titleVerifiable UML artifact-centric business process models
dc.typeConference report
dc.subject.lemacEnginyeria de programari
dc.subject.lemacBases de dades -- Gestió
dc.contributor.groupUniversitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.identifier.doi10.1145/2661829.2662050
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://dl.acm.org/citation.cfm?id=2662050&dl=ACM&coll=DL&CFID=601659483&CFTOKEN=39218324
dc.rights.accessRestricted access - publisher's policy
local.identifier.drac15184361
dc.description.versionPostprint (published version)
dc.relation.projectidinfo:eu-repo/grantAgreement/EC/FP7/318338/EU/Scalable End-user Access to Big Data/OPTIQUE
dc.date.lift10000-01-01
local.citation.authorCalvanese, D.; Montali, M.; Estañol, M.; Teniente, E.
local.citation.contributorACM International Conference on Information and Knowledge Management
local.citation.pubplaceShanghai
local.citation.publicationNameProceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management
local.citation.startingPage1289
local.citation.endingPage1298


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

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