Towards advanced interaction design concepts

被引：0
作者：
Dijkman, Remco [1 ]
Dirgahayu, Teduh [1 ]
Quartel, Dick [1 ]
机构：
[1] Eindhoven Univ Technol, NL-5600 MB Eindhoven, Netherlands
来源：
10TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
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 (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 Services 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 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 UML's concepts for representing the mechanisms and the degree of platform independence that these concepts can achieve.
引用
收藏
页码：331 / 342
页数：12
相关论文
共 15 条
  • [1] ALLAN R, 1997, ACM T SOFTW ENG METH, V6, P213
  • [2] ALMEIDA JPA, 2006, INT J COOPERATIVE IN
  • [3] BARROS A, 2005, P 3 INT C BUS PROC M, P236
  • [4] Bastide R, 2000, CONCURRENCY-PRACT EX, V12, P1379, DOI 10.1002/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO
  • [5] 2-B
  • [6] Bolognesi T., 1995, LOTOSPHERE SOFTWARE
  • [7] Gorrieri Roberto, 2001, HDB PROCESS ALGEBRA, P1047
  • [8] Hohpe G., 2004, Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
  • [9] AN EVENT-BASED ARCHITECTURE DEFINITION LANGUAGE
    LUCKHAM, DC
    VERA, J
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (09) : 717 - 734
  • [10] Object Management Group, 2003, MDA GUID V1 0 1
12