| 服务组合的代数规约 |
| 陈颖;刘冬梅;朱鸿;兰斌;何娟娟; |
| 关键词：Web服务;服务组合;代数规约;形式化方法 |
| 主要内容：现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法。用代数规约单元描述服务系统中的各种实体,其中基调部分定义实体的语法和结构,公理部分定义 |
| 《计算机工程与科学》 2018,40(06):1075-1083 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号