loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2006 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
Service Specification by Composition of Collaborations--An Example
Hong Kong, China
December 18-December 22
ISBN: 0-7695-2749-3
Frank Alexander Kraemer, Norwegian University of Science and Technology, Norway
Peter Herrmann, Norwegian University of Science and Technology, Norway
We outline a specification style for reactive services that focuses on UML 2.0 collaborations and activities as reusable specification building blocks. In contrast to traditional component-based approaches, a collaboration directly describes the interactions between the components as well as the internal behavior necessary for a component to take part in it. To compose services from such reusable collaborations, we use events identified as input and output pins on the activities that are connected together. While our approach is formally settled in temporal logic, in this paper we focus on an example specification from the viewpoint of a service engineer.
Citation:
Frank Alexander Kraemer, Peter Herrmann, "Service Specification by Composition of Collaborations--An Example," wi-iatw, pp.129-133, 2006 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops, 2006
Usage of this product signifies your acceptance of the Terms of Use.