| Bibliography | Kopp, Oliver; Frenkler, Carsten; Lohmann, Niels: Korrektheit und Zuverlässigkeit zusammengesetzter Web Services am Beispiel der Geschäftsprozess-Modellierungssprache BPEL.
In: DLR e.V. (ed.): Forschungsoffensive "Software Engineering 2006" Statuskonferenz 26.-28. Juni 2006.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 1-11, german.
n/a, July 2006.
Article in Proceedings (Workshop Paper).
|
|---|
| Corporation | Forschungsoffensive "Software Engineering 2006" |
|---|
| CR-Schema | D.2.2 (Software Engineering Design Tools and Techniques)
D.2.4 (Software Engineering Software/Program Verification)
F.2.2 (Nonnumerical Algorithms and Problems)
F.3.1 (Specifying and Verifying and Reasoning about Programs)
F.3.2 (Semantics of Programming Languages)
K.1 (The Computer Industry)
|
|---|
| Keywords | Tools4BPEL; BPEL; EPK; oWFN; BPEL2OWFN |
|---|
| Abstract | Unternehmensübergreifende Geschäftsprozesse werden zunehmend nach dem Paradigma der Services organisiert. Dabei stellen sich Fragen nach der Komponierbarkeit, Bedienbarkeit, Austauschbarkeit sowie der Rücksetzbarkeit (Kompensation) im Fehlerfall. In diesem Vorhaben werden Methoden und Werkzeuge zum Umgang mit solchen Fragen entwickelt, am Beispiel der Geschäftsprozess-Modellierungssprache BPEL erprobt und in ein Entwurfswerkzeug der Firma Gedilan Technologies integriert.
|
|---|
Full text and
other links | PDF (91576 Bytes)
Tools4BPEL Projektseite
Webseite der Forschungsoffensive "Software Engineering 2006"
|
|---|
| Contact | oliver.kopp@iaas.uni-stuttgart.de |
|---|
| Department(s) | University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems
|
|---|
| Project(s) | Tools4BPEL
|
|---|
| Entry date | March 2, 2007 |
|---|