Modeling Service-Oriented Architecture Based On Process Algebra

With the development of software technology, a developing method of software system which is named Service-Oriented architecture is presented and develops rapidly. Nowdays, SOA is based on criterion of Web services which has been accepted widely, it is considered as basic frame of next generational Web services. According to that the researches on Web services are mostly focusing on the standard extension, developing tools and intergration applications, the design methods and formalized modeling of SOA system has showed many insufficiencies. We adoptπADL to describe the process of formalized modeling of SOA system and validate it.Firstly, this thesis introduces correlative technology of Service-Oriented and the theory of Pi Calculus. Secondly, it presents service definition and model, and describes the service roles, elements, attributes and interactions. At last, service, roles, and operations are defined by the Pi Calculus, and service attributes are comprehensively described and analyzed.For providing the formalization methods to describe, analyze and validate the applications and design of SOA, this thesis presents the formalization stipulations of an agreement of SOA modeling using theπADL, which is based on mobile process theory Pi Calculus.At first, author puts forward to basic structure of SOA, including the service, connector and configuration, then presents stipulations of an agreement of them. Service is gathered by the components which are described uniformly.πADL describes the behavior of components and conectors independently by carrying stipulations of an agreement of ports and roles. Configuration of SOA is an organism to assemble the components or services in a special way. Components could be assembled to services then services could be assembled to composite services. The technology of assembling includes assembling ports, connectors join and assembling operations.At last, this paper introduces an example of SOA modeling, and validates the process of modeling and analysis by MWB, which is a tool to validate automatically and based on Pi Calculus.