服务组合的代数规约
【出 处】:
【作 者】:
陈颖
[1]
刘冬梅
[1]
朱鸿
[2]
兰斌
[1]
何娟娟
[1]
【摘 要】现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法.用代数规约单元描述服务系统中的各种实体,其中基调部分定义实体的语法和结构,公理部分定义其功能和行为特性.与一个服务相关的规约单元封装在一个包中或拆分在几个相互引用的包中,每个包形成一个命名空间.当多个服务组合在一起时,以这些服务的代数规约包为基础,一方面抽象地定义组合服务的交互过程和语义,形成描述服务组合实现方式的实现规约包;另一方面抽象地定义组合服务对外接口及其功能语义,形成描述组合服务需求的抽象规约包.在实现规约和抽象规约的双元结构基础上,进一步定义了实现规约和抽象规约之间必须满足的“实现”关系,证明了满足实现关系可以保证实现的正确性,从而为服务组合的可验证性和可测试性奠定了理论基础.最后结合实例分析阐述了用代数规约描述服务组合的抽象性、可表达性和可验证性.
相关热词搜索: Web服务 服务组合 代数规约 形式化方法
上一篇: 基于CPN模型的REST服务架构标准特征验证方法研究
下一篇: 基于不可满足原因的最小纠正集求解