Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Verifiable UML artifact-centric business process models (Extended Version)

Autor
Calvanese, D.; Montali, M.; Estañol, M.; Teniente, E.
Tipus d'activitat
Document cientificotècnic
Data
2014-08-21
Codi
CoRR abs/1408.5094
Repositori
http://hdl.handle.net/2117/24224 Obrir en finestra nova
URL
http://arxiv.org/abs/1408.5094 Obrir en finestra nova
Resum
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 decidabilit...
Citació
Calvanese, D. [et al.]. "Verifiable UML artifact-centric business process models (Extended Version)". 2014.
Grup de recerca
MPI - Modelització i Processament de la Informació

Participants

Arxius