Remco M. Dijkman, Teduh Dirgahayu, Dick A. C. Quartel. Towards Advanced Interaction Design Concepts. In Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China. pages 331-344, IEEE Computer Society, 2006. [doi]
In this paper we analyse the interaction mechanisms provided by Web Services technology and by CORBA. Specifically we analyse the request/response, callback, polling and (multicasr) message passing mechanisms. As a result we present Coloured Petri Nets that capture the behaviour of these mechanisms precisely. Based on our analysis we define concepts for representing the Web Services and CORBA interactions in a suitable and platform independent manner. These concepts can be used for platfonn independent design of distributed applications, while they (provably) maintain the consistency with platform specific implementations. Because their behaviour is defined by Petri Nets, the concepts also support simulation, validation and verification of designs.
We also evaluate the suitability of Urn’s concepts for representing the mechanisms and the degree of platform independence that these concepts can achieve.