Interface theories allow systems designers to reason about the composability and compatibility of concurrent system components. Such theories often extend both de Alfaro and Henzinger’s Interface Automata and Larsen’s Modal Transition Systems, which leads, however, to several issues that are undesirable in practice: an unintuitive treatment of specified unwanted behaviour, a binary compatibility concept that does not scale to multi-component assemblies, and compatibility guarantees that are insufficient for software product lines. In this paper we show that communication mismatches are central to all these problems and, thus, the ability to represent such errors semantically is an important feature of an interface theory. Accordingly, we present the error-aware interface theory EMIA, where the above shortcomings are remedied by introducing explicit fatal error states. In addition, we prove via a Galois insertion that EMIA is a conservative generalisation of the established MIA (Modal Interface Automata) theory.

Orchestration languages are of paramount importance for building composite services in service-oriented architectures. Pattern-based analysis is a method that allows to determine the expressiveness of existing process languages and serves as a means of comparison between different languages. The aim of this study is the analysis and comparison of important languages for building Web Services-based orchestrations, as well as the improvement of the method of pattern-based analysis. The predominant orchestration language today is the Web Services Business Process Execution Language (WS-BPEL) 2.0. This language is a standard that has been implemented by several companies and projects, such as the OpenESB BPEL Service Engine. An additional language is Windows Workflow 4 that is shipped by Microsoft as part of the .NET framework. There are various aspects, represented by pattern catalogs, for which existing languages can be analyzed. This study suggests a methodology for ordering existing pattern catalogs according to their importance for a selected problem domain which is Business-to-Business Integration. It furthermore presents an extensive evaluation of the languages at hand and assesses the degree of support they provide for several of the most important pattern catalogs. These catalogs are the workflow control-flow patterns, the service interaction patterns, the change patterns and the time patterns.

By using the remote functions of a modern IT service management system infrastructure, it is possible to analyze huge amounts of logfile data from complex technical equipment. This enables a service provider to predict failures of connected equipment before they happen. The problem most providers face in this context is finding a needle in a haystack - the obtained amount of data turns out to be too large to be analyzed manually. This report describes a process to find suitable predictive patterns in log files for the detection of upcoming critical situations. The identification process may serve as a hands-on guide. It describes how to connect statistical means, data mining algorithms and expert domain knowledge in the domain of service management. The process was developed in a research project which is currently being carried out within the Siemens Healthcare service organization. The project deals with two main aspects: First, the identification of predictive patterns in existing service data and second, the architecture of an autonomous agent which is able to correlate such patterns. This paper summarizes the results of the first project challenge. The identification process was tested successfully in a proof of concept for several Siemens Healthcare products.

Following the final partition of the Polish-Lithuanian Commonwealth (1795) the Ottoman Empire became one of the key destinations for Polish political émigrés. They fled to Istanbul hoping for Ottoman support in their efforts to regain independence. Not only did they promote an independent Polish state, but also were many of them involved in the modernization enterprise of the Ottoman state. During the Second Constitutional Period (1908-1918) Tadeusz Gasztowtt aka Seyfeddin Bey came to prominence as a supporter of the Committee of Union and Progress, journalist, diplomat and soldier. Meanwhile, in the aftermath of WWI he was one of the main organizers of the diplomatic rapprochement between independent Poland and the Ottoman Empire and later, the Republic of Turkey. Given Gasztowtt’s service to a double national cause this paper puts forward a more inclusive category of a Polish Ottoman or an Ottoman Pole to define the overlapping allegiances of this individual.

Die Präsentation setzt die "Reise über drei Meere" Afanasij Nikitins (im 15. Jh.) in einen historischen Kontext und zeigt deren einzelne Stationen, vor allem den Aufenthalt in Indien, sowie wesentliche Inhalte auf. Für das Verständnis werden keine slawischen Sprachkenntnisse vorausgesetzt.

Since their invention as lightweight integration technology about a decade ago, Web Services have matured significantly. Today, major middleware solution vendors as well as industry communities like RosettaNet are propagating Web services even for exchanging business-critical data and implementing inter-organizational business processes. Core enablers for using Web services in this domain are stateful interactions using the Web Services Business Process Execution Language (WS-BPEL) as well as advanced communication features like security and reliability using the WS-Security and WS-ReliableMessaging standard specifications. However, advanced communication features come at the price of complexity which challenges interoperability across different Web services stack implementations. Interoperability, in turn, is a predominant requirement for an integration technology such as Web services, in particular if inter-organizational business processes are supposed to be implemented on top of that technology. This paper approaches the problem of testing the interoperability of the so-called WS-* standards, advanced Web services communication features that are typically defined as SOAP extensions and configured using WS-Policy. Being essential to business process integration, WS-Security and WS-ReliableMessaging are selected as representatives of this group and the two major Java-based Web services stack implementations Metro and Axis2 are tested for interoperability. We operationalize the notion of interoperability for testing WS-* standards, suppose an approach for deriving test cases from WS-* specifications as well as a method for performing the test cases, and we provide a comprehensive interoperability review of the two selected Web services stack implementations.

In dieser Abschiedsvorlesung werden im Rückblick die Entwicklung des Faches Andragogik sowie die Beiträge des Lehrstuhls zu Forschung und Theorie dargestellt. Als Ergebnis der Lehre wird die Verdreifachung der Studierenden berichtet; Verbleibsuntersuchungen belegen, dass die Absolventen als gesuchte Professionals weitgehend problemlos in den Arbeitsmarkt übergingen. Etwa 50 neue Arbeitsplätze wurden von und für die Absolventen vor allem in Oberfranken geschaffen.

Das kurze Papier stellt die Regeln und Grundsätze für Anerkennungsverfahren von hochschulischen Leistungen an der Universität Bamberg zusammen. Stand 2018.