Results 11 -
11 of
11
Service Specification by Composition of Collaborations — An Example
"... 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 tra-ditional component-based approaches, a collaboration di-rectly describes the interactions between the components as well as the i ..."
Abstract
- Add to MetaCart
(Show Context)
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 tra-ditional component-based approaches, a collaboration di-rectly 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 col-laborations, 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. 1.