Data perspective in process choreographies : modeling and execution

Process choreographies - communication between different organizations to exchange information - is part of daily business. While the correct ordering of exchanged messages can be modeled and enacted with current choreography techniques, no approach exists to describe the data perspective for a successful process choreography. In this paper, we describe an entirely model-driven approach for BPMN, the industry standard, to include the data perspective while maintaining control flow aspects by utilizing a recent concept to enact data dependencies in internal processes. This work provides a modeling guideline with the require artifacts and their operational semantics to allow automatic choreography enactment covering data retrieval, transformation, and correlation. We show applicability of our approach by an implementation for the Camunda BPM platform, a java-based process engine, and validate it with the service interaction patterns. Keywords: Process Modeling, Data Modeling, Process Choreographies, Process Enactment, BPMN, SQ

A recursive paradigm for aligning observed behavior of large structured process models

The alignment of observed and modeled behavior is a crucial problem in process mining, since it opens the door for conformance checking and enhancement of process models. The state of the art techniques for the computation of alignments rely on a full exploration of the combination of the model state space and the observed behavior (an event log), which hampers their applicability for large instances. This paper presents a fresh view to the alignment problem: the computation of alignments is casted as the resolution of Integer Linear Programming models, where the user can decide the granularity of the alignment steps. Moreover, a novel recursive strategy is used to split the problem into small pieces, exponentially reducing the complexity of the ILP models to be solved. The contributions of this paper represent a promising alternative to fight the inherent complexity of computing alignments for large instances.Peer ReviewedPostprint (author's final draft

Discovering duplicate tasks in transition systems for the simplification of process models

This work presents a set of methods to improve the understandability of process models. Traditionally, simplification methods trade off quality metrics, such as fitness or precision. Conversely, the methods proposed in this paper produce simplified models while preserving or even increasing fidelity metrics. The first problem addressed in the paper is the discovery of duplicate tasks. A new method is proposed that avoids overfitting by working on the transition system generated by the log. The method is able to discover duplicate tasks even in the presence of concurrency and choice. The second problem is the structural simplification of the model by identifying optional and repetitive tasks. The tasks are substituted by annotated events that allow the removal of silent tasks and reduce the complexity of the model. An important feature of the methods proposed in this paper is that they are independent from the actual miner used for process discovery.Peer ReviewedPostprint (author's final draft

Limits on WWgamma and WWZ Couplings from W Boson Pair Production

The results of a search for W boson pair production in pbar-p collisions at sqrt{s}=1.8 TeV with subsequent decay to emu, ee, and mumu channels are presented. Five candidate events are observed with an expected background of 3.1+-0.4 events for an integrated luminosity of approximately 97 pb^{-1}. Limits on the anomalous couplings are obtained from a maximum likelihood fit of the E_T spectra of the leptons in the candidate events. Assuming identical WWgamma and WWZ couplings, the 95 % C.L. limits are -0.62<Delta_kappa<0.77 (lambda = 0) and -0.53<lambda<0.56 (Delta_kappa = 0) for a form factor scale Lambda = 1.5 TeV.Comment: 10 pages, 1 figure, submitted to Physical Review

Search for Charged Higgs Bosons in Decays of Top Quark Pairs

We present a search for charged Higgs bosons in decays of pair-produced top quarks using 109.2 +- 5.8 pb^-1 of data recorded from ppbar collisions at sqrt{s} = 1.8 TeV by the D0 detector during 1992-96 at the Fermilab Tevatron. No evidence is found for charged Higgs production, and most parts of the [m(H+),tan(beta)] parameter space where the decay t -> bH+ has a branching fraction close to or larger than that for t -> bW+ are excluded at 95% confidence level. Assuming m(t) = 175 GeV and sigma(ppbar -> ttbar) = 5.5 pb, for m(H+) = 60 GeV, we exclude tan(beta) 40.9.Comment: 11 pages, 3 figures, submitted to PR

Search for Squarks and Gluinos in Events Containing Jets and a Large Imbalance in Transverse Energy

Using data corresponding to an integrated luminosity of 79 pb-1, D0 has searched for events containing multiple jets and large missing transverse energy in pbar-p collisions at sqrt(s)=1.8 TeV at the Fermilab Tevatron collider. Observing no significant excess beyond what is expected from the standard model, we set limits on the masses of squarks and gluinos and on the model parameters m_0 and m_1/2, in the framework of the minimal low-energy supergravity models of supersymmetry. For tan(beta) = 2 and A_0 = 0, with mu < 0, we exclude all models with m_squark < 250 GeV/c^2. For models with equal squark and gluino masses, we exclude m < 260 GeV/c^2.Comment: 10 pages, 3 figures, Submitted to PRL, Fixed typo on page bottom of p. 6 (QCD multijet background is 35.4 events