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 obert
      UML 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'editorial
      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 ...

    • 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 obert
      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 ...