Title: Formal architectural models for agent-based service systems
Authors: Zuohua Ding, Jianming Dong, Wei Han
Addresses: Center of Mathematical Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, PR China. ' Center of Mathematical Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, PR China. ' Center of Mathematical Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, PR China
Abstract: This paper describes formal architectural models for three types of service systems: static service system, dynamic service system and mobile service system. The system architectures are agent based. For each model, we investigate the properties and give the case study.
Keywords: service oriented architecture; SOA; multi-agent systems; MAS; Petri nets; agent-based systems; formal architectural models; service systems.
DOI: 10.1504/IJCAT.2008.017718
International Journal of Computer Applications in Technology, 2008 Vol.31 No.1/2, pp.45 - 63
Published online: 27 Mar 2008 *
Full-text access for editors Access for subscribers Purchase this article Comment on this article