| 一种Web服务组合的数学模型 |
| |
| 引用本文： | 周宇,张鹏程,李必信. 一种Web服务组合的数学模型[J]. 东南大学学报(自然科学版), 2007, 37(4): 593-598 |
| |
| 作者姓名： | 周宇 张鹏程 李必信 |
| |
| 作者单位： | 东南大学计算机科学与工程学院,南京,210096;东南大学计算机科学与工程学院,南京,210096;东南大学计算机科学与工程学院,南京,210096 |
| |
| 摘 要： | 为了更好地分析和验证Web服务组合,提出了一种描述服务间消息交互的Web服务组合数学模型.首先定义了个体服务形式化模型,并分析了相关性质,然后定义了消息交互的各种逻辑以及服务组合模式,并对消息交互逻辑进行了分析和实现,在此基础上,给出了服务组合模型的定义,并通过个体服务控制器、消息逻辑控制和全局控制算法实现了Web服务组合过程.该模型简洁灵活,具有可扩展性.实例分析表明,该模型能够对服务组合中的消息交互进行模拟.
|
| 关 键 词： | Web服务 服务组合 形式化模型 |
| 文章编号： | 1001-0505（2007）04-0593-06 |
| 修稿时间： | 2006-12-15 |
Mathematical model for Web service composition |
| |
| Zhou Yu,Zhang Pengcheng,Li Bixin. Mathematical model for Web service composition[J]. Journal of Southeast University(Natural Science Edition), 2007, 37(4): 593-598 |
| |
| Authors: | Zhou Yu Zhang Pengcheng Li Bixin |
| |
| Affiliation: | School of Computer Science and Engineering, Southeast University, Nanjing 210096, China |
| |
| Abstract: | A kind of mathematical model is introduced to describe the message interaction between services in Web service composition,which is useful for analyzing and verifying Web service composition.First,a formal model for single service is defined,and some attributes are discussed;then,several kinds of interaction logics between services are defined and the composition pattern is presented,the realization of the interaction logics is given at the same time.Based on them,the definition of Web service composition model is presented,and the process of Web service composition can be executed by single service controller,message logic controller and global control algorithm.The model is simple, flexible and extensible.The case analyses indicate that the model can simulate the interaction between services via message passing. |
| |
| Keywords: | Web service service composition formal model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
