diplomarbeit: konzeption und realisierung von dienstkomposition für diane service descriptions...
TRANSCRIPT
![Page 1: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/1.jpg)
Diplomarbeit:
Konzeption und Realisierung von Dienstkomposition für DIANE Service
Descriptions
Mirco Stern
Betreuender Mitarbeiter: Michael KleinBetreuer: Prof. Dr. Böhm
![Page 2: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/2.jpg)
02.12.2005 Mirco Stern 2
Hintergrund: Dienstvermittlung
• Übergeordnetes Problem:"Dienstvermittlung“: Zusammenbringen von Dienstnehmer & Dienstgeber
• Beispiel:
– Dienstnehmer: „Suche irgendeine Info I- Klausur von Prof. Dr. Abeck der letzten 5 Jahre...“
– Dienstgeber: KlausurVerzeichnis.hole(Fach f, Professor p, Datum d)
![Page 3: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/3.jpg)
02.12.2005 Mirco Stern 3
Schematischer Ablauf einer Dienstvermittlung
1. Dienstgeber beschreibt angebotenen Dienst
2. Dienstgeber veröffentlicht Dienst (Dienstverzeichnis)
3. Dienstnehmer beschreibt gesuchten Dienst
4. Dienstnehmer sucht nach passendem Angebot (Dienstverzeichnis; Vergleich: Anfrage- Angebote)
5. Dienstnehmer erfährt von passendem Dienstgeber
6. Dienstnehmer ruft passenden Dienstgeber auf
Dienstverzeichnis
DG DN
![Page 4: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/4.jpg)
02.12.2005 Mirco Stern 4
Dienstvermittlung in DIANE
• Ziel von DIANE Service Descriptions:
Vollständige Automatisierung der Dienstnutzung
• Finden eines Dienstgebers (Vergleich Anfrage- Angebot)• Korrekter Aufruf (Belegung der Schnittstelle)
Semantische Beschreibung von Diensten:„DSD- DIANE Service Descriptions“
![Page 5: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/5.jpg)
02.12.2005 Mirco Stern 5
Schwerpunkt der DA:„Dienstkomposition“
• „Suche irgendeine Info I- Klausur von Prof. Dr. Abeck der letzten 5 Jahre...“
• Dienst: KlausurVerzeichnis.hole(Fach f, Professor p, Datum d)
![Page 6: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/6.jpg)
02.12.2005 Mirco Stern 6
Schwerpunkt der DA:„Dienstkomposition“
• „Suche irgendeine Info I- Klausur von Prof. Dr. Abeck der letzten 5 Jahre und die dazugehörige Musterlösung“
Beschreibung?
• Möglichkeit 1- Dienst: KlausurVerzeichnis.holeKlausurMitMusterLösung(Fach f, Professor p, Datum d)
• Möglichkeit 2 – Dienstkomposition: KlausurVerzeichnis.hole(Fach f, Professor p, Datum d) + MusterLösungsVerzeichnis. hole(Fach f, Professor p, Datum d)
Bei gleicher Belegung der Parameter!!!
![Page 7: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/7.jpg)
02.12.2005 Mirco Stern 7
Schwerpunkt der DA:„Dienstkomposition“
• „Suche irgendeine Info I- Klausur von Prof. Dr. Abeck der letzten 5 Jahre...“
• Dienst: KlausurVerzeichnis.holeInfoI(Datum d) ???
• Dienstkomposition:„Wann hat Prof. Dr. Abeck Info I gelesen?“ date!
+KlausurVerzeichnis.hole(date)
![Page 8: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/8.jpg)
02.12.2005 Mirco Stern 8
Ziele der DA:„Dienstkomposition“
• Allgemein (Definition):– Situation: Anfrage kann nicht durch einzelnen verfügbaren Dienst
erfüllt werden Zusammensetzen verfügbarer Dienste
• Problem: Definition deckt verschiedene Arten von Dienstkomposition ab
• Ziele der DA:– Herausarbeiten dieser verschiedenen Fälle– Erweiterung der DIANE Dienstbeschreibung– Realisierung des dazugehörigen Vergleichs
![Page 9: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/9.jpg)
02.12.2005 Mirco Stern 9
Inhalt• Ziele der Diplomarbeit (Thema)
• Hintergrund: Dimensionen von „Dienstkomposition“
• Überblick über die zugrunde liegende Technologie: DIANE Service Descriptions (DSD)
• Konzeption: Erweiterung der DIANE Dienstbeschreibung
• Realisierung des dazugehörigen Vergleichs
• Zusammenfassung
![Page 10: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/10.jpg)
02.12.2005 Mirco Stern 10
Inhalt• Ziele der Diplomarbeit (Thema)
• Hintergrund: Dimensionen von „Dienstkomposition“1. Erfüllen von Vorbedingungen2. Erbringen mehrerer Effekte3. Umgang mit fehlendem Wissen
• Überblick über die zugrunde liegende Technologie: DIANE Service Descriptions (DSD)
• Konzeption: Erweiterung der DIANE Dienstbeschreibung
• Realisierung des dazugehörigen Vergleichs
• Zusammenfassung
![Page 11: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/11.jpg)
02.12.2005 Mirco Stern 11
Dimension I:Erfüllen von Vorbedingungen
• Situation: Dienst existiert, der Effekt anbietet- Vorbedingungen nicht erfüllt
Beispiel: – Anfrage: Übersetzung Chinesisch – Deutsch– Angebot: Englisch - Deutsch
• Effekt: Deutsche Version von Text t• Vorbedingung: Englische Version von Text t
• Dienstkomposition als „Chaining“ von Diensten: Rekursives Betrachten einer Vorbedingungen eines Dienstes als Effekt eines zu Suchenden
![Page 12: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/12.jpg)
02.12.2005 Mirco Stern 12
Dimension I:Erfüllen von Vorbedingungen
• Existieren einige Ansätze:[2, 3, 4, 5, 6, 7, 8, A classification of Issues...]
Im Rahmen dieser DA nicht betrachtet!
![Page 13: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/13.jpg)
02.12.2005 Mirco Stern 13
Dimension II:Erbringen mehrerer Effekte
• Merkmal: Komposition inhärent in der Anfrage enthalten
• Beispiel: Suche eine alte Info I- Klausur und zugehörige Lösung
• Andere Betrachtung: „Zerlegung“ in Komponenten, für die Dienste verfügbar sind
• Einige Ansätze verfügbar:[1, 9, 10, 11, 12, 13, A classification of Issues...]
• Probleme: – Basieren auf semantisch schwachen Dienstbeschreibungen– „Feste“ Zerlegungen (nicht an verfügbaren Diensten ausgerichtet)
![Page 14: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/14.jpg)
02.12.2005 Mirco Stern 14
Dimension II:Erbringen mehrerer Effekte
• Besondere Unterklasse: Quantifizierte Anfragen
• Beispiel: Suche alle Klausuren zu Info I der Jahre 2000 bis 2005
• Abgrenzung: Nicht: „Alle Dienste“, die Effekt erbringen
• Unterschied:– Semantisch: Duplikate– Prozedural: Lokalisierung vs. Komposition
• Fall wurde in der Literatur bisher nicht betrachtet
![Page 15: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/15.jpg)
02.12.2005 Mirco Stern 15
Dimension III:Umgang mit fehlendem Wissen
• Situation: Wissen für die Auswahl eines Dienstes fehlt• Beispiel: Suche Info I-Klausur von Prof. Dr. Abeck -
Gefundener Dienst: Biete Info I- Klausur vom 29. Februar 2000
• Unrealistische Annahme: Vergleicher hat vollständiges Wissen
Erkennen, dass Wissen fehlt & Beschaffen
• Einige Ansätze existieren [5, 8, 10, 11, 14]
• „Erkennen“ abhängig von der zugrunde liegenden Dienstbeschreibung
![Page 16: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/16.jpg)
02.12.2005 Mirco Stern 16
Dimension von „Dienstkomposition“
• Fokus dieser DA:
Erbringen mehrerer Effekte (Erbringung der Effekte einer Anfrage durch eine Menge verfügbarer Dienste)
Umgang mit fehlendem Wissen
![Page 17: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/17.jpg)
02.12.2005 Mirco Stern 17
Inhalt• Ziele der Diplomarbeit (Thema)
• Hintergrund: Dimensionen von „Dienstkomposition“
• Überblick über die zugrunde liegende Technologie: DIANE Service Descriptions (DSD)
• Konzeption: Erweiterung der DIANE Dienstbeschreibung
• Realisierung des dazugehörigen Vergleichs
• Zusammenfassung
![Page 18: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/18.jpg)
02.12.2005 Mirco Stern 18
Beispielontologie
Exam
covers
OralExam WrittenExam
DateTimedate
Durationduration
domain.universityCourse
domain.universityProfessor
examiner
domain.universityStudent
Grade grade
examinee
ONTOLOGY: domain.university.exam
![Page 19: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/19.jpg)
02.12.2005 Mirco Stern 19
Instanzen
Exam
covers
OralExam WrittenExam
DateTimedate
Durationduration
domain.universityCourse
domain.universityProfessor
examiner
domain.universityStudent
Gradegrade
examinee
info I- Exam:WrittenExam
coversdate
prof. Dr. Abeck:Professor duration
examiner
info I: Course
<2000-02-29T14:00>
<PT1H>
Entsprechende Instanz:
![Page 20: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/20.jpg)
02.12.2005 Mirco Stern 20
DSD-Anfrage
Dienstnehmer suchteine Funktionalität,keinen bestimmten Dienst!
Menge
Direkte Bedingung Attribut-
Bedingung
:Service
:ServiceProfile
presents
effect
entity
File
contains
format
coversexaminer
date
WrittenExamCourse
== info I
Professor
== prof. Dr. Abeck
DateTime
<= <2005-12-31T23:59>>= <2000-01-01T00:00>
Accessible
Format
in { pdf [1.0], ps [0.5] }
![Page 21: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/21.jpg)
02.12.2005 Mirco Stern 21
DSD-Angebot
Aufgaben des Vergleichers: 1) Vergleichsergebnis 2) Belegen der Variablen
Variable
:Service
:ServiceProfile
presents
effect
entity
File
contains
format
covers
date
WrittenExamCourse
== info I
Format
DateTime
>= <2000-02-29T14:00>
IN
Accessible
![Page 22: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/22.jpg)
02.12.2005 Mirco Stern 22
Vergleich Anfrage- Angebot
• Ergebnis є [0, 1]
• Vergleich rekursiv entlang der Anfrage:
„Sind die Elemente des Angebots in der Anfragemenge enthalten?“
1) Typ2) Direkte Bedingungen3) Attribute
Format
in { pdf [1.0], ps [0.5] }
formatFormat
(Anfrage:)
(Angebot:)
entity
contains
File
...
...
entity
contains
File
...
...
format
![Page 23: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/23.jpg)
02.12.2005 Mirco Stern 23
Inhalt• Ziele der Diplomarbeit (Thema)
• Hintergrund: Dimensionen von „Dienstkomposition“
• Überblick über die zugrunde liegende Technologie: DIANE Service Descriptions (DSD)
• Konzeption: Erweiterung der DIANE Dienstbeschreibung
• Realisierung des dazugehörigen Vergleichs
• Zusammenfassung
![Page 24: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/24.jpg)
02.12.2005 Mirco Stern 24
Verbinden mehrerer Effekte
entity
contains
:Service
:ServiceProfile
presents
effect effect
Fileformat
entity
ExamSolution
contains
solutionTo
formatFile
Format
in { pdf [1.0], ps [0.5] }
Accessible Accessible
coversexaminer
date
Course
== info I
Professor
== prof. Dr. Abeck
DateTime
<= <2005-12-31T23:59>>= <2000-01-01T00:00>
WrittenExam
coversexaminer
date
Course
== info I
Professor
== prof. Dr. Abeck
DateTime
<= <2005-12-31T23:59>>= <2000-01-01T00:00>
WrittenExam
Format
in { pdf [1.0], ps [0.5] }
![Page 25: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/25.jpg)
02.12.2005 Mirco Stern 25
Verbinden mehrerer Effekte
entity
contains
:Service
:ServiceProfile
presents
effect effect
Fileformat
entity
ExamSolution
contains
solutionTo
formatFile
Format
in { pdf [1.0], ps [0.5] }
Accessible Accessible
coversexaminer
date
Course
== info I
Professor
== prof. Dr. Abeck
DateTime
<= <2005-12-31T23:59>>= <2000-01-01T00:00>
WrittenExam
Format
in { pdf [1.0], ps [0.5] }
![Page 26: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/26.jpg)
02.12.2005 Mirco Stern 26
Verbinden mehrerer Effekte
• Lösung: Trennung der Forderung „gleiche Belegung“ von der Berechnung des Vergleichswerts
„Wertübergabe“-Semantik
![Page 27: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/27.jpg)
02.12.2005 Mirco Stern 27
Verbinden mehrerer Effekte
entity
contains
:Service
:ServiceProfile
presents
effect effect
Fileformat
entity
ExamSolution
contains
WrittenExam
== x
solutionTo
formatFile
Format
in { pdf [1.0], ps [0.5] }
coversexaminer
date
Course
== info I
Professor
== prof. Dr. Abeck
DateTime
<= <2005-12-31T23:59>>= <2000-01-01T00:00>
WrittenExam
defined as: x
Accessible Accessible
Format
in { pdf [1.0], ps [0.5] }
![Page 28: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/28.jpg)
02.12.2005 Mirco Stern 28
Verbinden mehrerer Effekte
• „Wertübergabe“-Semantik
• Hintergrund: Trennung der Forderung „gleiche Belegung“ von der Berechnung des Vergleichswerts
• Reihenfolge der Belegung durch den Benutzer vorgegeben (Präferenzen)
• Vorteile (u.a.):– Lokalität bei der Berechnung des Vergleichsergebnisses– Dienstnehmer kann Präferenzen festlegen
![Page 29: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/29.jpg)
02.12.2005 Mirco Stern 29
Quantifizierte Anfragen
• Quantifizierte Anfragen sind notwendig für Wissensdienste(Schwerpunkt 2 der DA: Umgang mit fehlendem Wissen- Nutzung von Wissensdiensten)
Konzept für Quantifizierung erarbeitet (DSD Erweiterungen und Semantik).
![Page 30: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/30.jpg)
02.12.2005 Mirco Stern 30
Inhalt• Ziele der Diplomarbeit (Thema)
• Hintergrund: Dimensionen von „Dienstkomposition“
• Überblick über die zugrunde liegende Technologie: DIANE Service Descriptions (DSD)
• Konzeption: Erweiterung der DIANE Dienstbeschreibung
• Realisierung des dazugehörigen Vergleichs
• Zusammenfassung
![Page 31: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/31.jpg)
02.12.2005 Mirco Stern 31
Architektur des Vergleichers
Anfrage Endlichkeits-Tester
Vor-Vergleicher
TopologischeSortierungder Effekte
Angebots-Verzeichnis
Kern-Vergleicher
(III)
Instanzen-Manager
Iterations-Manager
[Kern-Vergleicher
(II)]
Ausgabe-Binder
MultiEffekt-Manager
Kern-Vergleicher
(I)Ausgabe
![Page 32: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/32.jpg)
02.12.2005 Mirco Stern 32
Architektur des Vergleichers
Anfrage Endlichkeits-Tester
Vor-Vergleicher
TopologischeSortierungder Effekte
Angebots-Verzeichnis
Kern-Vergleicher
(III)
Instanzen-Manager
Iterations-Manager
[Kern-Vergleicher
(II)]
Ausgabe-Binder
MultiEffekt-Manager
Kern-Vergleicher
(I)Ausgabe
• Quantifizierte Anfragen können unendlich viele Effekte enthalten
• „Billiger“ Test
• Fehler sonst spät gemerkt!
![Page 33: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/33.jpg)
02.12.2005 Mirco Stern 33
Architektur des Vergleichers
Anfrage Endlichkeits-Tester
Vor-Vergleicher
TopologischeSortierungder Effekte
Angebots-Verzeichnis
Kern-Vergleicher
(III)
Instanzen-Manager
Iterations-Manager
[Kern-Vergleicher
(II)]
Ausgabe-Binder
MultiEffekt-Manager
Kern-Vergleicher
(I)Ausgabe
• Wertübergabe-Semantik (Binden von Variablen)
Reihenfolge der Effekte
• Meta-Information (Steuerung des Vergleichs)
![Page 34: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/34.jpg)
02.12.2005 Mirco Stern 34
Architektur des Vergleichers
Anfrage Endlichkeits-Tester
Vor-Vergleicher
TopologischeSortierungder Effekte
Angebots-Verzeichnis
Kern-Vergleicher
(III)
Instanzen-Manager
Iterations-Manager
[Kern-Vergleicher
(II)]
Ausgabe-Binder
MultiEffekt-Manager
Kern-Vergleicher
(I)Ausgabe
• Möglichst viele unpassende Angebote aussortieren.
• Keine Passenden verwerfen!
• Idee: Typ-Prüfung
• Dazu: Berechnung einer Überdeckung der Effekte
![Page 35: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/35.jpg)
02.12.2005 Mirco Stern 35
Architektur des Vergleichers
Anfrage Endlichkeits-Tester
Vor-Vergleicher
TopologischeSortierungder Effekte
Angebots-Verzeichnis
Kern-Vergleicher
(III)
Instanzen-Manager
Iterations-Manager
[Kern-Vergleicher
(II)]
Ausgabe-Binder
MultiEffekt-Manager
Kern-Vergleicher
(I)Ausgabe
![Page 36: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/36.jpg)
02.12.2005 Mirco Stern 36
Kern- Vergleich I
• „Plug- In“- Idee als Grundlage der Komposition (sowohl mehrere Effekte als auch Quantoren): Ist Angebot Teil der Anfrage?
• Problem bei verbundenen Effekten: Verlust der Lokalität des Vergleichs! (Möglichkeit der Belegung)
![Page 37: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/37.jpg)
02.12.2005 Mirco Stern 37
Verbinden mehrerer Effekte
entity
contains
:Service
:ServiceProfile
presents
effect effect
Fileformat
entity
ExamSolution
contains
WrittenExam
== x
solutionTo
formatFile
Format
in { pdf [1.0], ps [0.5] }
coversexaminer
date
Course
== info I
Professor
== prof. Dr. Abeck
DateTime
<= <2005-12-31T23:59>>= <2000-01-01T00:00>
WrittenExam
defined as: x
Accessible Accessible
Format
in { pdf [1.0], ps [0.5] }
Anfrage:
![Page 38: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/38.jpg)
02.12.2005 Mirco Stern 38
Kern- Vergleich I
entity
contains
:Service
:ServiceProfile
presents
effect effect
Fileformat
entity
ExamSolution
contains
solutionTo
formatFile
Accessible Accessible
covers
date
Course
== info IWrittenExam
covers
date
WrittenExam
Format
DateTime
>= <2000-02-29T14:00>
IN
Format
DateTime
>= <2005-01-01T00:00>
Course
in { info I, info II, info III,info IV }
IN
Angebot:
![Page 39: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/39.jpg)
02.12.2005 Mirco Stern 39
Kern- Vergleich I
• „Plug- In“- Idee als Grundlage der Komposition (sowohl mehrere Effekte als auch Quantoren): Ist Angebot Teil der Anfrage?
• Problem bei verbundenen Effekten: Verlust der Lokalität des Vergleichs! (Möglichkeit der Belegung)
Wiederherstellung durch Ignorieren von Verbindungen: Zunächst Vergleich je eines Anfrage- Effekts mit einem Angebots- Effekt (keine Belegung von Variablen)
Nutzung des rekursiven Vergleichsvorgehens möglich
• Sehr selektiver Vergleich!
![Page 40: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/40.jpg)
02.12.2005 Mirco Stern 40
Erweiterungen des Kern- Vergleichers
(Betreffen Nutzung von Wissensdiensten für den Vergleich)
1) Generierung und Ausführung von Wissensanfragen falls Instanzen für den Vergleich „hilfreich“ sind (Dienstkomposition)- Ausgeführt durch Instanzen-Manager
• „Hilfreich“: Ohne weitere Informationen müsste Angebot als unpassend verworfen werden Wdh. Beispiel:
• Anfrage: Alte Info I-Klausuren von Prof. Dr. Abeck • Angebot: Alte Info I-Klausuren; Eingabe: Datum
2) Vergleich der Anfrage nach Instanzen (Sonderfall)
![Page 41: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/41.jpg)
02.12.2005 Mirco Stern 41
Architektur des Vergleichers
Anfrage Endlichkeits-Tester
Vor-Vergleicher
TopologischeSortierungder Effekte
Angebots-Verzeichnis
Kern-Vergleicher
(III)
Instanzen-Manager
Iterations-Manager
[Kern-Vergleicher
(II)]
Ausgabe-Binder
MultiEffekt-Manager
Kern-Vergleicher
(I)Ausgabe
![Page 42: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/42.jpg)
02.12.2005 Mirco Stern 42
Architektur des Vergleichers
Anfrage Endlichkeits-Tester
Vor-Vergleicher
TopologischeSortierungder Effekte
Angebots-Verzeichnis
Kern-Vergleicher
(III)
Instanzen-Manager
Iterations-Manager
[Kern-Vergleicher
(II)]
Ausgabe-Binder
MultiEffekt-Manager
Kern-Vergleicher
(I)Ausgabe
![Page 43: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/43.jpg)
02.12.2005 Mirco Stern 43
MultiEffekt-Manager
Aufgabe: Bearbeitung der Einschränkungen, die durch gemeinsame Mengen in
der Anfrage entstehen
1. Einelementige Mengen?2. Kombination3. Schnitt-Berechnung
![Page 44: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/44.jpg)
02.12.2005 Mirco Stern 44
MultiEffekt-Manager
1. Einelementige Mengen?• Verbindung auch im Angebot oder• Entsprechende Menge einelementig
Anfrage: Angebot 1: Angebot 2:
BA
CC
A
C
B
![Page 45: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/45.jpg)
02.12.2005 Mirco Stern 45
MultiEffekt-Manager
2. Kombination• Berechnung der möglichen Überdeckungen der Anfrageeffekte
Anfrage:
BA
C
Angebote:
C
A
C
B
C C
BA
![Page 46: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/46.jpg)
02.12.2005 Mirco Stern 46
MultiEffekt-Manager
3. Schnitt-Berechnung
Anfrage: Angebot:
BA
C
C C
BA
![Page 47: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/47.jpg)
02.12.2005 Mirco Stern 47
Architektur des Vergleichers
Anfrage Endlichkeits-Tester
Vor-Vergleicher
TopologischeSortierungder Effekte
Angebots-Verzeichnis
Kern-Vergleicher
(III)
Instanzen-Manager
Iterations-Manager
[Kern-Vergleicher
(II)]
Ausgabe-Binder
MultiEffekt-Manager
Kern-Vergleicher
(I)Ausgabe
![Page 48: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/48.jpg)
02.12.2005 Mirco Stern 48
Architektur des Vergleichers
Anfrage Endlichkeits-Tester
Vor-Vergleicher
TopologischeSortierungder Effekte
Angebots-Verzeichnis
Kern-Vergleicher
(III)
Instanzen-Manager
Iterations-Manager
[Kern-Vergleicher
(II)]
Ausgabe-Binder
MultiEffekt-Manager
Kern-Vergleicher
(I)Ausgabe
• Optimale Belegung der Variablen in Reihenfolge der Effekte
• Nicht implementiert: Quantifizierung/ Kombination von Diensten zur vollständigen Überdeckung der Anfrageeffekte
![Page 49: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/49.jpg)
02.12.2005 Mirco Stern 49
Architektur des Vergleichers
Anfrage Endlichkeits-Tester
Vor-Vergleicher
TopologischeSortierungder Effekte
Angebots-Verzeichnis
Kern-Vergleicher
(III)
Instanzen-Manager
Iterations-Manager
[Kern-Vergleicher
(II)]
Ausgabe-Binder
MultiEffekt-Manager
Kern-Vergleicher
(I)Ausgabe
• Berechung des Vergleichswerts unter Beachtung der gewählten Belegungen
• Wieder isoliert möglich
![Page 50: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/50.jpg)
02.12.2005 Mirco Stern 50
Architektur des Vergleichers
Anfrage Endlichkeits-Tester
Vor-Vergleicher
TopologischeSortierungder Effekte
Angebots-Verzeichnis
Kern-Vergleicher
(III)
Instanzen-Manager
Iterations-Manager
[Kern-Vergleicher
(II)]
Ausgabe-Binder
MultiEffekt-Manager
Kern-Vergleicher
(I)Ausgabe
• Wenn passendes Angebot gefunden: Ausgabe- Variablen binden.
• Im Wesentlichen wie bisher!
![Page 51: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/51.jpg)
02.12.2005 Mirco Stern 51
Evaluation
• Relevanz von Dienstkomposition(Am Beispiel Wissensanfragen:)– Diplomarbeit von Thomas Fischer (35 Anfragen bei Buchhandel)– 1 unpassend– 3 ohne Instanzen– 22 mit Instanzen auf Book– 34 mit Instanzen auf CopyOfBook
• Vergleich mit anderen Ansätzen(Am Beispiel mehrerer Effekte:)– Grundlage: Semantische Dienstbeschreibung– Algorithmische Komposition
• Vorläufige Laufzeitmessung– Pentium 3, 700MHz, 512MB– 1.6144 s, 0.025s
![Page 52: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/52.jpg)
02.12.2005 Mirco Stern 52
Evaluation
entity
validFor
:Service
:ServiceProfile
presents
effect effect
entity
startTimedate
Owned
CinemaTicket
SeatInShow
Seat
seat
Movie
visible
Date
== <2005-12-02>
Time
~>= <20:00>~<= <22:00>
OUT
Row
within
within
Hall
within
Cinema
address
Address
city
City
name
String
== "Karlsruhe"
Genre
== drama
String
defined as x
genre title
instanceOf
title
Owned
CopyOfBook
Book
String
== x
![Page 53: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/53.jpg)
02.12.2005 Mirco Stern 53
Inhalt• Ziele der Diplomarbeit (Thema)
• Hintergrund: Dimensionen von „Dienstkomposition“
• Überblick über die zugrunde liegende Technologie: DIANE Service Descriptions (DSD)
• Konzeption: Erweiterung der DIANE Dienstbeschreibung
• Realisierung des dazugehörigen Vergleichs
• Zusammenfassung
![Page 54: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/54.jpg)
02.12.2005 Mirco Stern 54
Zusammenfassung
• Dienstkomposition- Betrachtung von– Anfragen mit mehreren Effekten– Nutzung von Wissensdiensten
• Erweiterung der Dienstbeschreibung– Elemente zum Verbinden von Effekten– Quantifizierung von Anfragen– Sonderfall zur Beschaffung von Instanzen
• Realisierung des Vergleichs mit Komposition– „Plug-In“- Semantik des Kern-Vergleichs (Grundlage der Komposition)– Wiederherstellung der Lokalität durch Isolierung der Betrachtung gemeinsamer
Mengen vom Rest des Vergleichs– Beschaffung von Instanzen
![Page 55: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/55.jpg)
02.12.2005 Mirco Stern 55
Literatur
1. Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Proc. of 1st Int. Conf. on Service Oriented Computing (ICSOC-03), Trento, Italy. (2003)
2. Zhang, R., Arpinar, I.B., Aleman-Meza, B.: Automatic composition of semantic web services. In: Proc. of the 2003 Int. Conf. on Web Services (ICWS'03), Las Vegas, NV, USA. (2003)
3. Mao, Z.M., Brewer, E.A., Katz, R.H.: Fault-tolerant, scalable, wide-area internet service composition. Technical Report UCB//CSD-01-1129, University of California, Berkeley, USA (2001)
4. Ponnekanti, S.R., Fox, A.: SWORD: A developer toolkit for web service composition. In: Proc. of the 11th Int. WWW Conf. (WWW2002), Honolulu, HI, USA. (2002)
5. Martinez, E., Lesperance, Y.: Web service composition as a planning task: Experiments using knowledge-based planning. In: Proc. of the 14th Int. Conf. on Automated Planning and Scheduling (ICAPS 2004), Whistler, BC, Canada. (2004)
6. Sirin, E., Hendler, J.A., Parsia, B.: Semi-automatic composition of web services using semantic descriptions. In: Proc. of the 1st Workshop on Web Services: Modeling, Architecture and Infrastructure (WSMAI'03), In conjunction with ICEIS'03, Angers, France. (2003)
7. Sheshagiri, M.: Automatic composition and invocation of semantic web services. Master's thesis, University of Maryland, Baltimore County, USA (2004)
8. McDermott, D.V.: Estimated-regression planning for interactions with web services. In: Proc. of the 6th Int. Conf. on Artificial Intelligence Planning Systems (AIPS'02), Toulouse, France. (2002)
![Page 56: Diplomarbeit: Konzeption und Realisierung von Dienstkomposition für DIANE Service Descriptions Mirco Stern Betreuender Mitarbeiter: Michael Klein Betreuer:](https://reader035.vdocuments.pub/reader035/viewer/2022081517/570491c51a28ab14218da648/html5/thumbnails/56.jpg)
02.12.2005 Mirco Stern 56
Literatur
9. Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: Proc. of the 12th Int. Conf. on World Wide Web (WWW'03), Budapest, Hungary. (2003)
10. Wu, D., Parsia, B., Sirin, E., Hendler, J.A., Nau, D.S.: Automating DAML-S web services composition using SHOP2. In: Proc.of the 2nd Int. Semantic Web Conf.(ISWC2003), Sanibel Island, FL, USA. (2003)
11. McIlraith, S.A., Son, T.C.: Adapting golog for composition of semantic web services. In: Proc. of the 8th Int. Conf. on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France. (2002)
12. Thakkar, S., Knoblock, C.A., Ambite, J.L.: A view integration approach to dynamic composition of web services. In: Proc. of the 13th Int. Conf. on Automated Planning and Scheduling (ICAPS'03), Trento, Italy. (2003)
13. Medjahed, B., Bouguettaya, A., Elmagarmid, A.K.: Composing web services on the semantic web. The VLDB Journal The International Journal on Very Large Data Bases 12 (2003) 333-351
14. Kuter, U., Sirin, E., Nau, D.S., Parsia, B., Hendler, J.A.: Information gathering during planning for web service composition. In: Proc. of the 3rd Int. Semantic Web Conf. (ISWC2004), Hiroshima, Japan. (2004)