Paper Info
Title
The adequacy of languages for representing interaction mechanisms
Abstract
This paper presents criteria for the adequacy of languages to represent interaction mechanisms. It then uses these criteria to analyse the adequacy of UML. We focus on the interaction mechanisms provided by Web Services technology and by CORBA for request/response, callback, polling and (multicast) message passing. We argue that the criteria for adequacy of a design language are that the language should: (1) be expressive enough to represent the mechanisms; (2) be easy to use when expressing them; (3) be platform independent in the sense that it does not force implementation decisions for a mechanism; and (4) behave corresponding to the mechanisms that it represents. We show that these criteria follow logically from the use of a design language in the design process. For UML we evaluate the first three criteria in a qualitative manner. To evaluate the fourth criteria, we present Coloured Petri Nets that capture the behaviour of both the mechanisms precisely and the UML constructs that represent them. Subsequently, we check the correspondence of their behaviour.
Year
DOI
Venue
2007
10.1007/s10796-007-9040-9
Information Systems Frontiers
Keywords
Field
DocType
Design language,Design concept,Communication patterns,Middleware
Design language,Programming language,Petri net,Software engineering,Unified Modeling Language,Computer science,Common Object Request Broker Architecture,Callback,Applications of UML,Web service,Message passing
Journal
Volume
Issue
ISSN
9
4
1387-3326
Citations 
PageRank 
References 
0
0.34
12
Authors
3
Name
Order
Citations
PageRank
Remco Dijkman1201386.93
Teduh Dirgahayu2223.85
Dick A. C. Quartel335232.78