Formal architectural models for agent-based service systems
Zuohua Ding, Jianming Dong, Wei Han · International Journal of Computer Applications in Technology · 2008
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.