Mathematical Frameworks for Component Software : Models for Analysis and Synthesis.

Mostrar otras versiones (1)

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 becomin...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Liu, Zhiming
Otros Autores: Jifeng, He
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Singapore : World Scientific Publishing Company, 2006.
Colección:Series on component-based software development.
Temas:
Component software > Mathematical models.
Computer software.
Software
Composants logiciels > Modèles mathématiques.
Logiciels.
software.
REFERENCE > General.
Computer software
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares