Formalization of Service-oriented Software Architecture

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.