The CHORCH Approach: How to Model B2Bi Choreographies for Orchestration Execution

The establishment and implementation of cross-organizational business processes is an implication of today's market pressure for efficiency gains. In this context, Business-To-Business integration (B2Bi) focuses on the information integration aspects of business processes. A core task of B2Bi is providing adequate models that capture the message exchanges between integration partners. Following the terminology used in the SOA domain, such models will be called choreographies in the context of this work. Despite the enormous economic importance of B2Bi, existing choreography languages fall short of fulfilling all relevant requirements of B2Bi scenarios. Dedicated B2Bi choreography standards allow for inconsistent outcomes of basic interactions and do not provide unambiguous semantics for advanced interaction models. In contrast to this, more formal or technical choreography languages may provide unambiguous modeling semantics, but do not offer B2Bi domain concepts or an adequate level of abstraction. Defining valid and complete B2Bi choreography models becomes a challenging task in the face of these shortcomings. At the same time, invalid or underspecified choreography definitions are particularly costly considering the organizational setting of B2Bi scenarios. Models are not only needed to bridge the typical gap between business and IT, but also as negotiation means among the business users of the integration partners on the one hand and among the IT experts of the integration partners on the other. Misunderstandings between any two negotiation partners potentially affect the agreements between all other negotiation partners. The CHORCH approach offers tailored support for B2Bi by combining the strengths of both dedicated B2Bi standards and formal rigor. As choreography specification format, the ebXML Business Process Specification Schema (ebBP) standard is used. ebBP provides dedicated B2Bi domain concepts such as so-called BusinessTransactions (BTs) that abstractly specify the exchange of a request business document and an optional response business document. In addition, ebBP provides a format for specifying the sequence of BT executions for capturing complex interaction scenarios. CHORCH improves the offering of ebBP in several ways. Firstly, the execution model of BTs which allows for inconsistent outcomes among the integration partners is redefined such that only consistent outcomes are possible. Secondly, two binary choreography styles are defined as B2Bi implementation contract format in order to streamline implementation projects. Both choreography styles are formalized and provided with a formal execution semantics for ensuring unambiguity. In addition, validity criteria are defined that ensure implementability using BPEL-based orchestrations. Thirdly, the analysis of the synchronization dependencies of complex B2Bi scenarios is supported by means of a multi-party choreography style combined with an analysis framework. This choreography style also is formalized and standard state machine semantics are reused in order to ensure unambiguity. Moreover, validity criteria are defined that allow for analyzing corresponding models for typical multi-party choreography issues. Altogether, CHORCH provides choreography styles that are B2Bi adequate, simple, unambiguous, and implementable. The choreography styles are B2Bi adequate in providing B2Bi domain concepts, in abstracting from low-level implementation details and in covering the majority of real-world B2Bi scenarios. Simplicity is fostered by using state machines as underlying specification paradigm. This allows for thinking in the states of a B2Bi scenario and for simple control flow structures. Unambiguity is provided by formal execution semantics whereas implementability (for the binary choreography styles) is ensured by providing mapping rules to BPEL-based implementations. The validation of CHORCH's choreography styles is performed in a twofold way. Firstly, the implementation of the binary choreography styles based on Web Services and BPEL technology is demonstrated which proves implementability using relatively low-cost technologies. Moreover, the analysis algorithms for the multi-party choreography styles are validated using a Java-based prototype. Secondly, an abstract visualization of the choreography styles based on BPMN is provided that abstracts from the technicalities of the ebBP standard. This proves the amenability of CHORCH to development methods that start out with visual models. CHORCH defines how to use BPMN choreographies for the purpose of B2Bi choreography modeling and translates the formal rules for choreography validity into simple composition rules that demonstrate valid ways of connecting the respective modeling constructs. In summary, CHORCH allows integration partners to start out with a high-level visual model of their interactions in BPMN that identifies the types and sequences of the BusinessTransactions to be used. For multi-party choreographies, a framework for analyzing synchronization dependencies then is available. For binary choreographies, an ebBP refinement can be derived that fills in the technical parameters that are needed for deriving the implementation. Finally, Web Services and BPEL based implementations can be generated. Thus, CHORCH allows for stepwise closing the semantic gap between the information perspective of business process models and the corresponding implementations. It is noteworthy that CHORCH uses international standards throughout all relevant layers, i.e., BPMN, ebBP, Web Services and BPEL, which helps in bridging the heterogeneous IT landscapes of B2Bi partners. In addition, the adoption of core CHORCH deliverables as international standards of the RosettaNet community give testament to the practical relevance and promise dissemination throughout the B2Bi community.Betriebsübergreifende Geschäftsprozessintegration ist eine logische Konsequenz allgegenwärtigen Wettbewerbsdrucks. In diesem Kontext fokussiert Business-To-Business integration (B2Bi) auf die Informationsaustausche zwischen Unternehmen. Eine B2Bi-Kernanforderung ist die Bereitstellung adäquater Modelle zur Spezifikation der Nachrichtenaustausche zwischen Integrationspartnern. Diese werden im Rahmen dieser Arbeit in Anlehnung an Service-orientierte Architekturen (SOA)-Terminologie Choreographien genannt. Bestehende Choreographiesprachen decken die Anforderungen an B2Bi-Choreographien nicht vollständig ab. Dedizierte B2Bi-Choreographiestandards definieren inkonsistente Austauschprozeduren für grundlegende Interaktionen und nur unvollständige Semantiken für fortgeschrittene Interaktionen. Formale oder Technik-getriebene Choreographiesprachen bieten die benötigte Präzision, lassen aber Domänenkonzepte vermissen oder operieren auf einer niedrigen Abstraktionsebene. Angesichts solcher Mängel wird die Spezifikation valider und vollständiger B2Bi-Choreographien zu einer echten Herausforderung. Gleichzeitig sind mangelhafte Choreographiemodelle gerade im B2Bi-Bereich besonders problematisch, da diese nicht nur zwischen Fach- und IT-Abteilung, sondern auch über Unternehmensgrenzen hinweg eingesetzt werden. Der CHORCH-Ansatz schafft an dieser Stelle mittels maßgeschneiderter Choreographien Abhilfe, welche die Vorteile von B2Bi-Choreographien und von formalen Ansätzen kombinieren. Als Ausgangspunkt wird das ebXML Business Process Specification Schema (ebBP) verwendet, das als B2Bi-Choreographiestandard Domänenkonzepte wie zum Beispiel sogenannte BusinessTransactions (BTs) bietet. Eine BT ist der Basisbaustein von B2Bi-Choreographien und spezifiziert den Austausch eines Geschäftsdokuments sowie eines optionalen Antwortdokuments. Darüber hinaus bietet ebBP ein Format zur Spezifikation von BT-Kompositionen zur Unterstützung komplexer Interaktionen. CHORCH erweitert ebBP wie folgt. Erstens, das Ausführungsmodell für BTs wird neu definiert, um inkonsistente Ergebniszustände zu eliminieren. Zweitens, für Entwicklungsprojekte werden zwei binäre Choreographieklassen definiert, die als B2Bi-Implementierungskontrakt dienen sollen. Die Formalisierung beider Klassen sowie formale operationale Semantiken gewährleisten Eindeutigkeit, während Validitätskriterien die Ausführbarkeit entsprechender Modelle mittels BPEL-basierter Orchestrationen garantieren. Drittens, zur Analyse der Synchronisationsbeziehungen komplexer B2Bi-Szenarien wird eine Multi-Party-Choreographieklasse nebst Analyseframework definiert. Wiederum wird für diese Klasse eine Formalisierung definiert, die mittels Standard-Zustandsautomatensemantik Eindeutigkeit gewährleistet. Ferner garantieren Validitätskriterien die Anwendbarkeit der definierten Analysealgorithmen. Insgesamt bieten die Choreographieklassen des CHORCH-Ansatzes ein B2Bi-adäquates, einfaches, eindeutiges und implementierbares Modell der Nachrichtenaustausche zwischen B2Bi-Partnern. B2Bi-Adäquatheit wird durch Verwendung von B2Bi-Domänenkonzepten, Abstraktion von rein technischen Kommunikationsdetails und Abdeckung der meisten praktisch relevanten B2Bi-Szenarien gewährleistet. Einfachheit ist ein Ausfluss der Verwendung eines Zustandsmaschinen-basierten Modellierungsparadigmas, das die Definition des Interaktionsfortschritts in Form von Zuständen sowie einfache Kontrollflussstrukturen ermöglicht. Eindeutigkeit wird durch die Verwendung formaler Semantiken garantiert, während Implementierbarkeit (für die beiden binären Choreographieklassen) durch Angabe von Mapping-Regeln auf BPEL-Orchestrationen sichergestellt wird. Die Validierung der CHORCH-Choreographieklassen erfolgt in zweierlei Hinsicht. Erstens, die Implementierbarkeit der binären Choreographieklassen mit Hilfe von Web Services und BPEL wird durch die Definition entsprechender Mappingregeln belegt. Weiterhin wird das Analyseframework der Multi-Party-Choreographieklasse als Java-Prototyp implementiert. Zweitens, für alle Choreographieklassen wird eine abstrakte Visualisierung auf BPMN-Basis definiert, die von diversen technischen Parametern des ebBP-Formats abstrahiert. Damit wird die Integrierbarkeit der CHORCH-Choreographieklassen in Entwicklungsansätze, die ein visuelles Modell als Ausgangspunkt vorsehen, belegt. CHORCH definiert, wie sogenannte BPMN-Choreographien zum Zweck der B2Bi-Choreographiemodellierung zu verwenden sind und übersetzt die Validitätskriterien der CHORCH-Choreographieklassen in einfache Modell-Kompositionsregeln. In seiner Gesamtheit bietet CHORCH somit einen Ansatz, mit Hilfe dessen B2Bi-Partner zunächst die Typen und zulässigen Reihenfolgen ihrer Geschäftsdokumentaustausche auf Basis eines abstrakten visuellen BPMN-Modells identifizieren können. Im Fall von Multi-Party-Choreographien steht dann ein Framework zur Analyse der Synchronisationsbeziehungen zwischen den Integrationspartnern zur Verfügung. Im Fall von binären Choreographien können ebBP-Verfeinerungen abgeleitet werden, welche die Modelle um technische Parameter anreichern, die zur Ableitung einer Implementierung benötigt werden. Diese ebBP-Modelle sind in Web Services- und BPEL-basierte Implementierungen übersetzbar. Damit erlaubt CHORCH die schrittweise Überbrückung der semantischen Lücke zwischen der Informationsaustauschperspektive von Geschäftsprozessmodellen und den zugehörigen Implementierungen. Ein beachtenswerter Aspekt des CHORCH-Ansatzes ist die Verwendung einschlägiger internationaler Standards auf allen Abstraktionsebenen, im Einzelnen BPMN, ebBP, Web Services und BPEL. Die Verwendung von Standards trägt dem heterogenen Umfeld von B2Bi-Szenarien Rechnung. Zusätzlich wurden Kernergebnisse des CHORCH-Ansatzes als internationale Standards der RosettaNet-B2Bi-Community veröffentlicht. Dies belegt die praktische Relevanz des Ansatzes und fördert die Verbreitung innerhalb der B2Bi-Community

Imaging simulation of atmospheric turbulence based on phase screen methods

Im Rahmen dieser Arbeit wird ein Ansatz zur bildbasierten Simulation von Luftturbulenzstörungen vorgestellt. Es wird aufgezeigt, wie durch einen bestehenden Ansatz aus experimentellen Kameradaten Parameter von aktuellen Turbulenzmodellen abgeschätzt werden können. Diese Parameter werden dann für vergleichbare Simulationen genutzt und mit experimentellen Daten verglichen. Eine weit verbreitete Methode ist das sogenannte "Split-step"-Strahlpropagationsverfahren, welches die Ausbreitung eines Lichtsignals durch ein turbulentes Medium simulieren kann. Hierbei werden Phasenstörungen des elektromagnetischen Felds verursacht durch Turbulenz als zweidimensionale Phasenschirme in mehreren Abständen zwischen Lichtquelle und Kamerasensor modelliert und simuliert. Anhand aktueller Turbulenzmodelle werden zwei Methoden zur Phasenschirmerzeugung hinsichtlich Genauigkeit und Rechenzeit verglichen. Zum einen ist das als Goldstandard die inverse Fouriertransformation von gefiltertem Rauschen mit Hinzufügen von subharmonischen Frequenzen. Zum anderen ist das die "Sparse Spectrum"-Methode zur Erzeugung von korrelierten Phasenschirmen durch Überlagerung von planaren Wellen mit zufälligen Ausrichtungen. Phasenschirme stellen 2D-Abbilder von zufälligen räumliche Schwankungen des Brechungsindex von Luft dar, die zu meist unerwünschten Störeffekten bei der Übertragung von Lichtsignalen führen. In der Kamerabildgebung äußern sich diese Störeffekte durch räumliche und zeitliche Schwankungen der Bildunschärfe und Position ("Image dancing") einzelner Bildausschnitte. Diese Schwankungen entstehen durch Induktion turbulenter Luftströmungen durch Sonneneinstrahlung verbunden mit der Temperaturund Druckabhängigkeit des Brechungsindex von Luft. Da exakte fluiddynamische Simulationen zeitund rechenaufwendig sind und die Kenntnis vieler Randbedingungen, z.B. der Bodenbeschaffenheit voraussetzen, werden diese Brechungsindexschwankungen oft durch Rauschleistungsspektren als Turbulenzmodelle beschrieben. Mithilfe der Phasenstrukturfunktion als häufig genutztes Validierungskriterium wird gezeigt, dass erzeugte Phasenschirme korrekte, zu erwartende räumliche Korrelationen aufweisen. Für beide Methoden werden zweidimensionale Ausbreitungsprofile von Lichtpunktquellen berechnet und mit gängigen Metriken validiert. Dies sind zum Beispiel Langzeit- und Kurzzeitmodulationstransferfunktionen ("long-exposure/short-exposure"), das Strehlverhältnis und der aperturgemittelte Szintillationsindex. Das Strehlverhältnis setzt zwei Maximalwerte für eine räumliche, ensemble-gemittelte optischen Intensitätsverteilung ins Verhältnis, einem Maximalwert für eine gegebene Turbulenzstärke und dem Maximalwert für den turbulenzfreien Fall. Durch zunehmende Turbulenzstärke werden die optischen Intensitätsverteilungen im Allgmeinen breiter. Dadurch sinken diese Maximalwerte und dadurch auch das Strehlverhältnis. Das Punktbildprofil auf dem Sensor ergibt sich dann durch Fourieroptik aus der Feldverteilung an der Apertur. Diese Punktbildprofile repräsentieren die Turbulenzstörung einzelner Lichtpunktquellen für bestimmte Sichtlinien. Durch Verschiebung der Phasenschirme senkrecht zur Ausbreitungsrichtung lassen sich Punktbildprofile für unterschiedliche Sichtlinien zum Sensor berechnen. Dadurch ergeben sich räumlich variierende und korrelierte Punktbildprofile. Es lassen sich regelmäßige Gitter solcher Punktbildprofile berechnen, und zur ungleichmäßigen Filterung über beliebige Bilder als Eingangsszenen nutzen. Zur experimentellen Validierung werden in mehreren Feldversuchen vergleichbare Messungen mit LED-Matrizen als Gitter von Punktquellen durchgeführt. Durch Verwendung von zwei Arten von LEDs von geringfügig unterschiedlichen mittleren Wellenlängen wird untersucht, ob und inwieweit sich der erwartete Unterschied in der Bildunschärfe der LED-Projektion zur Verbesserung der Abschätzung von Turbulenzmodellparametern eignet. Aus gemessenen Bildern der LED-Matrizen werden außerdem differentielle Neigungsvarianzen berechnet. Die differentielle Neigungsvarianz als Maß für die räumliche Korrelation der Zentroidverschiebungen dieser Punktbildprofile ist analytisch beschreibbar und wird deshalb auch zur Validierung genutzt. Durch Anpassung theoretischer Ausdrücke an diese lassen sich die wahrscheinlichsten Parameter von aktuellen Turbulenzmodellen abschätzen. Basierend auf diesen Parametern werden turbulent gestörte Punktgitter simuliert und daraus abgeleitete Neigungsvarianzen mit experimentellen Daten verglichen. Ebenso werden Verteilungen der Turbulenzmodellparameter über alle Messtage aufgezeigt sowie ihrer Anisotropie zwischen horizontaler und vertikaler Richtung. Dies kann als Datengrundlage für zukünftige bildgebenden Turbulenzsimulationen genutzt werden, zum Beispiel zur Bewertung von Kameras oder der Entwicklung und Verbesserung von turbulenzkompensierenden Bildverarbeitungstechniken. Die aufgefundenen Verteilungen von Turbulenzmodellparametern können außerdem zur Validierung von Simulationen und Messungen von kleinskaligen atmosphärischen Phänomenen in Bodennähe genutzt werden

A programming system for process coordination in virtual organisations

PhD thesisDistributed business applications are increasingly being constructed by composing them from services provided by various online businesses. Typically, this leads to trading partners coming together to form virtual organizations (VOs). Each member of a VO maintains their autonomy, except with respect to their agreed goals. The structure of the Virtual Organisation may contain one dominant organisation who dictates the method of achieving the goals or the members may be considered peers of equal importance. The goals of VOs can be defined by the shared global business processes they contain. To be able to execute these business processes, VOs require a flexible enactment model as there may be no single ‘owner’ of the business process and therefore no natural place to enact the business processes. One solution is centralised enactment using a trusted third party, but in some cases this may not be acceptable (for instance because of security reasons). This thesis will present a programming system that allows centralised as well as distributed enactment where each organisation enacts part of the business process. To achieve distributed enactment we must address the problem of specifying the business process in a manner that is amenable to distribution. The first contribution of this thesis is the presentation of the Task Model, a set of languages and notations for describing workflows that can be enacted in a centralised or decentralised manner. The business processes that we specify will coordinate the services that each organisation owns. The second contribution of this thesis is the presentation of a method of describing the observable behaviour of these services. The language we present, SSDL, provides a flexible and extensible way of describing the messaging behaviour of Web Services. We present a method for checking that a set of services described in SSDL are compatible with each other and also that a workflow interacts with a service in the desired manner. The final contribution of this thesis is the presentation of an abstract architecture and prototype implementation of a decentralised workflow engine. The prototype is able to enact workflows described in the Task Model notation in either a centralised or decentralised scenario

Analysis of protein-protein interaction networks by means of annotated graph mining algorithms

This thesis discusses solutions to several open problems in Protein-Protein Interaction (PPI) networks with the aid of Knowledge Discovery. PPI networks are usually represented as undirected graphs, with nodes corresponding to proteins and edges representing interactions among protein pairs. A large amount of available PPI data and noise within it has made the knowledge discovery process a necessary central part for the network analysis. We define Knowledge Discovery as a process of extracting informative knowledge from the huge amount of data. Much success has been achieved when the input data is represented as a set of independent instances and their attributes. But, in the context of PPI networks, there is interesting knowledge to be mined from the relationships between instances (proteins). The resulting research area is called ``Graph Mining''. Here, the input data is modeled as a graph and the output could be any type of knowledge. In this thesis, we propose several graph mining algorithms to examine structural characteristics of PPI networks and link them to the information useful for biologists, such as function or disease.LEI Universiteit LeidenThis research is supported by the Dutch Science Foundation (NWO) through a VIDI grant.Algorithms and the Foundations of Software technolog

Combining SOA and BPM Technologies for Cross-System Process Automation

This paper summarizes the results of an industry case study that introduced a cross-system business process automation solution based on a combination of SOA and BPM standard technologies (i.e., BPMN, BPEL, WSDL). Besides discussing major weaknesses of the existing, custom-built, solution and comparing them against experiences with the developed prototype, the paper presents a course of action for transforming the current solution into the proposed solution. This includes a general approach, consisting of four distinct steps, as well as specific action items that are to be performed for every step. The discussion also covers language and tool support and challenges arising from the transformation

Verification and Analysis of Web Service Composition

Ph.DDOCTOR OF PHILOSOPH

Analyzing Chor Specifications by Translation into FSP

AbstractA choreography specifies activities and interactions among a set of services from a global point of view. From this specification, local implementations or peers can be automatically generated. Generation of peers that precisely implement the choreography specification is not always possible: this problem is known as realizability. This paper presents an encoding of the Chor choreography calculus into the FSP process algebra. This encoding allows to: (i) validate and verify Chor specifications using the FSP toolbox (LTSA), (ii) generate peer protocols from its choreography specified in Chor, (iii) test for realizability of the Chor specification, and (iv) generate Java code from FSP for rapid prototyping purposes. Our proposal is supported and completely automated by a prototype tool we have implemented

Religion, Spirituality, Corruption and Development: Causal Links and Relationships

Public sector corruption plays an important role in a nation's development, and many low income countries (LICs) suffer chronic bureaucratic corruption. While there have been numerous studies addressing both the causes and consequences of corruption, the full range of causes remains unexplored, and consequences are becoming understood in new light with fresh data and expanded linkages. Specifically, the impact of religion and spirituality on public sector corruption had not previously been adequately researched and documented, and tracing the role of corruption on living standards through business starts data provides a novel perspective on this link. This dissertation is a macro-level, global study of public sector corruption, analyzing the impact of religion and spirituality on public sector corruption, and subsequently on living standards. Essentially this is a study of ethics in public service, reviewed through the lens of one ancient concept (religion) and an emerging new construct (spirituality). The primary conclusions and contributions of this dissertation are that: (1) religion has a direct - and moderate - causal impact on corruption, (2) spirituality has an inverse - but weak - causal impact on corruption and (3) public sector corruption has an inverse - and strong - causal impact on business starts, economic growth and living standards. All three of these primary findings have social, political, and economic policy implications

Public use data tape documentation : Multiple cause of death for ICD-9 data 1979 data

Information on all causes of death reported on the approximately two mill~on death certificates filed in the United States - annually has been coded since 1968 as a part of the NCHS multiple cause of death program. The data are released to the public in a variety of ways including published reports, special tabulations to answer data requests, and data tapes containing a statistical record for each death occurring in the United States. This document is intended to provide guidance to the consumer in accessing and utilizing the multiple cause of death public use tape file which covers deaths occurring in the United States during 1979. Each record on the annual tape file contains two multiple cause of death fields which have been coded using International Classification of Diseases, Ninth Revision (ICD-9). In addition, underlyingc ause, demographic, and geographic detail data accompanies the multiple cause data. The tape file contains the complete level of detail coded by NCHS except where precluded by confidentiality restrictions or lack of data reliability. This document provides the technical data processing information necessary to access the tapes and the classification structure and coding rules applied to create each variable on the file such that the user can readily assess relevance at varying levels of detail to his/her own particular research. Additionally, it conveys the characteristics of the multiple cause fields sufficient to guide the user in analyzing and interpreting multiple cause data. The user i.salerted to certain pitfalls of interpretation, and the appropriateness of each type of multiple cause data to given applications is discussed.dt79icd9.pdf19821038

The Advocate - Jan. 25, 1962

Original title (1951-1987)--The Advocate: official publication of the Archdiocese of Newark (N.J.)