SERVICE DISCOVERY USING COMMUNICATION FINGERPRINTS

Karsten WolfOlivia Oanea

Jan Sürmeli

2SERVICE DISCOVERY

R

GIVEN: REQUESTER SERVICE R

SERVICE MODEL

TASK: FIND COMPATIBLE SERVICE P

3SERVICE DISCOVERY

PICK

P

R

GIVEN: REQUESTER SERVICE R

REPOSITORY

TASK: FIND COMPATIBLE SERVICE P

4SERVICE DISCOVERY

PICK

P

P+RVERIFY

R

✓

✗

GIVEN: REQUESTER SERVICE R

TASK: FIND COMPATIBLE SERVICE P

5SERVICE DISCOVERY

PICK

P

P+RVERIFY

R

✓

✗

GIVEN: REQUESTER SERVICE R

WEAK TERMINATION

TASK: FIND COMPATIBLE SERVICE P

6SERVICE DISCOVERY

PICK

P

P+RVERIFY

R

✓

✗

GIVEN: REQUESTER SERVICE R

TASK: FIND COMPATIBLE SERVICE P

7LOSSLESS PRESELECTION

TO VERIFY

INITIAL SITUATION: MANY SERVICES TO VERIFY   

8LOSSLESS PRESELECTION

TO VERIFY

INITIAL SITUATION: MANY SERVICES TO VERIFYIDEA: PRESELECT A SUBSET TO VERIFY 

9LOSSLESS PRESELECTION

TO VERIFY

✓

INITIAL SITUATION: MANY SERVICES TO VERIFYIDEA: PRESELECT A SUBSET TO VERIFYREQUIREMENT: NO LOSS OF COMPATIBLE SERVICES

10SERVICE DISCOVERY

PICK

P

P+RVERIFY

R

 

 

 

 

with communication

fingerprints

✓

✗

11SERVICE DISCOVERY

PICK

P +P

P+RVERIFY

R

 

 

 

 

with communication

fingerprints

✓

✗

communicationfingerprint

12SERVICE DISCOVERY

PICK

P

RR

+P

P+RVERIFY

R

 

 

 

 

with communication

fingerprints

✓

✗

13SERVICE DISCOVERY

PICK

P

RR

+P

P+RVERIFYMATCH

PR

R

 

 

 

 

with communication

fingerprints

✓

✗

14SERVICE DISCOVERY

PICK

P

RR

+P

P+RVERIFYMATCH

PR

R

 

 

 

 

with communication

fingerprints

✓

✗✗?

15SERVICE DISCOVERY

PICK

P

RR

+P

P+RVERIFYMATCH

PR

R

 

 

 

 

with communication

fingerprints

✓

✗✗?

16SERVICE DISCOVERY

PICK

P

RR

+P

P+RVERIFYMATCH

PR

R

COMMUNICATION FINGERPRINTS

 

 

 

with communication

fingerprints

✓

✗✗?

1

17SERVICE DISCOVERY

PICK

P

RR

+P

P+RVERIFYMATCH

PR

R

COMMUNICATION FINGERPRINTS

MATCHING

 

 

with communication

fingerprints

✓

✗✗?2

18SERVICE DISCOVERY

PICK

P

RR

+P

P+RVERIFYMATCH

PR

R

COMMUNICATION FINGERPRINTS

MATCHING

COMPUTATION

 

with communication

fingerprints

✓

✗✗?

3

19SERVICE DISCOVERY

PICK

P

RR

+P

P+RVERIFYMATCH

PR

R

COMMUNICATION FINGERPRINTS

MATCHING

COMPUTATION

CASE STUDY

with communication

fingerprints

✓

✗✗?

4

20COMMUNICATION FINGERPRINTS

P PABSTRACTION

1

21COMMUNICATION FINGERPRINTS

A

B

DC

FEEDBACK

REJECTACCEPT

DOCUMENT

1

22COMMUNICATION FINGERPRINTS

A

B

DC

FEEDBACK

REJECTACCEPT

DOCUMENT

ABSTRACTION STEPS:

1

23

ACADABACABADABABACABABADABABABACABABABADABABABABACABABABABAD…

COMMUNICATION FINGERPRINTS

A

B

DC

FEEDBACK

REJECTACCEPT

DOCUMENT

1 TERMINATING BEHAVIORABSTRACTION STEPS:

1

24

?DOCUMENT !REJECT?DOCUMENT !ACCEPT?DOCUMENT !FEEDBACK ?DOCUMENT !REJECT?DOCUMENT !FEEDBACK ?DOCUMENT !ACCEPT…

COMMUNICATION FINGERPRINTS

A

B

DC

FEEDBACK

REJECTACCEPT

DOCUMENT

1 TERMINATING BEHAVIOR2 INTERACTION BEHAVIOR

ABSTRACTION STEPS:

1

25

DOCUMENT = 1, REJECT = 1DOCUMENT = 1, ACCEPT = 1DOCUMENT = 2, FEEDBACK = 1, REJECT = 1DOCUMENT = 3, FEEDBACK = 2, REJECT = 1…

COMMUNICATION FINGERPRINTS

A

B

DC

FEEDBACK

REJECTACCEPT

DOCUMENT

1 TERMINATING BEHAVIOR2 INTERACTION BEHAVIOR

3 COUNTING VECTORSABSTRACTION STEPS:

1

26

(REJECT = 1) (ACCEPT = 1) ∨∧

(DOCUMENT – FEEDBACK = 1)

COMMUNICATION FINGERPRINTS

A

B

DC

FEEDBACK

REJECTACCEPT

DOCUMENT

1 TERMINATING BEHAVIOR2 INTERACTION BEHAVIOR

3 COUNTING VECTORS4 BOOLEAN FORMULA

ABSTRACTION STEPS:

1

27FINGERPRINT MATCHING

SEMI-DECIDE COMPATIBILITY

PP

ABSTRACTION

RR

ABSTRACTION

MATCHING ✗?

2

28FINGERPRINT MATCHING

P

R

2

29FINGERPRINT MATCHING

P

R

2

(REJECT = 1) (ACCEPT = 1) ∨∧

(DOCUMENT – FEEDBACK = 1)

30FINGERPRINT MATCHING

P

R

2

(REJECT + ACCEPT = 1) ∧

(DOCUMENT – FEEDBACK = 0)

(REJECT = 1) (ACCEPT = 1) ∨∧

(DOCUMENT – FEEDBACK = 1)

31FINGERPRINT MATCHING

COMPOSITEFINGERPRINT

P

R

2

32FINGERPRINT MATCHING

COMPOSITEFINGERPRINT

P

R

2

(REJECT = 1) (ACCEPT = 1) ∨∧

(DOCUMENT – FEEDBACK = 1)

∧(REJECT + ACCEPT = 1)

∧(DOCUMENT – FEEDBACK = 0)

33FINGERPRINT MATCHING

SYSTEMS OF LIN. INEQUALITIES

COMPOSITEFINGERPRINT

P

R

DECODER

2

34FINGERPRINT MATCHING

SYSTEMS OF LIN. INEQUALITIES

COMPOSITEFINGERPRINT

P

R

DECODER

2

REJECT = 1DOCUMENT – FEEDBACK = 1

REJECT + ACCEPT = 1DOCUMENT – FEEDBACK = 0

ACCEPT = 1DOCUMENT – FEEDBACK = 1

REJECT + ACCEPT = 1DOCUMENT – FEEDBACK = 0

35

✗

FINGERPRINT MATCHING

SYSTEMS OF LIN. INEQUALITIES

COMPOSITEFINGERPRINT

FEASABILITY CHECKER

P

R

DECODER

?

2

36

✗

FINGERPRINT MATCHING

SYSTEMS OF LIN. INEQUALITIES

COMPOSITEFINGERPRINT

FEASABILITY CHECKER

P

R

DECODER

?

2

REJECT = 1DOCUMENT – FEEDBACK = 1

REJECT + ACCEPT = 1DOCUMENT – FEEDBACK = 0

ACCEPT = 1DOCUMENT – FEEDBACK = 1

REJECT + ACCEPT = 1DOCUMENT – FEEDBACK = 0

✗

✗

37

✗

FINGERPRINT MATCHING

SYSTEMS OF LIN. INEQUALITIES

COMPOSITEFINGERPRINT

FEASABILITY CHECKER

P

R

DECODER

?

2

✗

38

✗

YASMINA

FINGERPRINT MATCHING

SYSTEMS OF LIN. INEQUALITIES

COMPOSITEFINGERPRINT

FEASABILITY CHECKER

P

R

DECODER

?

SERVICE-TECHNOLOGY.ORG/TOOLS2

39

Linda

FINGERPRINT COMPUTATION (SKETCH)

PP

PETRI NET STRUCTURE THEORY

(INTEGER) LINEARPROGRAMMING

3SERVICE-TECHNOLOGY.ORG/TOOLS

40CASE STUDY

HOW WE CAME UP WITH SERVICES:

 

INDUSTRIAL BP MODELS

4

41CASE STUDY

HOW WE CAME UP WITH SERVICES:

 

COMPILE

INDUSTRIAL BP MODELS

PETRI NET MODELS

4

42CASE STUDY

HOW WE CAME UP WITH SERVICES:

 

COMPILE

INDUSTRIAL BP MODELS

PETRI NET MODELS

DECOMPOSE

OPEN NET MODELS

4

43CASE STUDY

HOW WE CAME UP WITH SERVICES:

CASES: (FEASIBLE) COMPOSITES OF SERVICES

COMPILE

INDUSTRIAL BP MODELS

PETRI NET MODELS

DECOMPOSE

OPEN NET MODELS

4

44CASE STUDY

1ST RUN: STATE SPACE VERIFICATION ONLY

2ND RUN: APPLYING COMMUNICATION FINGERPRINTS

LIB CASES COMPATIBLEA 2412 252 (10%)

B1 2066 20 (1%)B2 592 25 (4%)B3 3460 210 (6%)

Σ 8530 507 (6%)

1ST 2ND SAVED> 48h ≈ 28h > 41.7%

18m3s 6m38s 63.2%30m43s 28s 98.5%

> 36 h ≈ 2h > 94.5%> 84h ≈ 30h > 64%

FP COMP.169s177s

53s666s

1065s

4

45CASE STUDY

1ST RUN: STATE SPACE VERIFICATION ONLY

2ND RUN: APPLYING COMMUNICATION FINGERPRINTS

LIB CASES COMPATIBLEA 2412 252 (10%)

B1 2066 20 (1%)B2 592 25 (4%)B3 3460 210 (6%)

Σ 8530 507 (6%)

1ST 2ND SAVED> 48h ≈ 28h > 41.7%

18m3s 6m38s 63.2%30m43s 28s 98.5%

> 36 h ≈ 2h > 94.5%> 84h ≈ 30h > 64%

FP COMP.169s177s

53s666s

1065s

4

46CASE STUDY

1ST RUN: STATE SPACE VERIFICATION ONLY

2ND RUN: APPLYING COMMUNICATION FINGERPRINTS

LIB CASES COMPATIBLEA 2412 252 (10%)

B1 2066 20 (1%)B2 592 25 (4%)B3 3460 210 (6%)

Σ 8530 507 (6%)

1ST 2ND SAVED> 48h ≈ 28h > 41.7%

18m3s 6m38s 63.2%30m43s 28s 98.5%

> 36 h ≈ 2h > 94.5%> 84h ≈ 30h > 64%

FP COMP.169s177s

53s666s

1065s

4

47CASE STUDY

INCOMPATIBILITY DETECTION IN THE 2ND RUN

55%45%

fingerprint matchingstate space analysis

4

48CONCLUSION

FINGERPRINT MATCHING SEMI-DECIDES COMPATIBILITY

➟ LOSSLESS PARTNER PRESELECTION

     

     

49CONCLUSION

FINGERPRINT MATCHING SEMI-DECIDES COMPATIBILITY

➟ LOSSLESS PARTNER PRESELECTION

     

FINGERPRINT COMPUTATIONONCE PER SERVICE

➟ MINIMAL OVERHEAD

50CONCLUSION

FINGERPRINT MATCHING SEMI-DECIDES COMPATIBILITY

➟ LOSSLESS PARTNER PRESELECTION

CASE STUDYTIME REDUCTION 40 – 98%

➟ SIGNIFICANT SPEED GAIN

FINGERPRINT COMPUTATIONONCE PER SERVICE

➟ MINIMAL OVERHEAD

51CONCLUSION

FINGERPRINT MATCHING SEMI-DECIDES COMPATIBILITY

➟ LOSSLESS PARTNER PRESELECTION

CASE STUDYTIME REDUCTION 40 – 98%

➟ SIGNIFICANT SPEED GAIN

FINGERPRINT COMPUTATIONONCE PER SERVICE

➟ MINIMAL OVERHEAD

TOOL SUPPORTSERVICE-TECHNOLOGY.ORG/TOOLSSERVICE-TECHNOLOGY.ORG/LIVE

52CONCLUSION

FINGERPRINT MATCHING SEMI-DECIDES COMPATIBILITY

➟ LOSSLESS PARTNER PRESELECTION

Thank you!

CASE STUDYTIME REDUCTION 40 – 98%

➟ SIGNIFICANT SPEED GAIN

FINGERPRINT COMPUTATIONONCE PER SERVICE

➟ MINIMAL OVERHEAD

TOOL SUPPORTSERVICE-TECHNOLOGY.ORG/TOOLSSERVICE-TECHNOLOGY.ORG/LIVE