[1] Xu Donghong, Qi Yong, Hou Di, Shen Linfeng, et al. MAS-based dynamic web service composition formal model [J]. Journal of Southeast University (English Edition), 2008, 24 (3): 289-292. [doi:10.3969/j.issn.1003-7985.2008.03.009]
Copy
MAS-based dynamic web service composition formal model(
)
基于MAS系统的动态web服务组合形式化建模研究
)Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]
- Volumn:
- 24
- Issue:
- 2008 3
- Page:
- 289-292
- Research Field:
- Computer Science and Engineering
- Publishing date:
- 2008-09-30
Info
- Title:
- MAS-based dynamic web service composition formal model
- 基于MAS系统的动态web服务组合形式化建模研究
- Author(s):
- Xu Donghong; Qi Yong; Hou Di; Shen Linfeng; Du Xiaozhi; Wang Gongzhen
- School of Electronic and Information Engineering, Xi’an Jiaotong University, Xi’an 710049, China
- Keywords:
- dynamic web service composition; MAS(multi agent system); pi-calculus; process calculus; Pi4SOA
- PACS:
- TP301
- DOI:
- 10.3969/j.issn.1003-7985.2008.03.009
- Abstract:
- Applying dynamic web services composition is one of the important schemas for solving service-oriented architecture(SOA)and service-oriented computing(SOC).For implementing dynamic web services composition, the multi agent system(MAS)is applied to web services composition.First, the essentials of the MAS and web services composition are analyzed and their relationship is discussed.Secondly, an MAS-based architecture is designed for dynamic web services composition, and it is named as CSMWC.A Jade tool is used to implement the major components.The architecture can primarily implement syntactic level dynamic web services composition, and it gives a basis for semantic level dynamic web services composition.For specifying the correctness of the architecture, by using pi-calculus, the architecture of the MAS is formally described, and its dynamic properties and adaptability are reasoned.Finally, it demonstrates the idea proposed by the Pi4SOA tool.
- 动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现, 把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析, 讨论了MAS和web服务组合的关系.其次, 构建了基于MAS的web服务组合框架, 命名为CSMWC, 并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合, 并为语义级别的动态服务组合打下基础.为说明构建框架的正确性, 应用pi演算对构建的MAS体系结构进行形式化描述, 同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.
References:
[1] Blake M Brian.Forming agents for business process orchestration[C]//Proc of the 37th Hawaii International Conference on System Sciences.Washington, DC:IEEE Computer Society, 2004:202-211.
[2] Xu Donghong, Qi Yong, Hou Di, et al.SpiG4WSC:a calculus for secure services composition[C]//Proc of 2008 IEEE International Conference on Services Computing. Washington, DC:IEEE Computer Society, 2008, to appear.
[3] Maamar Zakaria, Mostefaoui Soraya Kouadri, Yahyaoui Hamdi.Toward an agent-based and context-oriented approach for web services composition[J].IEEE Transactions on Knowledge and Date Engineering, 2005, 17(5):686-697.
[4] Zhao Xinpei, Li Mingshu, Wang Qing, et al.An agent-based self-adaptive software process model[J].Journal of Software, 2004, 15(3):348-359.(in Chinese)
[5] Ishikawa F, Yoshioka N, Tahara Y, et al.Mobile agent system for web services integration in pervasive networks[C]//Proc of the First International Workshop on Ubiquitous Computing. Porto:INSTICC Press, 2004:38-47.
[6] Overdick Hagen, Puhlmann Frank, Weske Mathias.Towards a formal model for agile service discovery and integration[C]//Proc of the ICSOC Workshop on Dynamic Web Processes. Washington, DC: IEEE Computer Society, 2005:75-83.
[7] Liao Shouyi, Lu Hongwei, Chen Jian, et al.Research on conceptual framework for agent-based modeling and simulation[J]. Journal of System Simulation, 2006, 1(18):616-620.(in Chinese)
[8] Xu Wei, Jin Beihong, Li Jing.A mobile agent-based fault-tolerant model for composite web service[J].Chinese Journal of Computers, 2005, 128(4):558-567.(in Chinese)
[9] Ross-Talbot Steve.Pi4 techniques foundationhttp[EB/OL].(2004-05-12)[2008-04-01].http://pi4soa.sourceforge.net.
[10] Bellifemine Fabio, Caire Giovanni, Rimassa Giovanni, et al.Java agent development framework:an open source platform for peer-to-peer based applications[EB/OL].(2003-09-18)[2008-04-01].http://jade.tilab.com/.
[11] Guidi Claudio, Lucchi Roberto, Mazzara Manuel.A formal framework for web services coordination[J].Electronic Notes in Theoretical Computer Science, 2007, 180(2):55-70.
[12] Lucchi Roberto, Mazzara Manuel.A pi-calculus based semantics for WS-BPEL[J].Journal of Logic and Algebraic Programming, 2007, 70(1):96-118.
[13] Wirsing Martin, De Nicola Rocco, Gilmore Stephen, et al.SENSORIA process calculi for service-oriented computing[C]//Lecture Notes in Computer Science. Springer-Verlag, 2007, 4661:30-50.
Memo
- Memo:
-
Biographies: Xu Donghong(1978—), male, graduate;Qi Yong(corresponding author), male, doctor, professor, qiy@mail.xjtu.edu.cn.
Foundation items: The National Natural Science Foundation of China(No.90612014), IBM China Research Lab Joint Project.
Citation: Xu Donghong, Qi Yong, Hou Di, et al.MAS-based dynamic web service composition formal model[J].Journal of Southeast University(English Edition), 2008, 24(3):289-292.