Exploració per autor "Estañol Lamarca, Montserrat"
Ara es mostren els items 18-21 de 21
-
Validation of Service Blueprint models by means of formal simulation techniques
Estañol Lamarca, Montserrat; Marcos, Esperanza; Oriol Hilari, Xavier; Pérez, Francisco J.; Teniente López, Ernest; Vara, Juan M. (Springer, 2017)
Text en actes de congrés
Accés obertAs service design has gained interest in the last years, so has gained one of its primary tools: the Service Blueprint. In essence, a service blueprint is a graphical tool for the design of business models, specifically ... -
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 ... -
Verification and validation of UML artifact-centric business process models
Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2015)
Text en actes de congrés
Accés obertThis paper presents a way of checking the correctness of artifact-centric business process models defined using the BAUML framework. To ensure that these models are free of errors, we propose an approach to verify (i.e. ...