Service Model Driven Architecture (SMDA) Oriented Modeling Techniques And Tool Implemention

Along with the integration of the global economy, the social division of labor gradually broken down and inter-regional cooperation has become more and more. Service is no longer simple activities provided by a single person or business, but a complex industrial chain that cooperated by many participants. Therefore, the modern service system is a highly collaborative and distributed social system. To construct the complex system, we need a method system covering the service entire life-cycle to plan the service system architecture and function, described/modeling, construction and performance evaluation. Modeling determines on the efficiency of building services systems, so service modeling system have vital effect on building a service system.In this thesis, we study service modeling in service model-driven architecture and its model transformation.First, we analyze the existing service model and the needs of service modeling. Combined with MDA technology and thought of components, we put forward the service model-driven architecture (SMDA) specification, we describe the three layers of SMDA, service requirement model, service behavior and capability model and service execution model. The describing method and the modeling process of four threads that include behavior thread, organization thread, resource thread and information thread are demonstrated. Furthermore, we provide the formal definition and graphic expression of key model elements of every view, and then discuss the enganced semantic of model. Then we conclude the modeling method of SMDA.Then, we discuss model transformation between three-models. The formal definition of SMDA model is provided, then we define a set of consistent rules to keep consistency of service model and describe the method for verifying the consistency. Furthermore, we define the transformation rules for meta models and semantic transformation rules, the model transformation is implemented and meanwhile we discuss the model transformation method between different model layers to accelerate the speed and efficiency of modeling.Finally, we develop SMDA modeling tool to support SMDA modeling and model transformation. We describe the design of SMDA modeling tool from general to detail, discuss the design and key technology of every module, and provide an example to illuminate the system.