For quickly searching out service composition schema matching user's preferences as good as possible,in all service composition meeting requirements of users,this paper proposed an approach of selecting service composition schema based on multi-attribute group decision theory.First,calculated distance between sub-service and user's preference with matching rules,and then,selected service to combine in a sequence,subsequently,produced set of service compositions.In the approach,user's multi-preference regard as decision maker,consequently,all the service compositions could be sorted by multi-attribute group decision theory,consequently,obtained the best service composition.Experiment results show that this method can work out good solution with less running time,and confirm the feasibility and validity of the method.

The work focuses not only on how to find right Web services that meet user's requirements,but also to select the optimal solution and service in numerous similar services and composition schemes.It put forward an approach of selecting service which based on domain ontology and QoS attributes.It could formalize Web services into input and output semantics parameter based on the concept of domain ontology so as to conclude a series of Web services,which met functional requirement.It made full use of QoS attributes as well as decision evaluation to attain the optimal solution.In the end,the effectiveness and feasibility can be verified by means of the experiment.

It is a topic of challenge for how to develop internetware in an open,dynamic,complex Internet environment.Formal model of internetware,refinement theory,and formal verification are researched from the life cycle of the internetware.First of all introduced basic theory of ASM,and then proposed the model of component that oriented internetware,and formally described the model of component with abstract state machine.On that basis,translated the problem of coarse-grained abstract component mapping to entity component into the refinement of connector.It proposed a bidirectional verification approach of composition scheme,which made the final system correct,in meta level of architecture.On the whole,the research mentioned above can help to find and fix the errors at as early stage as possible.It is the right way to develop internetware.

The emergence of service-oriented architecture provides a solution for distributed applications enterprise.How to quickly find the concrete service or the composition solution is the burning issue.According to the input and output of Abstract service and some function properties,the process work of the Abstract service composition was constructed,and then proposed an approach of solving for service composition program,which based on semantic Web service and figure planning,in order to refine the Abstract service.In the refinement process,Web services were mapped to the formal description of the action plan,reasoning out the Web service composition programs.It made full use of service similarity to choose concrete service and program optimized.At last,the simulation experiments show the effectiveness of the method.

From component perspective, combined with the technology of agent, this paper presented an component model called E-BDI, which was able to adapt itself to the requirements’ and runtime environment’s variability. Based on the higher-order polytypic π-calculus theory, through the way of extended the existing researching achievement D-ADL, it presented an architecture description language SOS-ADL which could descript the self-adaptive component’s dynamic behavior from the runtime perspective. To reach the goal of self-adaptive software’s implement, depicied the self-adaptive component of E-BDI structure was formally with SOS-ADL, which could deduce itself behavior according to the variability of the environment and the requirement. At last, illustrated the software oriented self-adaptive architecture description language’s application through a case.

In order to improve the level of management of the expressway,and distribute the return in reason,introduces the structure designing of the toll allocation for the expressway network system on the base of the toll for the expressway network system.The designing of the structure mainly consists of architecture structure network topology and logical structure.Presents a new algorithm which is based on the path net model,the algorithm also well adapts to the type and calculating weight mode,which manifests that the algorithm is agile and high efficiency.This system has been applied to the expressway administration of Hunan province,and the practice has proved its feasibility and practicability.

Combined with the technology of agent,from component perspective,through the way of packing the traditional component,adding behavior rule driven and behavior deduced mechanism into the traditional component,this paper presented a self-adaption component which could adapt itself to the varieties of user's requirements and runtime environment.In the area of self-adaption component's running environment and its support platform,implemented a tool which could dynamically customize self-adaption component's behavior,and improved the existing component's support platform to meet the needs of self-adaption component of running.In the end,explained the self-adaption component's designing,implementation,running and evolution through an example.Some development examples imply that this mechanism and the whole support framework can support the development of the self-adaption internetware effectively.

There are still lots of problems of strategy and technique to be solved in the construction of digital campus information portal. The portal’s architecture, the description of technology standards and the working processing are discussed, from the construction goal of portal technology. Due to the needs of campus information portal construction, a scheme of campus information portal based on portlet is presented, and then it solves the problems of application system integration, information integration and customized information service in digital campus construction. This system reduces the cost of portal implementation and management and increases the efficiency, so it has a great impact on digital campus construction, and practices well.