Service discovery with communication fingerprints

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


REPOSITORY


4SERVICE DISCOVERY

PICK

P

P+RVERIFY

R

✓

✗



5SERVICE DISCOVERY

PICK

P

P+RVERIFY

R

✓

✗


WEAK TERMINATION


6SERVICE DISCOVERY

PICK

P

P+RVERIFY

R

✓

✗



7LOSSLESS PRESELECTION

TO VERIFY

INITIAL SITUATION: MANY SERVICES TO VERIFY


TO VERIFY

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


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


MATCHING

with communication

fingerprints

✓

✗✗?2

18SERVICE DISCOVERY

PICK

P

RR

+P

P+RVERIFYMATCH

PR

R


MATCHING

COMPUTATION

with communication

fingerprints

✓

✗✗?

3

19SERVICE DISCOVERY

PICK

P

RR

+P

P+RVERIFYMATCH

PR

R


MATCHING

COMPUTATION

CASE STUDY

with communication

fingerprints

✓

✗✗?

4

20COMMUNICATION FINGERPRINTS

P PABSTRACTION

1


A

B

DC

FEEDBACK

REJECTACCEPT

DOCUMENT

1


A

B

DC

FEEDBACK

REJECTACCEPT

DOCUMENT

ABSTRACTION STEPS:

1

23

ACADABACABADABABACABABADABABABACABABABADABABABABACABABABABAD…


A

B

DC

FEEDBACK

REJECTACCEPT

DOCUMENT

1 TERMINATING BEHAVIORABSTRACTION STEPS:

1

24

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


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…


A

B

DC

FEEDBACK

REJECTACCEPT

DOCUMENT


3 COUNTING VECTORSABSTRACTION STEPS:

1

26

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

(DOCUMENT – FEEDBACK = 1)


A

B

DC

FEEDBACK

REJECTACCEPT

DOCUMENT


3 COUNTING VECTORS4 BOOLEAN FORMULA

ABSTRACTION STEPS:

1

27FINGERPRINT MATCHING

SEMI-DECIDE COMPATIBILITY

PP

ABSTRACTION

RR

ABSTRACTION

MATCHING ✗?

2


P

R

2


P

R

2




P

R

2

(REJECT + ACCEPT = 1) ∧





COMPOSITEFINGERPRINT

P

R

2



P

R

2



∧(REJECT + ACCEPT = 1)

∧(DOCUMENT – FEEDBACK = 0)


SYSTEMS OF LIN. INEQUALITIES


P

R

DECODER

2




P

R

DECODER

2

REJECT = 1DOCUMENT – FEEDBACK = 1

REJECT + ACCEPT = 1DOCUMENT – FEEDBACK = 0

ACCEPT = 1DOCUMENT – FEEDBACK = 1


35

✗

FINGERPRINT MATCHING



FEASABILITY CHECKER

P

R

DECODER

?

2

36

✗




FEASABILITY CHECKER

P

R

DECODER

?

2

REJECT = 1DOCUMENT – FEEDBACK = 1


ACCEPT = 1DOCUMENT – FEEDBACK = 1


✗

✗

37

✗




FEASABILITY CHECKER

P

R

DECODER

?

2

✗

38

✗

YASMINA




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


COMPILE


PETRI NET MODELS

4

42CASE STUDY


COMPILE


PETRI NET MODELS

DECOMPOSE

OPEN NET MODELS

4

43CASE STUDY


CASES: (FEASIBLE) COMPOSITES OF SERVICES

COMPILE


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




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




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 COMPUTATIONONCE PER SERVICE

➟ MINIMAL OVERHEAD

50CONCLUSION



CASE STUDYTIME REDUCTION 40 – 98%

➟ SIGNIFICANT SPEED GAIN



51CONCLUSION







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

52CONCLUSION



Thank you!





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

Education

Service discovery with communication fingerprints