Non-functional Parameters as First Class Citizens in Service - - PowerPoint PPT Presentation

Objective Introduction Service Description Matchmaking Conclusions

Non-functional Parameters as First Class Citizens in Service Description and Matchmaking - An Integrated Approach

NFPSLA-SOC, September 17, 2007 Vienna, Austria. Mohamed Hamdy Birgitta K¨

• nig-Ries

Ulrich K¨ uster

Heinz-Nixdorf Endowed Chair, Institute of Computer Science, FSU University of Jena, Germany.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster Non-functional Parameters as First Class Citizens in Service Description and Matchmaki

Objective Introduction Service Description Matchmaking Conclusions

Outlines

1

Objective

2

Introduction DSD Categories of Service Attributes

3

Service Description Offer Request

4

Matchmaking

5

Conclusions

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

Motivations and Objectives

Motivation

• Non functional properties and their role in service description and

matchmaking. Current Approaches

• In Service Description,
• Distinguish between functional and non-functional properties.
• In Matchmaking,
• First step: Determine functionally matching services.
• Second step: Filter among those services found in (Step 1) according

to the NFP.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

Motivations and Objectives

Problems

Need to decide for each attribute whether it is functional or non-functional (not always trivial!) No possibility to weigh functional and non-functional properties against each

• ther.
• A map for an Egyptian

. city

• Scale is 1:200

20000 00

• Price is 2.0

2.00 0 €

• Reputation 88

88%

Provider A Provider A

• A map for an African

. city

• Scale is 1:10000

000

• Price is 2

2.5 .55 5 €

• Reputation 95

95%

Provider B Provider B

• A map for Cairo.
• Either 1:100

0000

• r 1:

1:20 20000 00 scales

• Aims to pay at most about 2.5

.5 . €

• >=

Service reputation 90%

Client Client

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

Motivations and Objectives

Our Approach: DSD Service Description and Matchmaking Ignore nature of being functional or non functional properties during service description. Uniform treatment for both of functional and non functional properties during matchmaking.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions DSD Categories of Service Attributes

Outline

1

Objective

2

Introduction DSD Categories of Service Attributes

3

Service Description Offer Request

4

Matchmaking

5

Conclusions

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions DSD Categories of Service Attributes

DSD

DIANE Service Description Language

DSD DIANE Service Descriptions (DSD) is a language specifically developed to semantically describe services with an own light-weight ontology language. DIANE Is a framework aiming to achieve automatic service discovery, matchmaking, negotiation, and invocation in mobile ad hoc networks. The DIANE project is being developed in FSU Jena, and formerly in Karlsruhe University.

• DIANE is an abbreviation for Services in Ad hoc Networks in German).

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions DSD Categories of Service Attributes

Outline

1

Objective

2

Introduction DSD Categories of Service Attributes

3

Service Description Offer Request

4

Matchmaking

5

Conclusions

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions DSD Categories of Service Attributes

Categories of Service Attributes

• Generally, functional and non-functional attributes could be categorized into

three categories: Static attributes ex: The ”class” type attribute in a flight reservation service. Dynamic attributes within the influence of a service provider ex: The ”price” attribute in a flight reservation service. Dynamic attributes beyond the influence of a Service provider Provider does not know about it or even has not ability to control. ex: The ”reputation”, ”bandwidth”, ”response time” of a service.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions Offer Request

Outline

1

Objective

2

Introduction DSD Categories of Service Attributes

3

Service Description Offer Request

4

Matchmaking

5

Conclusions

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions Offer Request

Services Description

Offer Description

• 60

: During the next seconds

• .

A map for an Egyptian city

• 500,000

City with larger than . population

• 1:10000

1:20000. Scale is either

• r
• 2.00

Selling price is at most €

• 1

Map file size is always less than MB

Provider Provider Service parameters Inputs:

• City.
• Scale.

Outputs:

• Price.
• Format.

✚ Service configuration.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions Offer Request

Services Description

Offer Description in DSD

• 60

: During the next seconds

• .

A map for an Egyptian city

• 500,000

City with larger than . population

• 1:10000

1:20000. Scale is either

• r
• 2.00

Selling price is at most €

• 1

Map file size is always less than MB

Provider Provider

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions Offer Request

Services Description

Offer Description in DSD

• 60

: During the next seconds

• .

A map for an Egyptian city

• 500,000

City with larger than . population

• 1:10000

1:20000. Scale is either

• r
• 2.00

Selling price is at most €

• 1

Map file size is always less than MB

Provider Provider

Non-functional attributes

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions Offer Request

Services Description

Offer Description in DSD

• 60

: During the next seconds

• .

A map for an Egyptian city

• 500,000

City with larger than . population

• 1:10000

1:20000. Scale is either

• r
• 2.00

Selling price is at most €

• 1

Map file size is always less than MB

Provider Provider

Non-functional attributes

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Our approach does not require any special treatment when describing NFP

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions Offer Request

Services Description

Offer Description in DSD

Static attributes

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions Offer Request

Services Description

Offer Description in DSD

Static attributes Dynamic within influence of the provider

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions Offer Request

Services Description

Offer Description in DSD

Static attributes Dynamic within influence of the provider Dynamic beyond the provider influence

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions Offer Request

Services Description

Offer Description in DSD

Service configuration

• Estimation: (IN,e,i)
• Execution: (OUT,x,i)
• Inputs
• Outputs
• Valuing elements.

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions Offer Request

Outline

1

Objective

2

Introduction DSD Categories of Service Attributes

3

Service Description Offer Request

4

Matchmaking

5

Conclusions

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions Offer Request

Services Description

The offer against a request

• 60

: During the next seconds

• .

A map for an Egyptian city

• 500,000

City with larger than . population

• 1:10000

1:20000. Scale is either

• r
• 2.00

Selling price is at most €

• 1

Map file size is always less than MB

Provider Provider

• 90

: After up to seconds

• .

A map for Cairo

• 1:10000

1:20000, Accepts either

• r

but 70% prefers to be 1:10000 30% and to be 1:20000.

• 2.5 .

Aims to pay at most about €

• >= 90%

Reputation about

Client Client

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions Offer Request

Services Description

Request Description in DSD

• 90

: After up to seconds

• .

A map for Cairo

• 1:10000

1:20000, Accepts either

• r

but 70% prefers to be 1:10000 30% and to be 1:20000.

• 2.5 .

Aims to pay at most about €

• >= 90%

Reputation about

Client Client

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions Offer Request

Services Description

Request Description in DSD

• 90

: After up to seconds

• .

A map for Cairo

• 1:10000

1:20000, Accepts either

• r

but 70% prefers to be 1:10000 30% and to be 1:20000.

• 2.5 .

Aims to pay at most about €

• >= 90%

Reputation about

Client Client

Preference attributes Fuzzy attributes

Preference attributes Fuzzy attributes , sets

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions Offer Request

Services Description

Request Description in DSD

• 90

: After up to seconds

• .

A map for Cairo

• 1:10000

1:20000, Accepts either

• r

but 70% prefers to be 1:10000 30% and to be 1:20000.

• 2.5 .

Aims to pay at most about €

• >= 90%

Reputation about

Client Client

Preference attributes Fuzzy attributes upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matching Process

Request:

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale

Offer:

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Matchvalues and connecting sets (strategies).

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matching Process

Request:

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale

Offer:

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Matchvalues and connecting sets (strategies). Traversing recursively the Offer against the Request trees.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matching Process

Request:

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale

Offer:

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Matchvalues and connecting sets (strategies). Traversing recursively the Offer against the Request trees. Accumulating of the Matchvalue of the match sets.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matching Process

Request:

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale

Offer:

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Matchvalues and connecting sets (strategies). Traversing recursively the Offer against the Request trees. Accumulating of the Matchvalue of the match sets.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matching Process

Request:

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale

Offer:

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Matchvalues and connecting sets (strategies). Traversing recursively the Offer against the Request trees. Accumulating of the Matchvalue of the match sets.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matching Process

Request:

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale

Offer:

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Matchvalues and connecting sets (strategies). Traversing recursively the Offer against the Request trees. Accumulating of the Matchvalue of the match sets.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matching Process

Request:

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale

Offer:

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Matchvalues and connecting sets (strategies). Traversing recursively the Offer against the Request trees. Accumulating of the Matchvalue of the match sets.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matching Process

Request:

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale

Offer:

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Matchvalues and connecting sets (strategies). Traversing recursively the Offer against the Request trees. Accumulating of the Matchvalue of the match sets.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matching Process

Request:

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale

Offer:

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Matchvalues and connecting sets (strategies). Traversing recursively the Offer against the Request trees. Accumulating of the Matchvalue of the match sets.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matching Process

Request:

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale

Offer:

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Matchvalues and connecting sets (strategies). Traversing recursively the Offer against the Request trees. Accumulating of the Matchvalue of the match sets.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matching Process

Request:

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale

Offer:

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Offer tree does not have a ”Reputation” attribute.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matching Process

Request:

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale

Offer:

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Offer tree does not have a ”Reputation” attribute. Mismatch.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matching Process

Request:

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale

Offer:

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Offer tree does not have a ”Reputation” attribute. Mismatch.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matching Process

Request:

upper

mapRequest : Service

upper.profile

: ServiceProfile

presents effect Available entity File contains Map City == cairo Scale in {1:10000 [0.7], 1:20000 [0.3]} Price OUT,x,1 city price currency amount Double ~<[2.5] 0.0 Currency == eur reputation Reputation value Double ~> 90 system RatingSystem == percent begin DateTime ~< $now + <PT90S> scale

Offer:

upper

abcMapGenerationService : Service

upper.profile

: ServiceProfile

presents effect Available entity File format Format in {pdf, jpg} OUT,e,1 contains Map City IN,e,1 IN,x,1 Scale in {1:10000, 1:20000, 1:50000} IN,e,1 IN,x,1 Price OUT,e,1 city scale price currency amount Country == egypt Integer >= 500000 Double <= 2.0 Currency == eur size DataCapacityMeasure amount Double <= 1 unit DataCapacityUnit == mB begin DateTime <= $now + <PT60S> locatedIn population

Offer tree does not have a ”Reputation” attribute. Mismatch.

The matchmaker treats all the types of properties uniformly regardless of category.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matchmaking and the ”three-Categories” of service attributes

Static attributes -direct matchmaking-

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matchmaking and the ”three-Categories” of service attributes

Static attributes -direct matchmaking- Dynamic within influence of the provider -direct matchmaking-

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

DSD-DIANE Matchmaking

Matchmaking and the ”three-Categories” of service attributes

Static attributes -direct matchmaking- Dynamic within influence of the provider -direct matchmaking- Dynamic beyond influence of the provider -need more investigations-. Since, matchmaking is based the properties supplied by both of client and providers.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

Conclusions

• Categories of service properties.
• Uniform description for all properties (functional/non functional).
• Integrated treatment of functional and non functional properties by the

matchmaker.

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking

Objective Introduction Service Description Matchmaking Conclusions

• Thank You
• Questions???

Mohamed Hamdy, Birgitta K¨

• nig-Ries, Ulrich K¨

uster NFP in DSD Description and Matchmaking