• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>SOFSEM 2009: Theory and practice of computer science >Implementing Services by Partial State Machines
【24h】

Implementing Services by Partial State Machines

机译：通过部分状态机实施服务

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In the service-oriented approach to software engineering, interactive components offer contracted services through public interfaces. Over time a component receives a stream of service requests and generates a stream of responses. In general, a component is only prepared to serve a subset of possible requests in each situation - services are partial behaviours. On the specification level, we model services by stream functions defined on a restricted service domain. For the state-based implementation of services we introduce partial state machines. We present a transformation how to systematically implement a service by a partial state machine. The transformation exploits history abstractions to relate service histories with machine states. We illustrate the formal method with three characteristic applications, viz. an interactive stack, a bounded buffer and a server with registration.
机译：在面向服务的软件工程方法中，交互式组件通过公共接口提供合同服务。随着时间的流逝，组件接收服务请求流并生成响应流。通常，仅准备在每种情况下为可能的请求的子集提供服务的组件-服务是部分行为。在规范级别，我们通过在受限服务域上定义的流函数对服务建模。对于基于状态的服务实现，我们引入了部分状态机。我们提出了一种转变，如何通过部分状态机系统地实现服务。该转换利用历史抽象将服务历史与机器状态相关联。我们用三个特征应用程序来说明形式化方法。交互式堆栈，有界缓冲区和带注册的服务器。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号