[1]周宇,张鹏程,李必信.一种Web服务组合的数学模型[J].东南大学学报(自然科学版),2007,37(4):593-598.[doi:10.3969/j.issn.1001-0505.2007.04.010]
 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.[doi:10.3969/j.issn.1001-0505.2007.04.010]
点击复制

一种Web服务组合的数学模型()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
37
期数:
2007年第4期
页码:
593-598
栏目:
计算机科学与工程
出版日期:
2007-07-20

文章信息/Info

Title:
Mathematical model for Web service composition
作者:
周宇 张鹏程 李必信
东南大学计算机科学与工程学院,南京 210096
Author(s):
Zhou Yu Zhang Pengcheng Li Bixin
School of Computer Science and Engineering, Southeast University, Nanjing 210096, China
关键词:
Web服务 服务组合 形式化模型
Keywords:
Web service service composition formal model
分类号:
TP311
DOI:
10.3969/j.issn.1001-0505.2007.04.010
摘要:
为了更好地分析和验证Web服务组合,提出了一种描述服务间消息交互的Web服务组合数学模型.首先定义了个体服务形式化模型,并分析了相关性质,然后定义了消息交互的各种逻辑以及服务组合模式,并对消息交互逻辑进行了分析和实现,在此基础上,给出了服务组合模型的定义,并通过个体服务控制器、消息逻辑控制和全局控制算法实现了Web服务组合过程.该模型简洁灵活,具有可扩展性.实例分析表明,该模型能够对服务组合中的消息交互进行模拟.
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.

参考文献/References:

[1] Milanovic N,Malek M.Current solutions for Web service composition[J].IEEE Internet Computing,2004,8(6):51-59.
[2] Kazhamiakin R,Pistore M,Santuari L.Analysis of communication models in Web service compositions[C] //Proceedings of the 15th International Conference on World Wide Web.Edinburgh:ACM Press,2006:267-276.
[3] Berardi D,Rosa F D,Santis L D,et al.Finite state automata as conceptual model for e-Services[J].Integrated Design and Process Technology,2003,7:21-30.
[4] Fu X,Bultan T,Su J W.Conversation protocols:a formalism for specification and verification of reactive electronic services[J]. Theoretical Computer Science,2004,328(1/2):19-37.
[5] Huang H,Tsai W T,Paul R,et al.Automated model checking and testing for composite Web services[C] //Proceedings of the 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing.Seattle,WA,USA,2005:300-307.
[6] Rachid H,Boualem B.A Petri net based model for Web service composition[C] //Proceedings of the 14th Australian Database Conference on Database Technologies.Adelaide,2003:191-200.
[7] 郭玉彬,杜玉越,奚建清.Web服务组合的有色网模型及运算性质[J].计算机学报,2006,29(7):1067-1075.
  Guo Yubin,Du Yuyue,Xi Jianqing.A CP-Net model and operation properties for Web service composition[J]. Chinese Journal of Computers,2006,29(7):1067-1075.(in Chinese)
[8] Alonso G,Casati F,Kuno H,et al. Web services:concepts,architectures,and applications[M].Berlin:Springer Verlag,2004:124-125.
[9] Fu X,Bultan T,Su J W.Analysis of interacting BPEL Web services[C] //Proceedings of 13th International Conference on World Wide Web.New York,2004:621-630.
[10] 廖军,谭浩,刘锦德.基于PI-演算Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-642.
  Liao Jun,Tan Hao,Liu Jinde.Describing and verifying Web service using PI-calculus[J]. Chinese Journal of Computers,2005,28(4):635-642.(in Chinese)

相似文献/References:

[1]谢春丽,李必信,苏志勇.基于WSDG的Web服务组合可靠性预测[J].东南大学学报(自然科学版),2012,42(6):1074.[doi:10.3969/j.issn.1001-0505.2012.06.010]
 Xie Chunli,Li Bixin,Su Zhiyong.WSDG-based reliability prediction approach for Web service composition[J].Journal of Southeast University (Natural Science Edition),2012,42(4):1074.[doi:10.3969/j.issn.1001-0505.2012.06.010]
[2]李文清,张常有,曹元大,等.Web服务对等联盟组织演化机制[J].东南大学学报(自然科学版),2011,41(3):463.[doi:10.3969/j.issn.1001-0505.2011.03.006]
 Li Wenqing,Zhang Changyou,Cao Yuanda,et al.Evolving mechanism of peer to peer alliance for Web service[J].Journal of Southeast University (Natural Science Edition),2011,41(4):463.[doi:10.3969/j.issn.1001-0505.2011.03.006]
[3]王喜凤,李必信,廖力,等.基于优化逆问题的Web服务选择[J].东南大学学报(自然科学版),2011,41(3):437.[doi:10.3969/j.issn.1001-0505.2011.03.001]
 Wang Xifeng,Li Bixin,Liao Li,et al.Inverse optimization problem based Web services selection[J].Journal of Southeast University (Natural Science Edition),2011,41(4):437.[doi:10.3969/j.issn.1001-0505.2011.03.001]
[4]翟社平,魏娟丽,李增智.基于Agent协商的语义Web服务知识模型[J].东南大学学报(自然科学版),2009,39(6):1114.[doi:10.3969/j.issn.1001-0505.2009.06.006]
 Zhai Sheping,Wei Juanli,Li Zengzhi.Semantic Web services knowledge model based on agent negotiation[J].Journal of Southeast University (Natural Science Edition),2009,39(4):1114.[doi:10.3969/j.issn.1001-0505.2009.06.006]
[5]孙明杰,李必信,张鹏程.一种基于监控需求的Web服务运行时监控方法[J].东南大学学报(自然科学版),2009,39(4):716.[doi:10.3969/j.issn.1001-0505.2009.04.013]
 Sun Mingjie,Li Bixin,Zhang Pengcheng.Monitoring requirements-based method for runtime monitoring of Web services[J].Journal of Southeast University (Natural Science Edition),2009,39(4):716.[doi:10.3969/j.issn.1001-0505.2009.04.013]
[6]冯名正.CORBA与Web服务集成技术[J].东南大学学报(自然科学版),2005,35(6):843.[doi:10.3969/j.issn.1001-0505.2005.06.003]
 Feng Mingzheng.Integration of Web Services and CORBA[J].Journal of Southeast University (Natural Science Edition),2005,35(4):843.[doi:10.3969/j.issn.1001-0505.2005.06.003]

备注/Memo

备注/Memo:
基金项目: 国家自然科学基金资助项目(60473065).
作者简介: 周宇(1983—),男,硕士生; 李必信(联系人),男,博士,教授,博士生导师, bx.li@seu.edu.cn.
更新日期/Last Update: 2007-07-20