Formalization of Service-oriented Software Architecture
Zhicheng Wen · Jisuanji gongcheng · 2006
This paper discusses the service-oriented software architecture and formalizes the new service oriented SA using formal specification notation Z.It provides model for developing distributed software of service-orinted architecture.