Towards Advanced Interaction Design Concepts

R.M. Dijkman, T. Dirgahayu, Dick Quartel

    Research output: Book/ReportReportProfessional

    3 Citations (Scopus)


    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.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages12
    Publication statusPublished - Jun 2006

    Publication series

    NameCTIT Technical Report Series
    PublisherCentre for Telematics and Information Technology, University of Twente
    ISSN (Print)1381-3625


    • IR-63455
    • METIS-238688
    • EWI-7031

    Cite this