Exploració per autor "Estañol Lamarca, Montserrat"
Ara es mostren els items 12-21 de 21
-
Process conformance checking by relaxing data dependencies
Estañol Lamarca, Montserrat; Mazuran, Mirjana; Oriol Hilari, Xavier; Tanca, Letizia; Teniente López, Ernest (CEUR-WS.org, 2017)
Text en actes de congrés
Accés obertGiven the events modeled by a business process, it may happen in the presence of alternative execution paths that the data required by a certain event determines somehow what event is executed next. Then, the process can ... -
Reasoning on the usage control security policies over data artifact business process models
Estañol Lamarca, Montserrat; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Teniente López, Ernest; Martínez Gasca, Rafael (2022)
Article
Accés obertThe inclusion of security aspects in organizations is a crucial aspect to ensure compliance with both internal and external regulations. Business process models are a well-known mechanism to describe and automate the ... -
Reasoning on UML data-centric business process models
Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2013)
Text en actes de congrés
Accés restringit per política de l'editorialVerifying the correctness of data-centric business process models is important to prevent errors from reaching the service that is offered to the customer. Although the semantic correctness of these models has been studied ... -
Specifying artifact-centric business process models in UML
Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2015-04-01)
Capítol de llibre
Accés obertIn recent years, the artifact-centric approach to process mod- eling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing ... -
Specifying artifact-centric business process models in UML: technical report
Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (2015-05-19)
Report de recerca
Accés obertIn recent years, the artifact-centric approach to process modeling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing ... -
Using UML to specify artifact-centric business process models
Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (SciTePress, 2014)
Text en actes de congrés
Accés restringit per política de l'editorialBusiness process modeling using an artifact-centric approach has raised a significant interest over the last few years. One of the research challenges in this area is looking for different approaches to represent all the ... -
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. ...