Exploració per autor "Calvanese, Diego"
Ara es mostren els items 4-5 de 5
-
Verifiable UML artifact-centric business process models
Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest (ACM, 2014)
Text en actes de congrés
Accés restringit per política de l'editorialArtifact-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 ... -
Verifiable UML artifact-centric business process models (Extended Version)
Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest (2014-08-21)
Report de recerca
Accés obertArtifact-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 ...