Now showing items 21-40 of 94

    • Amending C-net discovery algorithms 

      Solé Simó, Marc; Carmona Vargas, Josep (2012)
      External research report
      Open Access
      As the complexity of information systems evolves, there is a growing interest in defining suitable process models than can overcome the limitations of traditional formalisms like Petri nets or related. Causal nets may be ...
    • An evolutionary technique to approximate multiple optimal alignments 

      Taymouri, Farbod; Carmona Vargas, Josep (Springer, 2018)
      Conference report
      Open Access
      The alignment of observed and modeled behavior is an essential aid for organizations, since it opens the door for root-cause analysis and enhancement of processes. The state-of-the-art technique for computing alignments ...
    • An SMT-based discovery algorithm for C-nets 

      Solé Simó, Marc; Carmona Vargas, Josep (2012)
      External research report
      Open Access
      Recently, Causal nets have been proposed as a suitable model for process discovery, due to their declarative semantics and the great expressiveness they possess. In this paper we propose an algorithm to discover a causal ...
    • Anti-alignments in conformance checking: the dark side of process models 

      Chatain, Thomas; Carmona Vargas, Josep (Springer, 2016)
      Conference report
      Open Access
      Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. These techniques suffer from the wellknown state space ...
    • Anti-alignments—Measuring the precision of process models and event logs 

      Chatain, Thomas; Boltenhagen, Mathilde; Carmona Vargas, Josep (2021-05-01)
      Article
      Restricted access - publisher's policy
      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. ...
    • Approximate computation of alignments of business processes through relaxation labelling 

      Padró, Lluís; Carmona Vargas, Josep (Springer, 2019)
      Conference report
      Open Access
      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 ...
    • Bridging the gap between energy consumption and distribution through non-technical loss detection 

      Coma Puig, Bernat; Carmona Vargas, Josep (2019-05-01)
      Article
      Open Access
      The application of Artificial Intelligence techniques in industry equips companies with new essential tools to improve their principal processes. This is especially true for energy companies, as they have the opportunity, ...
    • Business process variant analysis based on mutual fingerprints of event logs 

      Taymouri, Farbod; La Rosa, Marcello; Carmona Vargas, Josep (Springer, 2020)
      Conference report
      Open Access
      Comparing business process variants using event logs is a common use case in process mining. Existing techniques for process variant analysis detect statistically-significant differences between variants at the level of ...
    • Challenges and opportunities of applying natural language processing in business process management 

      van der Aa, Han; Carmona Vargas, Josep; Leopold, Henrik; Mendling, Jan; Padró, Lluís (Association for Computational Linguistics, 2018)
      Conference lecture
      Open Access
      The Business Process Management (BPM) field focuses in the coordination of labor so that organizational processes are smoothly executed in a way that products and services are properly delivered. At the same time, NLP has ...
    • Communication and compatibility in systems of systems: Correctness-by-construction 

      Beek, Maurice ter; Carmona Vargas, Josep; Kleijn, Jetty (2015-07-01)
      Article
      Open Access
      Society is still trying to catch up with technology in the wake of the digital revolution of the last twenty years. Current systems need to be both heterogeneous and able to deal with enormous volumes of data coming from ...
    • Communication requirements for team automata 

      Carmona Vargas, Josep; Beek, Maurice ter; Hennicker, Rolf; Kleijn, Jetty (Springer, 2017)
      Conference report
      Open Access
      Compatibility of components is an important issue in the quest for systems of systems that guarantee successful communications, free from message loss and indefinite waiting for inputs. In this paper, we investigate ...
    • Computation of alignments of business processes through relaxation labelling and local optimal search 

      Padró, Lluís; Carmona Vargas, Josep (Elsevier, 2020-12-16)
      Article
      Restricted access - publisher's policy
      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 ...
    • Computing alignments of well-formed process models using local search 

      Taymouri, Farbod; Carmona Vargas, Josep (2020-05)
      Article
      Open Access
      The alignment of observed and modeled behavior is an essential element for organizations, since it opens the door for conformance checking and enhancement of processes. The state-of-the-art technique for computing alignments ...
    • Computing alignments with constraint programming : the acyclic case 

      Borrego, Diana; Gómez López, María Teresa; Carmona Vargas, Josep; Martínez Gasca, Rafael (CEUR-WS.org, 2016)
      Conference report
      Open Access
      Conformance checking confronts process models with real process executions to detect and measure deviations between modelled and observed behaviour. The core technique for conformance checking is the computation of an ...
    • Conditions for compatibility of components: The case of masters and slaves 

      Beek, Maurice ter; Carmona Vargas, Josep; Kleijn, Jetty (Springer, 2016)
      Conference report
      Open Access
      We consider systems composed of reactive components that collaborate through synchronised execution of common actions. These multi-component systems are formally represented as team automata, a model that allows a wide ...
    • Conformance checking in the large: partitioning and topology 

      Muñoz Gama, Jorge; Carmona Vargas, Josep; Van der Aalst, Wil M. P. (2012)
      Conference lecture
      Restricted access - publisher's policy
      The torrents of event data generated by today’s systems are an important enabler for process mining. However, at the same time, the size and variability of the resulting event logs are challenging for today’s process mining ...
    • 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 ...
    • Decomposed process discovery and conformance checking 

      Carmona Vargas, Josep (Springer, 2018)
      Part of book or chapter of book
      Open Access
      Decomposed process discovery and decomposed conformance checking are the corresponding variants of the two monolithic fundamental problems in process mining (van der Aalst 2011): automated process discovery, which considers ...
    • Decomposing alignment-based conformance checking of data-aware process models 

      Leoni, Massimiliano de; Muñoz Gama, Jorge; Carmona Vargas, Josep; van der Aalst, Wil M. P. (Springer, 2014)
      Conference report
      Open Access
      Process mining techniques relate observed behavior to modeled behavior, e.g., the automatic discovery of a Petri net based on an event log. Process mining is not limited to process discovery and also includes conformance ...
    • Discovery of personal processes from labeled sensor data: An application of process mining to personalized health care 

      Sztyler, Timo; Völker, Johanna; Carmona Vargas, Josep; Meier, Oliver; Stuckenschmidt, Heiner (CEUR-WS.org, 2015)
      Conference report
      Open Access
      Currently, there is a trend to promote personalized health care in order to prevent diseases or to have a healthier life. Using current devices such as smart-phones and smart-watches, an individual can easily record detailed ...