[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(
)
)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
- 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.
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.