Component Assembly Based On The Formal Semantics And Evolution Of The Study

Component-based software development (CBSD) is an appealing approach for industry-scale software construction. CBSD promises not only improving software productivity, reducing the time-to-market and catching business opportunities, but also differentiate software manufacturer from others in terms of customer satisfactory and software quality, as well as making software projects successful. Component technology has become the cornerstone for software industry makes progress. It has become a worldwide trend to adopt CBSD in software application development process.Component composition and evolution establish the foundation for software reuse and high-quality software construction. However, the description of component always in a so informal way that the properties of component structure and behavior can not be rigorously stated. There is no way to assign component functionality to precise meaning. Unanticipated interactions among the components are often the cause of failures.Formal methods make the component semantics be explicitly described. In this thesis, we introduce a rigorous modeling and analysis approach for software component composition and evolution. The formal semantic model characterizes the structural and behavioral aspects of component. And based on the model, component composition and evolution related issues are studied. Specifically, major contributions are as follows:Firstly, this thesis develops a formal semantic model for component that is based on predicate logic, set theory and Pi-calculus. It not only focuses on the structural aspect of component, but also modeling the behavioral aspect. Makes the functionality precisely stated.Secondly, combine the features of component composition; this thesis proposes a link specification-based component composition method. Besides, this thesis proposes reasoning algorithms on component composition, specifically focus on reasoning...