Operating Guidelines for Finite-State Services

430 views

Published on

Talk held by Karsten Wolf on June 27, 2007 on the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2007) in Siedlce, Poland.

Published in: Technology, Travel
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
430
On SlideShare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
0
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Operating Guidelines for Finite-State Services

  1. 1. Operating Guidelines for Finite-State Service Karsten Wolf Institut für Informatik Universität Rostock Niels Lohmann, Peter Massuthe Institut für Informatik Humboldt-Universität zu Berlin
  2. 2. Part 1 Overview
  3. 3. Service Oriented Architecture Service Provider Service Broker Service Requester publish find bind ?
  4. 4. Service Oriented Architecture Service Provider Service Broker Service Requester publish find bind signature of interface semantics behaviour non-functional
  5. 5. Map to real world <ul><li>Provided service </li></ul>€ C T Quit Service requester Public View <ul><li>Coin will fall down </li></ul><ul><li>Mechanism will </li></ul><ul><li>activate buttons </li></ul><ul><li>Pressed button </li></ul><ul><li>triggers water </li></ul><ul><li>heating </li></ul><ul><li>cup is being filled </li></ul>
  6. 6. Map to real world <ul><li>Provided service </li></ul>€ C T Quit Service requester Operating guideline <ul><li>Insert coin </li></ul><ul><li>Press button </li></ul><ul><li>Release cup </li></ul>
  7. 7. Service Oriented Architecture Service Provider Service Broker Service Requester publish find bind Operating guideline
  8. 8. Part 2 Modeling Services
  9. 9. Service <ul><li>Vending machine </li></ul>€ C T c/t Quit open workflow net E
  10. 10. Service Customer E
  11. 11. Composition of services <ul><li>glue interface places </li></ul><ul><li>state space </li></ul><ul><li>deadlock: no sucessors, one service not in final marking, remaining messages on channels </li></ul><ul><li>k-limited communication: never more than k tokens on a message channel </li></ul><ul><li>correctness: deadlock freedom + k-limited communication, for some given k </li></ul>
  12. 12. Behaviour of a single service E      ?q ?e ?c ?t !C !T !E !E Service automaton
  13. 13. Obtaining service models BPEL process oWFN Service automaton feature complete PN semantics for BPEL [BPM 2005], [WS-FM 2007] state space of inner(oWFN) Petrinetztheorie „ Regionentheorie“ [Modellierung 2008]
  14. 14. Part 3 A canonical partner
  15. 15. Partner construction: R*      ?q ?e ?c ?t !C !T !E !E for example: k = 1   c  Construction finite by requirement of k-limited communication ?* * - !c  c !t  t !e  e  !q  ce  c   C  E !c ?C ... ...
  16. 16. Canonicity of R* <ul><li>Every deadlock-free and k-limited partner has a simulation relation to R* </li></ul><ul><li>Every simulation partner has k-limited communication </li></ul><ul><li>Simulation relation can be easily computed as R* is deterministic </li></ul><ul><li>but: not every service that has a simulation relation to R* is deadlock-free </li></ul>
  17. 17. Part 4 Operating guideline and matching
  18. 18. Operating guideline <ul><li>= R* + annotations </li></ul><ul><li>Annotation = boolean coding of property „no deadlocks here“ </li></ul>
  19. 19. Experimental Results Tool: FIONA 200 362 215 206 SMTP 0 7 148 187 Registration office 216 280 114 149 Identity card service 7583 54 851 871 Database Service 7 320 534 517 Travel Service 2 8 28 33 Help Desk Service 0 14 15 21 Olive Oil Ordering 0 7 35 48 Loan Approval 0 168 23 38 Purchase Order Time (s) States in OG T P Service
  20. 20. Matching <ul><li>= Simulation relation to R* and satisfaction of annotations </li></ul>state of R state of R* !a ∨(?b∧?c) simulation relation !a ?b assignment: a,b: true c: false
  21. 21. Applications <ul><li>Service discovery </li></ul><ul><li>Service validation </li></ul><ul><li>Service exchangeability </li></ul><ul><li>... </li></ul>

×