Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/24882

Verifiable UML artifact-centric business process models
Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
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 artifact modelinglanguages 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 seamlesslytransferred to different languages for the specification of the artifact lifecycles.
Peer Reviewed
Àrees temàtiques de la UPC::Informàtica::Enginyeria del software
Software engineering
Database management
Business artifacts
formal verification
UML
BPM
Enginyeria de programari
Bases de dades -- Gestió
info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/conferenceObject
ACM
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest
Queralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, Ernest
Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest
Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest
Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest