Diploma Thesis DIP-2885

BibliographyBischof, Marc: Modeling and Runtime Support of Faults in Interaction Choreography Models.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 2885 (2009).
139 pages, english.
CR-SchemaC.4 (Performance of Systems)
D.1.3 (Concurrent Programming)
D.2 (Software Engineering)
D.2.2 (Software Engineering Design Tools and Techniques)
D.2.5 (Software Engineering Testing and Debugging)
D.2.11 (Software Engineering Software Architectures)
D.3.2 (Programming Language Classifications)
D.4 (Operating Systems)
D.4.1 (Process Management)
D.4.5 (Operating Systems Reliability)
D.4.7 (Operating Systems Organization and Design)
H.4.1 (Office Automation)
K.1 (The Computer Industry)
KeywordsException; Interaction; Choreography; Interconnection; iBPMN; Fault Handling Extension; Pluggable Framework; WS-Coordination; external Coordination; Overlapping; Cross-Partner Scope; Exception Graphs; Exception Classification; Exception Handling; Runtime Support; Choreography Management Stack; extension for iBPMN; intermediate events; non-interrupting intermediate events; silentAction; noAction; WS-CDL; BPMN2.0
Abstract

Present interaction-centric languages support exception handling in a rudimentary and deficient way or even ignore this requirements at all. As a consequence a model to specify exceptional properties on a higher level is required which can automate coordinated exception handling out of the conceptual specification. The approach taken in this thesis specifies exceptional behavior of choreographies on interaction level and describes automated runtime support out of this enhancement. Thereby, the range of issues leading to exceptions and the various way they are handled is identified in a detailed discussion of exception classifications and exception handling. Especially regarding modeling issues, it turns out that only expected exceptions can be modeled, while unexpected exceptions need superior solutions. A multi-viewpoint approach dealing with different levels of abstraction is provided with the choreography design process. However, interaction-centric exception classification, handling and modeling on choreography level is marginal targeted. Within this thesis, three interaction notations are identified where interaction exceptions can be applied to: WS-CDL, BPMN2.0 and iBPMN. Out of these notations iBPMN turned out as preferred notation for an extension with interaction exceptions.

Full text and
other links
PDF (2980361 Bytes)
Oryx iBPMN Stencil Set
Access to students' publications restricted to the faculty due to current privacy regulations
Contactmc.bischof@googlemail.com
Department(s)University of Stuttgart, Institute of Architecture of Application Systems
Superviser(s)Kopp, Oliver
Project(s)Tools4BPEL
Entry dateJuly 17, 2009
   Publ. Institute   Publ. Computer Science