Studienarbeit: "Generierung von Korrektheitstests für den Vergleicher von DIANE Service...

Studienarbeit:

"Generierung von Korrektheitstests für den Vergleicher

von DIANE Service Descriptions"

Mirco Stern

Betreuender Mitarbeiter: Michael Klein

Betreuer: Prof. Dr. Dr. h.c. Lockemann

http://www.ipd.uka.de/DIANE/de/inhalte/home.html

26.11.2004 Mirco Stern 2

Rahmen der SA: DSD

• Übergeordnetes Problem:Zusammenbringen von Dienstnehmer & Dienstgeber

• Ziel von DIANE Service Descriptions:

Vollständige Automatisierung der Dienstnutzung

• Finden eines Dienstgebers (Vergleich Nachfrage- Angebot)• Korrekter Aufruf (Belegung der Schnittstelle)

Semantische Beschreibung von Diensten:„DSD- DIANE Service Descriptions“

Dienstverzeichnis

DG DN



Ziele der SA

• Generierung von Dienstbeschreibungen• 1 Nachfrage (Request)

• N Angebote (Offers)

• Zur Prüfung des MatchersDazu: 1) Berechnung des Vergleichsergebnisses

2) Korrekter Aufruf der Schnittstellen

• Zur Prüfung des Konzepts des Matchers• Wie häufig ist die gewählte Schnittstellenbelegung ausführbar?

• Wie optimal ist das gewählte Angebot (pessimistischer Matcher)?



Inhalt

• Ziele der Studienarbeit (Thema)

• Überblick über die zugrundeliegende Technologie: DIANE Service Descriptions (DSD)

• Aufbau des Generators für Dienstbeschreibungen

• Probleme/ Schwierigkeiten bei der Umsetzung

• Zusammenfassung



Beispielontologie

Drug

price

ONTOLOGY: domain.drug

VegetableDrug

ChemicalDrug

interactionString

name domain.company

Company

domain.indication

Indication

Booleanprescription drug

manufacturer

reason of use

domain.money

Price

domain.substance

Active AgentGroup

active agent group


6

Beispielontologien

Company

ONTOLOGY: domain.company

Stringname

domain.location

Location

domain.sector

Sector

place of business

industrial sector

Drug

price


VegetableDrug

ChemicalDrug

interactionString

name domain.company

Company

domain.indication

Indication

Booleanprescription drug

manufacturer

reason of use

domain.money

Price

domain.substance

Active AgentGroup

active agent group

ass 500: Chemical Drugprice

name ratiopharm :Company

prescription drug

manufacturer

reason of useactive agent group

"ASS-ratiopharm 500"

<false>

interaction

...

...

...

...

ratiopharm :Company

name

place of business

industrial sector

"rationpharm GmbH"

...

...


7

DSD- Request

Dienstnehmer suchteine Funktionalität,keinen bestimmten Dienst!

Owned

:Service

:ServiceProfile

presents

effect

presciptiondrug

interactionmanufacturer

price

reason of use

Company

== germany

Country

Boolean

== false

Indication

== headache

place ofbusiness

Vegetable Drug super[1, 0.7]

PriceOUT

entity

Drug

!= imodium

Menge


8

DSD- Request

Owned

:Service

:ServiceProfile

presents

effect

presciptiondrug


price

reason of use

Company

== germany

Country

Boolean

== false

Indication

== headache

place ofbusiness


PriceOUT

entity

Drug

!= imodium

Direkte Bedingung

Variable

Type Check Strategy

Menge

9

DSD- Request

Owned

:Service

:ServiceProfile

presents

effect

presciptiondrug


price

reason of use

Company

== germany

Country

Boolean

== false

Indication

== headache

place ofbusiness


PriceOUT

entity

Drug

!= imodium

Drug


VegetableDrug

ChemicalDrug

26.11.2004 10

DSD- Offer

:Owned

:Service

:ServiceProfile

presents

effect

presciptiondrug

interaction

manufacturer

price

reason of use<false>

Drug

active agentgroup

currencyamount

StringOUT name

PriceOUT

Double

> 2.35< 8.00

Currency

== eur

Active Agent Group

== anticoagulants

entity

Chemical Drug

Company

== ratiopharm

Indication

in {headache,thrombosis}

IN

Aufgaben des Vergleichers:

1) Vergleichsergebnis 2) Belegen der Variablen



Vergleich Nachfrage- Angebot

• Ergebnis є [0, 1]

• Vergleich rekursiv entlang der Nachfrage:

„Ist das Angebot ein Element der Nachfragemenge“

1) Typ

2) Direkte Bedingungen

3) Attribute

interaction

manufacturer

Drug

active agentgroup

Active Agent Group

== anticoagulants

...

...

...

...

interaction

manufacturer

place ofbusiness

...

...

...

...

Company

== germany

Country


(Request:)

(Offer:)

Drug

!= imodium

Company

== ratiopharm

Chemical Drug



Inhalt





• Zusammenfassung



Allgemeines Vorgehen:

1) Erzeugung einer Nachfrage (Request) - zufällig2) Erzeugung eines Angebots (Offer) entlang der

Nachfrage

Motivation:

Bei nur einer Abweichung ist das Vergleichsergebnis 0.0!

• Vorgehen grundsätzlich gleich!

Veranschaulichung des Vorgehens am Beispiel des Angebots (Aufbau eines Offers)



Ausgangspunkt:

:Service

:ServiceProfile

presents

effect

<State>

Gerüst des Angebots:Die fertigeNachfrage:

Owned

:Service

:ServiceProfile

presents

effect

presciptiondrug


price

reason of use

Company

== germany

Country

Boolean

== false

Indication

== headache

place ofbusiness


PriceOUT

entity

Drug

!= imodium



Vorgehen beim Aufbau des Angebots:

(wesentliche Schritte:)1) Attribut im Request enthalten??? JA:

2) Soll es gesetzt werden??? JA:

3) Typwahl (Abhängig von Type Check Strategy)

4) Einschränkung des Attributs a) Direkte Bedingung oder Instanz

b) Attributbedingungen

5) Setzen von Variablen: OffIN, OffOUT

6) Binden von ReqOUT




(wesentliche Schritte:)

1) Attribut im Request enthalten???

2) Soll es gesetzt werden???


4) Einschränkung des Attributs

a) Direkte Bedingung oder Instanz




:Service

:ServiceProfile

presents

effect

<State>




(wesentliche Schritte:)









:Owned

:Service

:ServiceProfile

presents

effect

entity

<Thing>




1) Attribut im Request enthalten??? JA:








:Owned

:Service

:ServiceProfile

presents

effect

entity

<Thing>





2) Soll es gesetzt werden??? JA:







:Owned

:Service

:ServiceProfile

presents

effect

entity

<Thing>




1) Attribut im Request enthalten???2) Soll es gesetzt werden???


4) Einschränkung des Attributsa) Direkte Bedingung oder

Instanzb) Attributbedingungen



Drug


VegetableDrug

ChemicalDrug

:Owned

:Service

:ServiceProfile

presents

effect

entity

<Thing>




1) Attribut im Request enthalten???2) Soll es gesetzt werden???


4) Einschränkung des Attributsa) Direkte Bedingung oder

Instanzb) Attributbedingungen



:Owned

:Service

:ServiceProfile

presents

effect

presciptiondrug

interaction

manufacturer

price

reason of use

Chemical Drugname

entity <Indication>

<Company>

<Drug><Price>

<String>

<Boolean>


22










:Owned

:Service

:ServiceProfile

presents

effect

presciptiondrug

interaction

manufacturer

price

reason of use

Chemical Drugname

entity <Indication>

<Company>

<Drug><Price>

<String>

<Boolean>


23










interaction

manufacturer

reason of use

Chemical Drug

entity <Indication>

<Company>

<Drug>

...


24










interaction

manufacturer

reason of use

Chemical Drug

entity

<Company>

<Drug>

...

Indication












interaction

manufacturer

reason of use

Chemical Drug

entity

<Company>

<Drug>

...

Indication


IN


Probleme bei OffIn-Variablen

Indication

== headache

Entsprechende Stelle im Request:

Problem 1: Änderung des Vergleichsergebnisses:

Vergleichsergebnis: 0.0

Vergleichsergebnis: 1.0

interaction

manufacturer

reason of use

Chemical Drug

entity

<Company>

<Drug>

...

Indication


IN


Probleme bei OffIn-Variablen

Problem 2: Einschränkung der Belegungsmöglichkeiten:

interaction

manufacturer

reason of use

Chemical Drug

entity

<Drug>

...

Indication


IN

Company

in {ratiopharm, bayer}

IN










6) Binden von ReqOUTinteraction

manufacturer

reason of use

Chemical Drug

entity

<Company>

<Drug>

...

Indication


IN

29










interaction

manufacturer

reason of use

Drug

active agentgroup

Active Agent Group

== anticoagulants

entity

...

Indication


IN

Company

== ratiopharm

Chemical Drug

Company

== germany

Country

Drug

!= immodium


ReqOUT-Variablen


• OffOUT:• Ausgabe übernehmen

• Instanz:• Instanz ausgeben

• OffIn:• Gewählte Instanz ausgeben

• Menge:• Problem: Mehrelementige Mengen

presciptiondrug

interaction

manufacturer

price

reason of use

Chemical Drug

<false>

Drug

active agentgroup

currencyamount

StringOUT name

PriceOUT

Double

> 2.35< 8.00

Currency

== eur

Active Agent Group

== anticoagulants

entity

...

...

...


Inhalt





• Zusammenfassung


Schwierigkeiten

• Request:• Keine leeren Mengen erzeugen

(Zusammenhänge der Beschreibungselemente von DSD herausfinden und umsetzen)

• (Request & Offer:) Sonderfall Entitätsmengen

• Offer:• In jedem Schritt: Menge ins Request einpassen- Vergleichsergebnis!

• OffIN:• Neuberechnung des Vergleichsergebnisses• Belegung der Variablen (Schnittstellen)

• Z.T. wie der Vergleicher agieren


Zusammenfassung

• Generierung von Anwendungsbeispielen für den Vergleicher von Dienstbeschreibungen

• Zentraler Ansatz:– Aufbau der Nachfrage– Generierung der Angebote „entlang“ der

Nachfrage


Studienarbeit: "Generierung von Korrektheitstests für den Vergleicher von DIANE Service...

Documents

Transcript of Studienarbeit: "Generierung von Korrektheitstests für den Vergleicher von DIANE Service...