Protocol contracts with application to choreographed multiparty collaborations

Service Oriented Computing and Applications

Volumn 4, Issue 2, 2010, Pages 109-136

  McNeile, Ashley ^a  

^a Metamaxim Ltd   (United Kingdom)

Author keywords

Behavior contract; Process algebra; Service choreography; Service collaboration; Verification

Indexed keywords

CROSS-ORGANIZATIONAL WORKFLOW; E-COMMERCE; EXPRESSIVE POWER; MESSAGE EXCHANGE; PROCESS ALGEBRA; PROCESS ALGEBRAS; SERVICE CHOREOGRAPHY; STANDARD SOFTWARE;

ALGEBRA; INTERNET PROTOCOLS; SOFTWARE ENGINEERING;

DESIGN;

EID: 77953362924     PISSN: 18632386     EISSN: 18632394     Source Type: Journal    
DOI: 10.1007/s11761-010-0060-9     Document Type: Article

References (16)

1. Bocchi L, Honda K, Tuosto E, Yoshida N (2009) A theory of design-by-contract for distributed multiparty interactions. Technical Report, University of Leicester, University of London and Imperial College London.
2. Ebert J, Engels G (1994) Observable or invocable behaviour-you have to choose. Technical Report 94-38. Department of Computer Science, Leiden University.
3. Fu X, Bultan T, Su J (2004) Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor Comput Sci 328(1-2): 19-37.
4. Fu X, Bultan T, Su J (2004) Realizability of conversation protocols with message contents. In: ICWS '04: Proceedings of the 2004 IEEE international conference on Web services. IEEE Computer Society, Washington, DC, pp 96-103. doi: 10. 1109/ICWS. 2004. 92.
5. Hoare C (1985) Communicating sequential processes. Prentice-Hall International, Englewood Cliffs, NJ.
6. Hoare C (2006) Why ever CSP. Electronic Notes Theor Comput Sci 162: 209-215. doi: 10. 1016/j. entcs. 2006. 01. 031.
7. Honda K, Yoshida N, Carbone M (2008) Multiparty asynchronous session types. SIGPLAN Not 43(1): 273-284. doi: 10. 1145/1328897. 1328472.
8. Kazhamiakin R, Pistore M (2006) Analysis of realizability conditions for web service choreographies. In: Najm E et al (ed) Proceedings of FORTE 2006, 26th IFIP WG 6. 1 international conference, Paris. Lecture Notes in Computer Science, vol 4229. Springer, pp 61-76.
9. Lanese I, Guidi C, Montesi F, Zavattaro G (2008) Bridging the gap between interaction- and process-oriented choreographies. In: Proceedings of SEFM'08, 6th IEEE international conferences on software engineering and formal methods. IEEE Computer Society, Washington, DC, pp 323-332.
10. McNeile A, Simons N (2006) Protocol modelling: a modelling approach that supports reusable behavioural abstractions. J Softw Syst Model 5(1): 91-107. doi: 10. 1007/s10270-005-0100-7.
11. McNeile A, Simons N (2008) Metamaxim Website: ModelScope Tool. http://www. metamaxim. com/.
12. Meyer B (2000) Object-oriented software construction. Prentice Hall PTR, Englewood Cliffs, NJ.
13. Mendling J, Hafner M, (2005) From inter-organizational workflows to process execution: generating BPEL from WS-CDL. In: Meersman R, Tari Z et al (eds) OTM workshops. Lecture Notes in Computer Science, vol 3762. Springer, pp 506-515.
14. Milner R (1980) A calculus of communicating systems. Lecture Notes in Computer Science, vol 92. Springer.
15. Object Management Group (2009) Business process model and notation (BPMN): FTF Beta 1 for Version 2. 0. OMG Document Number: dtc/2009-08-14. Technical Report, Object Management Group.
16. Owicki S, Lamport L (1982) Proving liveness properties of concurrent programs. ACM Trans Program Lang Syst 4(3): 455-495. doi: 10. 1145/357172. 357178.