Verifiable UML artifact-centric business process models
Visualitza/Obre
Calvanese et al.pdf (584,8Kb) (Accés restringit)
Sol·licita una còpia a l'autor
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
Cita com:
hdl:2117/24882
Tipus de documentText en actes de congrés
Data publicació2014
EditorACM
Condicions d'accésAccés restringit per política de l'editorial
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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 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.
CitacióCalvanese, 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.
ISBN978-1-4503-2598-1
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Calvanese et al.pdf | 584,8Kb | Accés restringit |