LEADER 05259nam 2200697Ia 450 001 9910820226703321 005 20240404143022.0 010 $a1-281-37322-2 010 $a9786611373221 010 $a981-277-283-9 035 $a(CKB)1000000000412254 035 $a(EBL)1679529 035 $a(OCoLC)879023693 035 $a(SSID)ssj0000199088 035 $a(PQKBManifestationID)11188034 035 $a(PQKBTitleCode)TC0000199088 035 $a(PQKBWorkID)10184484 035 $a(PQKB)10126917 035 $a(MiAaPQ)EBC1679529 035 $a(WSP)00006231 035 $a(Au-PeEL)EBL1679529 035 $a(CaPaEBR)ebr10201265 035 $a(CaONFJC)MIL137322 035 $a(iGPub)WSPCB0001091 035 $a(EXLCZ)991000000000412254 100 $a20070828d2006 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aMathematical frameworks for component software $emodels for analysis and synthesis /$f[edited by] Zhiming Liu, He Jifeng 205 $a1st ed. 210 $aHackensack, NJ $cWorld Scientific$dc2006 215 $a1 online resource (368 p.) 225 1 $aSeries on component-based software development ;$vv. 2 300 $aDescription based upon print version of record. 311 $a981-270-017-X 320 $aIncludes bibliographical references and index. 327 $aContents ; 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 327 $a2. 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 327 $a2.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 327 $a3.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 327 $a4.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 327 $a5.4. Inter-component coordination via mobile channels 330 $a 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 thi 410 0$aSeries on component-based software development ;$vv. 2. 606 $aComponent software$xMathematical models 606 $aComputer software 615 0$aComponent software$xMathematical models. 615 0$aComputer software. 676 $a005.3 701 $aHe$b Jifeng$f1943-$01708451 701 $aLiu$b Zhiming$f1961-$01708452 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910820226703321 996 $aMathematical frameworks for component software$94097451 997 $aUNINA