Download to read offline
Service discovery with communication fingerprints
- 1. Service discoveryusing communicationfingerprintsKarsten WolfOlivia OaneaJan Sürmeli
- 2. Service discoveryR2given: requesterservice Rtask: find compatibleservice Pservice model
- 3. Service discoverygiven: requesterservice Rtask: find compatibleservice PrepositoryRPpick 3
- 4. Service discoverygiven: requesterservice Rtask: find compatibleservice PverifyP+RRP4✓pick ✗
- 5. Service discoverygiven: requesterservice Rtask: find compatibleservice PverifyP+RRweak terminationP✓pick 5✗
- 6. Service discoverygiven: requesterservice Rtask: find compatibleservice PverifyP+RRP6✓pick ✗
- 7. Lossless preselection7initial situation:many services to verifyto verify
- 8. Lossless preselection8initial situation:many services to verifyidea: preselect a subset to verifyto verify
- 9. Lossless preselection9initial situation:many services to verifyidea: preselect a subset to verifyrequirement: no loss of compatible services✓to verify
- 10. Service discoverywith communicationfingerprintsPverifyP+RR10✓pick ✗
- 11. Service discoverywith communicationfingerprintscommunicationfingerprintPverifyP+P+RRpick 11✓✗
- 12. Service discoverywith communicationfingerprintsPverifyP+P+RRRR12✓pick ✗
- 13. Service discoverywith communicationfingerprintsmatchPverifyPPR+P+RRRR✓pick 13✗
- 14. Service discoverywith communicationfingerprintsmatchPverifyPPR+P+RRRR14✓?pick ✗✗
- 15. Service discoverywith communicationfingerprintsmatchPverifyPPR+P+RRRR15✓?pick ✗✗
- 16. Service discoverywith communicationfingerprintscommunication fingerprintsmatchPverifyPPR+P+RR1RR16✓?pick ✗✗
- 17. Service discoverywith communicationfingerprintscommunication fingerprintsmatchingmatchPverifyPPR+P+RR2RR17✓?pick ✗✗
- 18. Service discoverywith communicationfingerprintscommunication fingerprintsmatchingcomputationmatchPverifyPPR+P+RR3RR18✓?pick ✗✗
- 19. Service discoverywith communicationfingerprintscommunication fingerprintsmatchingcomputationcase studymatchPverifyPPR+P+RR4RR19✓?pick ✗✗
- 20.
- 21.
- 22.
- 23.
- 24. Communication fingerprints24abstraction steps:1 terminatingbehavior2 interactionbehavior?document !reject?document !accept?document !feedback ?document !reject?document !feedback ?document !accept…1
- 25. Communication fingerprints25abstraction steps:1 terminatingbehavior3 countingvectors2 interactionbehaviordocument = 1, reject = 1document = 1, accept = 1document = 2, feedback = 1, reject = 1document = 3, feedback = 2, reject = 1…1
- 26. Communication fingerprints26abstraction steps:1 terminatingbehavior3 countingvectors2 interactionbehavior4 booleanformula1(reject = 1) ∨ (accept = 1) ∧(document – feedback = 1)
- 27.
- 28.
- 29. Fingerprint matching(reject =1) ∨ (accept = 1) ∧(document – feedback = 1)2PR29
- 30. Fingerprint matchingPR30(reject =1) ∨ (accept = 1) ∧(document – feedback = 1)2(reject + accept = 1) ∧(document – feedback = 0)
- 31.
- 32. Fingerprint matching(reject =1) ∨ (accept = 1) ∧(document – feedback = 1)∧(reject + accept = 1) ∧(document – feedback = 0)2PRcompositefingerprint32
- 33.
- 34. Fingerprint matchingreject =1document – feedback = 1reject + accept = 1document – feedback = 02PRdecodersystemsoflin. inequalitiescompositefingerprint34accept = 1document – feedback = 1reject + accept = 1document – feedback = 0
- 35.
- 36. Fingerprint matchingreject =1document – feedback = 1reject + accept = 1document – feedback = 0✗2✗PRdecoderFeasabilitychecker?systemsoflin. inequalitiescompositefingerprint36accept = 1document – feedback = 1reject + accept = 1document – feedback = 0✗
- 37.
- 38.
- 39.
- 40.
- 41. Case studyhowwecameupwithservices:compile4petri netmodelsindustrial bP models41
- 42. Case studyhowwecameupwithservices:compiledecompose4petri netmodelsopen net modelsindustrial bP models42
- 43. Case studyhowwecameupwithservices:cases: (FEASIBLE)compositesof servicescompiledecompose4petri net modelsopen net modelsindustrial bP models43
- 44. Case study1st run:statespaceverificationonly2nd run: applying communication fingerprints444
- 45. Case study1st run:statespaceverificationonly2nd run: applying communication fingerprints454
- 46. Case study1st run:statespaceverificationonly2nd run: applying communication fingerprints464
- 47. Case studyincompatibility detectioninthe 2nd run474
- 48. Conclusionfingerprint matching semi-decidescompatibility➟ lossless partner preselection48
- 49. Conclusionfingerprint matching semi-decidescompatibility➟ lossless partner preselection49fingerprint Computationonce per service➟ minimal overhead
- 50. Conclusionfingerprint matching semi-decidescompatibility➟ lossless partner preselection50case studytime reduction 40 – 98%➟ significant speed gainfingerprint Computationonce per service➟ minimal overhead
- 51. Conclusionfingerprint matching semi-decidescompatibility➟ lossless partner preselection51case studytime reduction 40 – 98%➟ significant speed gaintool supportservice-technology.org/toolsservice-technology.org/livefingerprint Computationonce per service➟ minimal overhead
- 52. Conclusionfingerprint matching semi-decidescompatibility➟ lossless partner preselection52case studytime reduction 40 – 98%➟ significant speed gaintool supportservice-technology.org/toolsservice-technology.org/livefingerprint Computationonce per service➟ minimal overheadThankyou!