The Design And Implementation Of The Dynamic Reconfiguration System For SOA-based Internetware

Internetware is a popular model for network resource integrating, and it consists of distributed autonomy software entities which have the ability to sense the environment and adapt to environment changing. The emergence of SO A makes a profound impact on software engineering practice, and SOA itself now becomes a principle for the distributed computation. While the SCA (Service Component Architecture) is a series of new industry specifications that helps SOA application development, and it structures IT assets as a series of reusable services that perform business functions. SCA also provides a model for the assembly of business solutions from collections of individual services, with control over aspects of the solution.During the running of a SOA-based system, the dynamic reconfiguration mechanism is particularly important; for it can be used in exception recovering and software updating while the system still running. This paper aims at dynamic reconfiguration technology in SOA-based software and it puts forward a set of dynamic configuration implemented mechanisms and methods, and the prototype system has been implemented based on this design. The main contents as following:Firstly, this paper introduces an architecture supporting dynamic reconfiguration for SOA-based software, the main process and the key functions. The designing work of the architecture is closely related with the dynamic reconfiguration mechanism, the architecture including the monitoring module, the configuration intention obtain module and process management module, etc. And the main process including reconfiguration trigger, reconfiguration implementation, validation & submission, and the key function involves exception detection, replacement of components while system running and configuration validation.Secondly, this paper introduces a method for component exception detection. It calculates the distance between the QoS property of a component which declared by the component provider and the actual QoS property while the component is providing services. An Exception is happen while the distance is out of the healthy boundary.Thirdly, the reconfiguration process of SCA component is described in the paper. It's a complex reconfiguration process involving system pause, status snapshot, validation and recovery, and is transparent to the end users.Finally, this paper describes a method for component consistency validation. In our design, the PI calculus is used to model the behavior of component, and we use the PI operating rules to deduce component interaction activities, and judge consistency formally.