Ponències/Comunicacions de congressos
Recent Submissions
-
Extracting annotations from textual descriptions of processes
(Springer, 2020)
Conference report
Open AccessOrganizations often have textual descriptions as a way to document their main processes. These descriptions are primarily used by the company’s personnel to understand the processes, specially for those ones that cannot ... -
Business process variant analysis based on mutual fingerprints of event logs
(Springer, 2020)
Conference report
Open AccessComparing 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 ... -
On the price of anarchy for high-price links
(Springer, 2019)
Conference report
Open AccessWe study Nash equilibria and the price of anarchy in the classic model of Network Creation Games introduced by Fabrikant, Luthra, Maneva, Papadimitriou and Shenker in 2003. This is a selfish network creation model where ... -
From process models to chatbots
(Springer, 2019)
Conference report
Open AccessThe effect of digital transformation in organizations needs to go beyond automation, so that human capabilities are also augmented. A possibility in this direction is to make formal representations of processes more ... -
Structural computation of alignments of business processes over partial orders
(Institute of Electrical and Electronics Engineers (IEEE), 2019)
Conference report
Open AccessRelating event data and process models is becoming an important element for organizations. This paper presents a novel approach for aligning traces and process models. The approach is based on the structural theory of Petri ... -
Generalized alignment-based trace clustering of process behavior
(Springer, 2019)
Conference report
Open AccessProcess mining techniques use event logs containing real process executions in order to mine, align and extend process models. The partition of an event log into trace variants facilitates the understanding and analysis ... -
Approximate computation of alignments of business processes through relaxation labelling
(Springer, 2019)
Conference report
Open AccessA 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 ... -
Formal reasoning on natural language descriptions of processes
(Springer, 2019)
Conference report
Open AccessThe existence of unstructured information that describes processes represents a challenge in organizations, mainly because this data cannot be directly referred into process-aware ecosystems due to ambiguities. Still, this ... -
Encoding conformance checking artefacts in SAT
(Springer, 2019)
Conference report
Open AccessConformance checking strongly relies on the computation of artefacts, which enable reasoning on the relation between observed and modeled behavior. This paper shows how important conformance artefacts like alignments, ... -
Measuring investment opportunities under uncertainty
(Springer, 2019)
Conference report
Open AccessIn order to make sound economic decisions it is important to measure the possibilities offered by a market in relation to investments. Provided an investment scheme S = (r; R1, . . . , Rn), where r is a lower bound on the ... -
An agent-based model of the emergence and evolution of a language system for boolean coordination
(International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2019)
Conference report
Restricted access - publisher's policyThis paper presents an agent-based model for studying the emergence and evolution of a language system for Boolean coordination. The model has been implemented and tested by conducting a series of experiments that show ... -
Refining the imprecise meaning of non-determinism in the Web by strategic games
(Springer, 2019)
Conference report
Open AccessNowadays interactions with the World Wide Web are ubiquitous. Users interact through a number of steps consisting of site calls and handling results that can be automatized as orchestrations. Orchestration results have ...