Measurements of mixing and indirect CP violation

LHCb has collected the world's largest sample of charmed hadrons. This sample is used to measure the mixing parameters in the $D^0$-$\bar{D}^0$ system and to search for indirect $CP$ violation. This contribution focuses on measurements of $A_{\Gamma}$ with $D^*$ and semileptonic $B$ decays and on mixing measurements and a search for $CP$ violation in $D\to K\pi$ decays.Comment: To be published in the proceedings of CHARM-2015, Detroit, MI, 18-22 May 2015. arXiv admin note: text overlap with arXiv:1311.244

BPM News - Folge 3

Die BPM-Kolumne des EMISA-Forums berichtet über aktuelle Themen, Projekte und Veranstaltungen aus dem BPM-Umfeld. Schwerpunkt der vorliegenden Kolumne bildet das Thema Standardisierung von Prozessbeschreibungssprachen und -notationen im Allgemeinen und BPEL4WS (Business Process Execution Language for Web Services) im Speziellen. Hierzu liefert Jan Mendling von der Wirtschaftsuniversität Wien in aktuelles Schlagwort. Des weiteren erhalten Leser eine Zusammenfassung zweier im ersten Halbjahr 2006 veranstalteten Workshops zu den Themen „Flexibilität prozessorientierter Informationssysteme“ und „Kollaborative Prozesse“ sowie einen BPM Veranstaltungskalender für die 2. Jahreshälfte 2006

Adjustment Strategies for Non-Compliant Process Instances

Enabling changes at both process type and process instance level is an essential requirement for any adaptive process-aware information system (PAIS). Particularly, it should be possible to migrate a (long-)running process instance to a new type schema version, even if this instance has been individually modified before. Further instance migration must not violate soundness; i.e., structural and behavorial consistency need to be preserved. Compliance has been introduced as basic notion to ensure that instances, whose state has progressed too far, are prohibited from being migrated. However, this also excludes them from further process optimizations, which is not tolerable in many practical settings. This paper introduces a number of strategies for coping with non-compliant instances in the context of process change such that they can benefit from future process type changes on the one hand, but do not run into soundness problems on the other hand. We show, for example, how to automatically adjust process type changes at instance level to enable the migration of a higher number of instances. The different strategies are compared and discussed along existing approaches. Altogether, adequate treatment of non-compliant process instances contributes to full process lifecycle support in adaptive PAIS

Managing the Life Cycle of Access Rules in CEOSIS

The definition and management of access rules (e.g., to control the access to business documents and business functions) is an important task within any enterprise information systems (EIS). Many EIS apply role-based access control (RBAC) mechanisms to specify access rules based on organizational models. However, only little research has been spent on organizational changes even though they often become necessary in practice. Examples comprise the evolution of organizational models with subsequent adaptation of access rules or direct access rule modifications. In this paper, we present a change framework for the controlled evolution of access rules in EIS. Specifically, we define change operations which ensure correct modification of access rules. Finally, we define the formal semantics of access rule changes based on operator trees which enables their unambiguous application; i.e., we can precisely determine which effects are caused by respective adaptations. This is important, for example, to be able to efficiently adapt user worklists in process-aware information systems. Altogether this paper contributes to comprehensive life cycle support for access rules in (adaptive) EIS

BPM News - Folge 1

"Prozessorientierung" und damit in Zusammenhang stehende Schlagworte und Trends dominieren in diesem Umfeld schon seit einigen Jahren die Fachpresse. Man könnte daher vermuten, dass der Markt für Softwarelösungen zur Realisierung prozessorientierter Informationssysteme regelrecht boomt. Dem ist aber (noch) nicht wirklich so. Ein Grund hierfür ist, dass die Realisierung prozessorientierter Informationssysteme zum einen ein Umdenken in den damit befassten Fachabteilungen erfordert, und dass zum andern die Erfassung und Modellierung der (Geschäfts-) Prozesse einen erheblichen Zeitaufwand und hohe Kosten verursacht. Ein weiterer Grund ist, dass auf dem Markt eine Vielzahl verschiedener Produkte und Technologien miteinander konkurrieren, die auf sehr unterschiedliche Weise versuchen, prozessorientierte IT-Lösungen zu realisieren

Future prospects for exploring present day anomalies in flavour physics measurements with Belle II and LHCb

A range of flavour physics observables show tensions with their corresponding Standard Model expectations: measurements of leptonic flavour-changing neutral current processes and ratios of semi-leptonic branching fractions involving different generations of leptons show deviations of the order of four standard deviations. If confirmed, either would be an intriguing sign of new physics. In this manuscript, we analyse the current experimental situation of such processes and for the first time estimate the combined impact of the future datasets of the Belle II and LHCb experiments on the present tensions with the Standard Model expectations by performing scans of the new physics contribution to the Wilson coefficients. In addition, the present day and future sensitivity of tree-level CKM parameters, which offer orthogonal tests of the Standard Model, are explored. Three benchmark points in time are chosen for a direct comparison of the estimated sensitivity between the experiments. A high complementarity between the future sensitivity achieved by the Belle II and LHCb experiments is observed due to their relative strengths and weaknesses. We estimate that all of the anomalies considered here will be either confirmed or ruled out by both experiments independently with very high significance by the end of data-taking at Belle II and the LHCb upgrade

BPM News - Folge 2

Schwerpunkt dieser Kolumne bildet das Thema Business Process Intelligence (BPI), das sowohl auf Fachkonferenzen als auch im kommerziellen Umfeld (z. B. ARIS Toolset, IBM Websphere Business Integration Monitor) vermehrt ins Blickfeld geraten ist. Business Process Intelligence subsumiert Konzepte, Anwendungen und Werkzeuge für die Erfassung, Auswertung und Visualisierung von Prozessechtdaten (inkl. Process Mining). In diesem Zusammenhang wurden in 2005 erstmalig auch zwei Workshops ausgerichtet, die wir in dieser Kolumne kurz zusammenfassen werden

Evaluation of Correctness Criteria for Dynamic Workflow Changes

The capability to dynamically adapt in-progress workflows (WF) is an essential requirement for any workflow management system (WfMS). This fact has been recognized by the WF community for a long time and different approaches in the area of adaptive workflows have been developed so far. They either enable WF type changes and their propagation to in-progress WF instances or (ad-hoc) changes of single WF instances. Thus, at first glance, many of the major problems related to dynamic WF changes seem to be solved. However, this picture changes when digging deeper into the approaches and considering implementation and usability issues as well. This paper presents important criteria for the correct adaptation of runningw orkflows and analyzes how actual approaches satisfy them. At this, we demonstrate the strengths of the different approaches and provide additional solutions to overcome current limitations. These solutions comprise comprehensive correctness criteria as well as migration rules for change realization

A Formal Framework For Workflow Type And Instance Changes Under Correctness Constraints

The capability to rapidly adapt in-progress workflows (WF) is an essential requirement for any workflow system. Adaptations may concern single WF instances or a WF type as a whole. While changes of single instances often have to be applied in an ad-hoc manner, type changes become necessary to adapt to evolving business processes. Especially for longrunning processes it is indispensable to propagate type changes to running instances as well. Very challenging in this context is to correctly adapt a (potentially large) collection of WF instances, which may be in different states and to which various ad-hoc changes may have been previously applied. This paper presents a comprehensive framework for the support of both, WF type and WF instance changes. We establish general correctness principles and show how WF instances can be automatically and efficiently migrated to a modified WF schema. We point out that our approach exceeds existing adaptation models in formal foundation, completeness, and usability