Refactoring Process Models in Large Process Repositories.

With the increasing adoption of process-aware information systems (PAIS), large process model repositories have emerged. Over time respective models have to be re-aligned to the real-world business processes through customization or adaptation. This bears the risk that model redundancies are introduced and complexity is increased. If no continuous investment is made in keeping models simple, changes are becoming increasingly costly and error-prone. Though refactoring techniques are widely used in software engineering to address related problems, this does not yet constitute state-of-the art in business process management. Process designers either have to refactor process models by hand or cannot apply respective techniques at all. This paper proposes a set of behaviour-preserving techniques for refactoring large process repositories. This enables process designers to eectively deal with model complexity by making process models better understandable and easier to maintain

Keeping the Cost of Process Change Low through Refactoring

With the increasing adoption of process-aware information systems (PAIS) large process model repositories have emerged. Over time respective models have to be re-aligned to the real world business processes through customization or adaptation. This bears the risk that model redundancies are introduced and complexity is increased. If no continuous investment is made in keeping models simple, changes are becoming increasingly costly and error-prone. Although refactoring techniques are widely used in software engineering to address related problems, this does not yet constitute state-of-the art in business process management. Consequently, process designers either have to refactor process models by hand or can not apply respective techniques at all. In this paper we propose a set of techniques for refactoring large process repositories, which are behaviour-preserving. The proposed refactorings enable process designers to effectively deal with model complexity by making process models easier to change, less error-prone and better understandable

D-outcome measurement for a nonlocality test

For the purpose of the nonlocality test, we propose a general correlation observable of two parties by utilizing local $d$-outcome measurements with SU($d$) transformations and classical communications. Generic symmetries of the SU($d$) transformations and correlation observables are found for the test of nonlocality. It is shown that these symmetries dramatically reduce the number of numerical variables, which is important for numerical analysis of nonlocality. A linear combination of the correlation observables, which is reduced to the Clauser-Horne-Shimony-Holt (CHSH) Bell's inequality for two outcome measurements, is led to the Collins-Gisin-Linden-Massar-Popescu (CGLMP) nonlocality test for $d$-outcome measurement. As a system to be tested for its nonlocality, we investigate a continuous-variable (CV) entangled state with $d$ measurement outcomes. It allows the comparison of nonlocality based on different numbers of measurement outcomes on one physical system. In our example of the CV state, we find that a pure entangled state of any degree violates Bell's inequality for $d(\ge 2)$ measurement outcomes when the observables are of SU($d$) transformations.Comment: 16 pages, 2 figure

Isomonodromy, Painlev\'e Transcendents and Scattering off of Black Holes

We apply the method of isomonodromy to study the scattering of a generic Kerr-NUT-(A)dS black hole. For generic values of the charges, the problem is related to the connection problem of the Painlev\'e VI transcendent. We review a few facts about Painlev\'e VI, Garnier systems and the Hamiltonian structure of flat connections in the Riemann sphere. We then outline a method for computing the scattering amplitudes based on Hamilton-Jacobi structure of Painlev\'e, and discuss the implications of the generic result to black hole complementarity.Comment: 40 pages, 4 figures, JHEP styl

Null Deformed Domain Wall

We study null 1/4 BPS deformations of flat domain wall solutions (NDDW) in N=2, d=5 gauged supergravity with hypermultiplets and vector multiplets coupled. These are uncharged time-dependent configurations and contain as special case, 1/2 supersymmetric flat domain walls (DW), as well as 1/2 BPS null solutions of the ungauged supergravity. Combining our analysis with the classification method initiated by Gauntlett et al., we prove that all the possible deformations of the DW have origin in the hypermultiplet sector or/and are null. Here, we classify all the null deformations: we show that they naturally organize themselves into "gauging" (v-deformation) and "non gauging" (u-deformation). They have different properties: only in presence of v-deformation is the solution supported by a time-dependent scalar potential. Furthermore we show that the number of possible deformations equals the number of matter multiplets coupled. We discuss the general procedure for constructing explicit solutions, stressing the crucial role taken by the integrability conditions of the scalars as spacetime functions. Two analytical solutions are presented. Finally, we comment on the holographic applications of the NDDW, in relation to the recently proposed time-dependent AdS/CFT.Comment: 38 pages; minor changes, references added; text revised, minor changes, final version published in JHE