UIB-2010-01 A Complete and Terminating Execution Model for Constraint Handling Rules

Autoren: Hariolf Betz, Frank Raiser, Thom Frühwirth

We observe that the various formulations of the operational semantics of Constraint Handling Rules proposed over the years fall into a spectrum ranging from the analytical to the pragmatic. While existing analytical formulations facilitate program analysis and formal proofs of program properties, they cannot be implemented as is. We propose a novel operational semantics !!, which has a strong analytical foundation, while featuring a terminating execution model. We prove its soundness and completeness with respect to existing analytical formulations and we compare its expressivity to that of various other formulations.


UIB-2010-02 Speichereffiziente Repräsentation instanzspezifischer Änderungen in Prozess-Management-Systemen

Autoren: Ulrich Kreher, Manfred Reichert

Neben Funktionen für die Steuerung und Verwaltung von Prozessen muss ein Prozess-Management-System (PMS) auch eine gewisse Flexibilität für Endbenutzer bieten. So sollte es beispielsweise möglich sein, zur Laufzeit fallspezifisch und flexibel vom vordefinierten Prozess abzuweichen, d. h. die betreffende Prozessinstanz strukturell zu modifizieren. Entsprechende Ad-hoc-Änderungen dürfen jedoch weder zu Lasten der Robustheit des PMS noch auf Kostender Systemperformanz gehen, insbesondere wenn eine große Zahl von Instanzen verwaltet werden muss. Robustheitsaspekte im Zusammenhang mit der Unterstützung von Flexibilität des PMS sind bereits in mehreren Arbeiten theoretisch untersucht worden. In diesem Beitrag untersuchen wir, wie Flexibilität in Prozess-Management-Systemen systemintern realisiert werden kann und wie dies möglichst performant bewerkstelligbar ist. Dazu diskutieren wir verschiedene Realisierungskonzepte sowie einige Implementierungsvarianten für Änderungen auf Prozessen und bewerten diese sowohl qualitativ als auch quantitativ. Eine der vorgestellten Implementierungsvarianten ist aktuell im ADEPT2-PMS umgesetzt.


UIB-2010-03 Case Study: Engine Control Application

Autoren: Patrick Frey

This report presents the case study of an engine control application. The objective of the case study is to demonstrate the applicability of the concepts from our Timing Model for AUTOSAR and the RTE Tracing approach [4] on an integrated, rigorous and close to real-world example. This includes the modeling of the relevant signal paths within the application software of the corresponding AUTOSARsystem and their association with application-specific timing requirements. Furthermore, suitable timing properties are determined with the help of an RTE Tracing experiment such that the degree of fulfillment of the timing requirements can be evaluated by means of Timing Oscilloscope Diagrams.


UIB-2010-04 Basic Considerations on Business Process Quality

Autoren: Matthias Lohrmann, Manfred Reichert

Quality management practices in manufacturing and logistics have led to proven results for organisations with respect to competitiveness and profitability. At the same time, business process management not only addresses a comprehensive functional scope including the ever more important administrative functions and business services, but also contributes to realising potentials (e.g. in the field of process automation) through extensive use of information technology. Integrating quality management with business process management concepts is thus very promising from a business perspective. The evolution of a clear understanding of business process quality constitutes a fundamental prerequisite for progress in this field as only a concise definition will point out the issues that need to be addressed in more detailed research. This paper aims at discussing basic considerations in this respect. We look into requirements to be posed towards a definition of business process quality, discuss various basic quality views and their fit with business process management, provide a fundamental if not yet practically applicable business process quality denition, and examine related aspects of business processes as well as related work. While this approach will not lead to a final applicable definition of business process quality, its contribution will lie in entering into a more systematic discussion to encompass the wide array of existing results that can be correlated with business process quality and giving directions for future research.


UIB-2010-05 Statistical Computing 2010 - Abstracts der 42. Arbeitstagung

Autoren: HA Kestler, H Binder, B Lausen, H-P Klenk, M Schmid, F Leisch (eds)

42. Arbeitstagung der Arbeitsgruppen Statistical Computing (GMDS/IBS-DR), Klassifikation und Datenanalyse in den Biowissenschaften (GfKl). 20.06.-23.06.2009, Schloss Reisensburg (Günzburg)


UIB-2010-06 Object-aware Business Processes: Properties, Requirements, Existing Approaches

Autoren: Vera Künzle, Barbara Weber, Manfred Reichert

Despite the increasing maturity of process management technology not all business processes are adequately supported by it. In particular, support for unstructured and knowledge-intensive processes is missing, especially since they cannot be straight-jacketed into predefined activities. A common characteristic of these processes is the role of business objects and data as drivers for process modeling and enactment. This paper elicits fundamental requirements for effectively supporting such object-aware processes; i.e., their modeling, execution and monitoring. Based on these requirements, we evaluate imperative, declarative, and data-driven process support approaches and investigate how well they support object-aware processes. We consider a tight integration of process and data as major step towards further maturation of process management technology.