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 Full-text access for subscribers Purchase this article Comment on this article