Seminararbeit SEM-2007-04

Fehling, Christoph: Protocol based Integration using SSDL.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Seminararbeit (2007).
14 Seiten, englisch.
CR-Klassif.D.2.2 (Software Engineering Design Tools and Techniques)
H.4.1 (Office Automation)
K.1 (The Computer Industry)
F.4.1 (Mathematical Logic)
KeywordsSSDL; WSDL; pi-calculus

In the business world workflows are a long established and well-known concept to organize and integrate business functions and tasks. The main improvement compared to static application integration is the fast and flexible orchestration of exiting services into new business processes. With scientific processes becoming ever more complex and distributed over large organizations of scientists a lot of challenges which have also been observed in the business world and were addressed by workflow management systems. However there are also differences when modeling scientific processes as workflows. One of them being that processes need to be formally verified to prove the correctness of the outcome. As will be shown in this article this can be addressed by describing scientific services using the Soap Service Description Language (SSDL) makes use of protocol descriptions and therefore enables formal verification of process interaction.

Volltext und
andere Links
PDF (152832 Bytes)
Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich
CopyrightChristoph Fehling
KontaktChristoph Fehling:
Abteilung(en)Universität Stuttgart, Institut für Architektur von Anwendungssystemen
Betreuervan Lessen, Tammo
Eingabedatum17. Dezember 2008
   Publ. Institut   Publ. Informatik