Research Of System Modeling And Quality Assurance Towards Internetware

The open and uncontrollable Internet environment raises the development of Internetware,which contains dynamic,self-adaptive and multi-goals characteristics.The advert of Internetware brings new challenges to traditional software development and draws great attention.Along with the development of Internetware,it is quite necessary to discuss the basic principles of Internetware and then propose a novel theory,the corresponding methodology and techniques to achieve the goal of trustworthiness.The theory focuses on the software architecture,which is able to abstract the architecture,control the complexity and assure qualities of the system.In this paper,we focus on the new requirements of the aspects of system modeling and quality assurance.We propose an architecture description language-Breeze/ADL,which can be applied to Internetware modeling.With the help of meta-model extension technology,we extend Breeze/ADL model with a quality attribute model.Thus,the extended Breeze/ADL is able to integrate with quality analysis methods,in order to satisfy trustworthiness requirements.Towards the evolution feature of the Internetware,the paper introduces the concept of software cybernetics and proposes a novel software architecture evolution framework of the Internetware.In this framework,behavioral definitions of Internetware are verified and repaired.The framework helps to achieve the goal of controlling the behavior of Internetware.The paper also establishes the bidirectional mapping between Breeze/ADL model and other architectural models.The bidirectional mapping is beneficial to keep the information's consistency between different models and create a variety of compatible target notations,to satisfy the requirement of multi-goal modeling.The main contributions and novelty of this paper are shown as follows:1.We design an architecture description language-Breeze/ADL,which can be applied to Internetware modeling.We fully analyze the typical features and modeling requirements of Internetware,and conclude design principles of Breeze/ADL.Breeze/ADL defines modeling elements,including architecture,components/connectors,configuration,style constraints and evolution.These elements support to express the subjectivity of Internetware.Moreover,Breeze/ADL designs operations to support Internetware evolution.We also develop an architectural modeling tool Breeze to support visual modeling of Breeze/ADL definitions.2.We propose the ReliabilitySpecification and SafetySpecification.In these specifications,core attributes in reliability and safety analysis methods are defined.With the help of meta-model extension,above attributes are able to associate with architectural modeling elements.The modeling ability of Breeze/ADL is extended.The extended Breeze/ADL model is integrated with Markov Chain analysis method and fault tree analysis method.According to analysis results,we define Production elements to guide architecture evolution.Productions are abstracted as formal models to verify that Productions are defined correctly and effectively.Moreover,Breeze has been also integrated with corresponding plugins to support automatic and visual analysis.3.We design an evolution framework based on software cybernetics.We adopt Breeze/ADL to specify the architecture model of Internetware,and leverage model checker-NuSMV to verify behavior definitions whether they contain conflicts and lack essential dependencies.According to counter examples,we design control algorithms and state transition matrix to record the legal region of Internetware behavior definitions.The legal region helps to derive Production definitions.Then,the execution of Productions guides the architecture evolution.In this way,we achieve the goal to control the Internetware behaviors.We also develop corresponding tools to support the above process.4.We design a bidirectional transformation framework towards architecture models.In the framework,we illustrate the design principles of architecture modeling core elements.We combine various features of architecture description languages to derive architecture modeling core elements.Based on core elements,we design an execution framework which is integrated into the bidirectional engine-GRoundTram to support architectural model transformation with XML format.We present bidirectional transformation rules between Breeze/ADL model and Darwin/FSP model.We establish the formal model for the transformation to discuss the semantic consistency,so as to make sure that the transformation is correct.We also give out the synchronization operations between models,so as to ensure the information consistency between models.