Exploració per autor "Calvanese, Diego"
Ara es mostren els items 3-5 de 5
-
OCL-Lite: a decidable (yet expressive) fragment of OCL
Queralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, Ernest (2012)
Text en actes de congrés
Accés obertUML has become a de facto standard in conceptual modeling. Class diagrams in UML allow one to model the data in the domain of interest by specifying a set of graphical constraints. However, in most cases one needs to provide ... -
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 ...