Service Specification by Composition of Collaborations--An Example
Service Specification by Composition of Collaborations--An Example
复制标题
DOI：
10.1109/wi-iatw.2006.121
复制
发表时间：
2006-12
期刊：
影响因子：
--
通讯作者：
F. Kraemer;Peter Herrmann
中科院分区：
文献类型：
--
作者：
F. Kraemer;Peter Herrmann
我们概述了反应式服务的规范样式，重点关注 UML 2.0 协作和活动作为可重用规范构建块。与传统的基于组件的方法相比，协作直接描述组件之间的交互以及组件参与其中所需的内部行为。为了从这种可重用的协作中组合服务，我们在连接在一起的活动上使用标识为输入和输出引脚的事件。虽然我们的方法正式解决了时间逻辑，但在本文中，我们从服务工程师的角度重点关注示例规范
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