Petri Net-based Service-Oriented Architecture Description Language

AS a newly developing research interests in Software engineering recently, Service-Oriented Architecture (SOA) gets a quick development and application because of its ability of dealing with the complex and volatile enterprise transaction demands. Service-Oriented focuses on service, takes Internet as its support platform, guarding with distributed theory, it combines the services in the Internet flexibly and transparently to accomplish special transaction demand. The formal method in the service-oriented field is still in early stages, and non-formal description in architecture has brought many difficulties in the development of a software system because of its ambiguities and inconsistencies. Based on the above, this paper makes research and analysis on service and SOA, proposes the role-based SOA reference model and the service-oriented architecture description language named SOP/ADL. Using SOP/ADL in the SOA, it can assure the accuracy of the system description, verify the feasibility and effectiveness before the implementation of the described system. This paper presents the following work:First, using the inherit method, this paper analyzes the service elements, the attributes and their relationships in detail, obtains the basic attributes and target attributes of service. This paper proposes the role-based SOA reference model based on former analysis of service attribute, then deeply analyzes of the role and data element in static model, and the interaction between the roles in dynamic model, and shown the relationships between the static model and the dynamic model finally.Secondly, based on the research in SOA, this paper proposes the basic framework of the service-oriented architecture description language, which contains fundamental elements such as service component, connector and configuration. Then this paper presents the definition of SOP/ADL (Service-Oriented Petri-based Architecture Description Language) based on Petri net. and describes four essential operation of service component defined before.Finally, this paper analyzes a model structure of a simple SOA instance, describes that instance with SOP/ADL, and uses Petri net analysis methods to verify the generated Petri net system’s properties, then obtains the verification of the feasibility and the correctness of SOP/ADL in SOA system.