Diplomarbeit DIP-2741

Bibliograph.
Daten
Monakova, Ganna: Ontology Based Partner Service Discovery Using a First-Order Logic Representation for BPEL Process Models.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 2741 (2008).
121 Seiten, englisch.
CR-Klassif.D.2.4 (Software Engineering Software/Program Verification)
D.2.12 (Software Engineering Interoperability)
D.2.13 (Software Engineering Reusable Software)
F.3.1 (Specifying and Verifying and Reasoning about Programs)
H.4.1 (Office Automation)
I.2.4 (Knowledge Representation Formalisms and Methods)
H.2.1 (Database Management Logical Design)
KeywordsBPEL; dataflow analysis; web service composition; SMT; semantic web services
Kurzfassung

This work introduces an approach for an automatic partner service discovery with respect to the exchange data values. For this purpose a BPEL process model is analyzed and its semantic is simulated with logical assertions. Thereby the problem of behavioral compatibility is reduced to an SMT problem. The diploma thesis considers the following questions: What kind of information is important for the communication between two web services? How can this information be derived from an arbitrary process (in this case a business process modeled in BPEL), and how its communication protocol can be determined? How can it be represented in the repository? How can a business process use such information to find a communication compatible partner?

Volltext und
andere Links
PDF (1898071 Bytes)
Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich
Kontaktganna.monakova(at)iaas.uni-stuttgart.de
Abteilung(en)Universität Stuttgart, Institut für Architektur von Anwendungssystemen, Architektur von Anwendungssystemen
Eingabedatum16. April 2008
   Publ. Institut   Publ. Informatik