In this paper we analyse the interaction mechanisms provided by Web Services technology and CORBA. Specifically we analyse the request/reponse, callback, polling and (multicast) 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 service and CORBA interactions in a suitable and platform independent manner. These concepts can be used for platform independent design of distributed applications, while they (provably) maintain the consistency with platfrom 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 UML's concepts for representing the mechanisms and the degree of platform independence that these concepts can achieve.
|Name||CTIT Technical Report Series|
|Publisher||Centre for Telematics and Information Technology, University of Twente|