Research On The System Service Method Based On Formal Specification

As a realization form of SOA,Web services has played an important role in the fileds of e-commerce and enterprise applications recently.The way of thinking software as components makes system service-oriented integration a new software reuse solution.On the one hand,most of existing methods only consider the internal structure or the business functions of the system in the system modeling,which are not enough to describe the system architecture and the dependencies among the functional modules vividly.On the other hand,due to the vague granularity of services and the limitation of strategies in service-oriented integration,the performance,stability and flexibility of the system can not satisfy the user requirements.In this thesis,we studied how to make system service-oriented integration more efficient.A system modeling method based on formal specification is proposed to describe the system structure and the dependencies between functional modules vividly.In order to solve the problems of system performance,stability and flexibility after integration,we proposed business-oriented identification method and middle layer functional components services encapsulation strategy.The main work includes:1.We proposed a modeling method which combined static description of classes with dynamic business process description.This method used sort model based on algebraic specifications to describe the static relationships within the system and a common business process model to describe the dynamic relationships between functional modules.Based on these,we also proposed the generation and reduction algorithms of sort model.2.We proposed service identification and verification method for service-oriented integration.Firstly,an agglomerative hierarchical clustering algorithm is applied to identify services using business process as granularity.Secondly,new functional components are developed to encapsulate services to ensure system stability and flexibility.Finally,we use algebraic specification testing technology to validate these services.3.We developed the prototype services identification tool by java,and reported two case studies on MTAC and online Study applications.The results of case studies showed that system service-oriented integration method based on formal specification is feasible and effective for small and medium-size open-source systems.