Research On Trustworthiness Of Resource Adaptability For Internetware

Computing platform is evolving from central, static and closed one into open, dynamic and changing one. These characteristics of computing platform determine that future software systems should have open architecture, and possess the capacity of dynamic coordination, on-line evolution, environment awareness, and self-adaptive nature in the Internet. Openness and dynamic nature of the Internet lead to resources provided for component compositional systems have uncertainty and randomness, thus affecting the behavior change of the systems. It poses us a challenge how to analyze and verify the behavior change of component compositional systems to improve the trustworthiness of Internetwere systems due to the fluctuation of its environment resources.The complexity of Internetwere systems determines that the trustworthiness of resource adaptability for the systems can be investigated from the macro level. At the SA (Softwere Architecture) level of Internetware, the trustworthiness of adaptability for Internetwere systems is guarateed by analyzing and verifying whether the systems satisfy timing and random resource constraints. Our work includes the following aspects:1. The resources on the Internet are uncertain and random. Interface automation using random resource semantics, called random resource interface automaton, is extended. Random resource interface automation networks are researched, and used to describe the behavior of component compositional systems. The dissertation verified whether the behavior of the systems satisfy random resource constraints, study the reached graph of interface automata based on random resource, and give an algorithm for checking whether the systems satisfy random resource constraints, minimum amount for resource demands based on reached graph.2. Aiming to checking whether component compositional systems satisfy timing constraints, resource interface automation using time semantics, called timing and resource interface automation, is extended, the combined behaviors of a component is modeled with timing and resource interface automata, timing behavior of component compositional systems is described through timing and resource interface automation networks, and the reached graph is studied based on timing and resource interface automation networks, and an algorithm for checking whether the systems satisfy timing and resource constraints is present based on reached graph.3. The dissertation gave an example for modeling online bookstore system using the above model, and showing that our model has practical significance.4. Finally, the dissertation researched the converting rules from the interface automata to model checking system language Promela, and verified the correctness of our model using model checker Spin.