05258nam 2200685Ia 450 991045153410332120200520144314.01-281-37322-29786611373221981-277-283-9(CKB)1000000000412254(EBL)1679529(OCoLC)879023693(SSID)ssj0000199088(PQKBManifestationID)11188034(PQKBTitleCode)TC0000199088(PQKBWorkID)10184484(PQKB)10126917(MiAaPQ)EBC1679529(WSP)00006231(Au-PeEL)EBL1679529(CaPaEBR)ebr10201265(CaONFJC)MIL137322(EXLCZ)99100000000041225420070828d2006 uy 0engur|n|---|||||txtccrMathematical frameworks for component software[electronic resource] models for analysis and synthesis /[edited by] Zhiming Liu, He JifengHackensack, NJ World Scientificc20061 online resource (368 p.)Series on component-based software development ;v. 2Description based upon print version of record.981-270-017-X Includes bibliographical references and index.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 ; Bibliography2. 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 Coordinator2.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 UML3.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 Services4.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 model5.4. Inter-component coordination via mobile channels 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 thiSeries on component-based software development ;v. 2.Component softwareMathematical modelsComputer softwareElectronic books.Component softwareMathematical models.Computer software.005.3He Jifeng1943-980624Liu Zhiming1961-980625MiAaPQMiAaPQMiAaPQBOOK9910451534103321Mathematical frameworks for component software2237451UNINA