On Methodology And Techniques Of Developing Service Collaborative Autonomic Virtual Organizations

Nowadays one challengeable research topic is how to rapidly build safe and robust ScaVos (Service collaborative autonomic Virtual organizations) over the open, heterogeneous Internet filled with various types of servicing resources. Many problems need to be addressed in this area, which include not only developing approaches concerning autonomic service discovery and matchmaking, negotiation and assembly, and service collaborative running, but also problems of safeness and robustness related to ScaVo's collaborative business formation and enforcement procedures under the situation of local service autonomy. Due to the tanglesome of the issue, we need a systematic comprehensive solution to conquer the theoretic and technical difficulties occurring in developing ScaVos.ScaVos' development has been chosen as the exploring target in this paper. Its three important aspects: theoretical and technological framework, engineering methodology and key implementing techniques, have been studied. And a comprehensive framework—MM2SC (Macro-regulation & Micro-policy driven behavior management toward Service Collaboration ), has been worked out. The main research contents and results are as follows.Firstly, several typical complicated system architectural frameworks are analyzed and their deficiencies are pointed out while being applied to construct ScaVos, and thus our novel framework—MM2SC is proposed. Through four levels: macro-regulation layer, micro-behavior management layer, macro-micro linking layer, and service layer; as well as six models: macro-regulative E-institution model, macro-micro linkage model, micro-policy driven behavior management model, self assembly model, normative agreement conformance checking model, and self-adaptive model, MM2SC is able to systematically guide the design of new type of ScaVo's architecture.Secondly, to deal with the difficulties occurring in developing macro-regulative E-institution specification, an engineering methodology called ESD is proposed. It introduces the concept relation structure, modeling views and an engineering process model of E-institution specification to guide engineers to effectively capture the domain elements and build a sound domain E-institution specification.Thirdly, following the ESD's expatiation, the verification problem of E-institution specification is studied. The operational semantics of E-institution's social interactive structure is built and the satisfaction relation of norm formulas is defined. And further more, a deontic extended high level reference Petri net (DPN) and deontic extended temporal logic (DTL) approach is proposed to formally modeling and verifying E-instirution specification.Fourthly, for the implementations, domain concept classification and semantic similarity measure are studied based on ontology theory. And a use-scenario scheme based service description and a matchmaking algorithm are designed. Based on the general structure of a negotiation system, a negotiation based business collaboration forming process is discussed and a corresponding ScaVo's prototype environment is presented. The paper also studies the basic techniques of normative agents, and a norm conforming and policy-driven autonomic behavior management element has been designed and implemented.Finally, a case system study is presented to illustrate the feasiblity and usefulness of the proposed MM2SC technical framework in developing new style of ScaVo systems.