Now showing items 1-18 of 18

    • A semantic model to fight social exclusion 

      Ortiz Santiago, Víctor Alejandro; Estañol Lamarca, Montserrat; Marinescu, Maria Cristina; Sancho Samsó, María Ribera; Teniente López, Ernest; Rueda Palenzuela, Carmen (Institute of Electrical and Electronics Engineers (IEEE), 2019)
      Conference lecture
      Open Access
      This work presents a semantic model meant to help with the identification and prediction of individuals at risk of social exclusion. The model is based on the self-sufficiency matrix, a tool that evaluates a person's ...
    • Artifact-centric business process models in UML 

      Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (2012)
      Conference report
      Open Access
      Business process modeling using an artifact-centric approach has raised a signi cant interest over the last few years. This approach is usually stated in terms of the BALSA framework which de nes the four \dimensions" of ...
    • Automatic business process model extension to repair constraint violations 

      Oriol Hilari, Xavier; Giacomo, Giuseppe De; Estañol Lamarca, Montserrat; Teniente López, Ernest (Springer, 2019)
      Conference report
      Open Access
      Consider an artifact-centric business process model, containing both a data model and a process model. When executing the process, it may happen that some of the data constraints from the data model are violated. Bearing ...
    • Conformance checking in UML artifact-centric business process models 

      Estañol Lamarca, Montserrat; Muñoz Gama, Jorge; Carmona Vargas, Josep; Teniente López, Ernest (2019-08)
      Article
      Open Access
      Business artifacts have appeared as a new paradigm to capture the information required for the complete execution and reasoning of a business process. Likewise, conformance checking is gaining popularity as a crucial ...
    • Ensuring the semantic correctness of a BAUML artifact-centric BPM 

      Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest (2017-09-06)
      Article
      Open Access
      Context: Using models to represent business processes provides several advantages, such as facilitating the communication between the stakeholders or being able to check the correctness of the processes before their ...
    • EU-Rent as an artifact-centric process model: technical report 

      Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (2012-09-20)
      External research report
      Open Access
      Business process modeling using an artifact-centric approach has raised a significant interest over the last few years. This approach is usually stated in terms of the BALSA framework which defi nes the four dimensions ...
    • Implantació ISO 20000 

      Estañol Lamarca, Montserrat (Universitat Politècnica de Catalunya, 2009-03-23)
      Master thesis
      Restricted access - confidentiality agreement
    • Kopernik : modeling business processes for digital customers 

      Estañol Lamarca, Montserrat; Castro, Manuel; Díaz-Montenegro, Sylvia; Teniente López, Ernest (2016-07-31)
      External research report
      Open Access
      This paper presents the Kopernik methodology for modeling business processes for digital customers. These processes require a high degree of flexibility in the execution of their tasks or actions. We achieve this by using ...
    • Linking data and BPMN processes to achieve executable models 

      Giacomo, Giuseppe De; Oriol Hilari, Xavier; Estañol Lamarca, Montserrat; Teniente López, Ernest (Springer, 2017)
      Conference report
      Open Access
      We describe a formally well founded approach to link data and processes conceptually, based on adopting UML class diagrams to represent data, and BPMN to represent the process. The UML class diagram together with a set of ...
    • 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)
      Conference report
      Open Access
      Given 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 UML data-centric business process models 

      Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2013)
      Conference report
      Restricted access - publisher's policy
      Verifying 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)
      Part of book or chapter of book
      Open Access
      In 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)
      External research report
      Open Access
      In 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)
      Conference report
      Restricted access - publisher's policy
      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)
      Conference report
      Open Access
      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)
      Conference report
      Restricted access - publisher's policy
      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)
      External research report
      Open Access
      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)
      Conference report
      Open Access
      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. ...