• Anti-alignments—Measuring the precision of process models and event logs 

      Chatain, Thomas; Boltenhagen, Mathilde; Carmona Vargas, Josep (2021-05-01)
      Article
      Accés obert
      Processes are a crucial artifact in organizations, since they coordinate the execution of activities so that products and services are provided. The use of models to analyze the underlying processes is a well-known practice. ...
    • Computation of alignments of business processes through relaxation labelling and local optimal search 

      Padró, Lluís; Carmona Vargas, Josep (Elsevier, 2022-02)
      Article
      Accés obert
      A fundamental problem in conformance checking is aligning event data with process models. Unfortunately, existing techniques for this task are either complex, or can only be applicable to restricted classes of models. This ...
    • 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
      Accés obert
      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
      Accés obert
      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 ...