Paper Info
Title
Service Specification by Composition of Collaborations--An Example
Abstract
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.
Year
DOI
Venue
2006
10.1109/WI-IATW.2006.121
IAT Workshops
Keywords
Field
DocType
internal behavior,traditional component-based approach,temporal logic,reusable specification building block,output pin,service engineer,reactive service,example specification,specification style,service specification,reusable collaboration,constraint satisfaction problem,unified modeling language,col
Data mining,World Wide Web,Semantic web services,Unified Modeling Language,Computer science,Input/output,Constraint satisfaction problem,Language Of Temporal Ordering Specification,Temporal logic,Dynamic web service composition
Conference
ISBN
Citations 
PageRank 
0-7695-2749-3
26
1.40
References 
Authors
10
2
Name
Order
Citations
PageRank
Frank Alexander Kraemer126221.13
Peter Herrmann215312.37