Exploració per autor "Estañol Lamarca, Montserrat"Més informacióMés informació

Ara es mostren els items 17-21 de 21

    • 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'editorial
      Business 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 obert
      As 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'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 ...

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