Mathematical Frameworks for Component Software : Models for Analysis and Synthesis.
Title:
Mathematical Frameworks for Component Software : Models for Analysis and Synthesis.
Author:
Liu, Zhiming.
ISBN:
9789812772831
Personal Author:
Physical Description:
1 online resource (368 pages)
Series:
Series on Component-Based Software Development ; v.2
Series on Component-Based Software Development
Contents:
Contents -- Preface -- 1. Temporal Specification of Component Based Systems with Polymorphic Dynamic Reconfiguration -- 1.1. Introduction -- 1.2. A Model of Reconfigurable Component Based Systems -- 1.3. A Temporal Specification Language -- 1.4. Conclusions -- Bibliography -- 2. Coordinated Composition of Software Components -- 2.1. Introduction -- 2.2. Components and Their Composition -- 2.3. System Composition Example -- 2.4. Constraint Automata -- 2.5. ABT as Relations on Timed Data Streams -- 2.6. Reo -- 2.7. Time/Temperature Display Coordinator -- 2.8. Conclusions -- Bibliography -- 3. On the Semantics of Componentware: A Coalgebraic Persecutive -- 3.1. Introduction -- 3.2. Why Coalgebra Matters -- 3.3. Components as Coalgebras and their Calculi -- 3.4. Application to the Semantics of UML -- 3.5. Application to the Design of Component Repositories -- 3.6. Conclusions and Further Work -- Bibliography -- 4. A Theory for Requirements Specification and Architecture Design of Multi-Functional Software Systems -- 4.1. Motivation -- 4.2. Components Interfaces and Services -- 4.3. Specifying Structuring Relating and Combining Services -- 4.4. Architectures: Composing Components and Services -- 4.5. Summary and Outlook -- Bibliography -- 5. Component: From Mobile to Channels -- 5.1. Introduction -- 5.2. UML -- 5.3. The component model -- 5.4. Inter-component coordination via mobile channels -- 5.5. Conclusion -- Bibliography -- 6. Formalizing the Transition from Requirements to Design -- 6.1. Introduction -- 6.2. Behavior Trees -- 6.3. Genetic Design -- 6.4. Comparison with UML and Other Methods -- 6.5. Conclusion -- Bibliography -- 7. rCOS: A Relational Calculus of Components -- 7.1. Introduction -- 7.2. Interfaces -- 7.3. Specification of Methods -- 7.4. Contract -- 7.5. Contracts with Private Methods -- 7.6. Component.
7.7. Refinement Rules for Components -- 7.8. Client-Server Systems -- 7.9. Conclusion -- Bibliography -- 8. Charaterising Object-Based Frameworks in First-Order Predicate Logic -- 8.1. Introduction -- 8.2. Catalysis Frameworks -- 8.3. A Cursory Overview of FML -- 8.4. The Specification of Structure -- 8.5. Structuring and Modularity -- 8.6. Behavioural Modelling and Specification -- 8.7. Framework Consistency -- 8.8. Frameworks in Component Modelling -- 8.9. Related Work -- 8.10. Summary -- Bibliography -- 9. Formalization in Component Based Development -- 9.1. Introduction -- 9.2. Components Interfaces and Aspects -- 9.3. Component Based Development -- 9.4. Case Study -- 9.5. Conclusion -- Bibliography -- 10. A Model-Driven Approach for Building Business Components -- 10.1. Introduction -- 10.2. Traditional development approach -- 10.3. Model driven development approach -- 10.4. Aspect-oriented model-driven development approach -- 10.5. A case-study for the approach -- 10.6. Conclusions and future work -- Bibliography -- 11. A Formal Approach to Constructing Well-Behaved Systems Using Components -- 11.1. Introduction -- 11.2. Component Model -- 11.3. Behavioural Presentations for Components -- 11.4. Composition of Components -- 11.5. Conclusions and Future Work -- Bibliography -- Subject Index.
Abstract:
The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. These include the notions of interfaces, contracts, services, connectors and architectures. Key issues in the application of the technology are becoming clearer, including the consistent integration of different views of a component, component composition, component coordination and transformation for platforms. However, we still know little about theories that support analysis and synthesis of component-based systems. The distinct feature of this volume is its focus on mathematical models that identify the "core" concepts as first class modeling elements, and its providing of techniques for integrating and relating them. The volume contains eleven chapters by well-established researchers writing from different perspectives. Each chapter gives explicit definitions of components in terms of a set of key aspects and addresses some of the problems of integration and analysis of various views: component specification, component composition, component coordination, refinement and substitution, and techniques for solving problems. The concepts and techniques are motivated and explained with the help of examples and case studies. Sample Chapter(s). Chapter 1: Temporal Specifications of Component Based Systems with Polymorphic Dynamic Reconfiguration (325 KB). Contents: Temporal Specifications of Component Based Systems with Polymorphic Dynamic Reconfiguration (N Aguirrea & T Maibaum); Coordinated Composition of Software Components (F Arbab); On the Semantics of Componentware: A Coalgebraic Persecutive (L S Barbosa et al.); A Theory for Requirements Specification and Architecture Design (M Broy); Component: From Mobile to Channels (F S de Boer et al.); Formalizing the Transition from Requirements to Design
(R G Dromey); rCOS: A Relational Calculus of Components (Z Liu et al.); Characterizing Object-Based Frameworks in First-Order Predicate Logic (S-M Ho & K-K Lau); Formalization in Component Based Development (J P Holmegaard et al.); A Model-Driven Approach for Building Business Components (V Kulkarni & S Reddy); A Formal Approach to Constructing Well-Behaved Systems Using Components (S Moschoyiannis et al.). Readership: Researchers and graduate students in software engineering.
Local Note:
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2017. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Genre:
Added Author:
Electronic Access:
Click to View