LEADER 04520nam 2200589 a 450 001 9910484155503321 005 20200520144314.0 010 $a3-540-28749-3 024 7 $a10.1007/11550679 035 $a(CKB)1000000000213226 035 $a(SSID)ssj0000320099 035 $a(PQKBManifestationID)11258297 035 $a(PQKBTitleCode)TC0000320099 035 $a(PQKBWorkID)10342364 035 $a(PQKB)10808597 035 $a(DE-He213)978-3-540-28749-0 035 $a(MiAaPQ)EBC3068396 035 $a(PPN)123097223 035 $a(EXLCZ)991000000000213226 100 $a20050726d2005 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSoftware composition $e4th international workshop, SC 2005, Edinburgh, UK, April 9, 2005 : revised selected papers /$fThomas Gschwind, Uwe Assmann, Oscar Nierstrasz (eds.) 205 $a1st ed. 2005. 210 $aBerlin ;$aNew York $cSpringer$dc2005 215 $a1 online resource (X, 202 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3628 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-28748-5 320 $aIncludes bibliographical references and index. 327 $aDynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments -- Improving Composition Support with Lightweight Metadata-Based Extensions of Component Models -- Directory Support for Large-Scale, Automated Service Composition -- Component Controls and Protocols -- Analysis of Compositional Conflicts in Component-Based Systems -- A Lambda Calculus with Forms -- A Model of Components with Non-regular Protocols -- A Java Implementation of a Component Model with Explicit Symbolic Protocols -- Towards Distributed Contract Negotiation in Component-Based Systems -- Component Adaptation and Configuration -- On Typesafe Aspect Implementations in C++ -- Flexible Binding for Reusable Composition of Web Services -- Stateful Aspects in JAsCo -- Invasive Configuration of Generic Components. 330 $aComponent-based software development is the next step after object-oriented programming that promises to reduce complexity and improve reusability. These advantages have also been identified by the industry, and consequently, over the past years, a large number of component-based techniques and processes have been adopted in many of these organizations. A visible result of this is the number of component models that have been developed and standardized. These models define how individual software components interact with each other and simplify the design process of software systems by allowing developers to choose from previously existing components. The development of component models is a first step in the right direction, but there are many challenges that cannot be solved by the development of a new component model alone. Such challenges are the adaptation of components, and their development and verification. Software Composition is the premiere workshop to advance the research in component-based software engineering and its related fields. SC 2005 was the fourth workshop in this series. As in previous years, SC 2005 was organized as an event co-located with the ETAPS conference. This year?s program consisted of a keynote on the revival of dynamic languages given by Prof. Oscar Nierstrasz and 13 technical paper presentations (9 full and 4 short papers). The technical papers were carefully selected from a total of 41 submitted papers. Each paper was thoroughly peer reviewed by at least three members of the program committee and consensus on acceptance was achieved by means of an electronic PC discussion. This LNCS volume contains the revised versions of the papers presented at SC 2005. 410 0$aLecture notes in computer science ;$v3628. 517 3 $aSC 2005 606 $aSoftware engineering$vCongresses 615 0$aSoftware engineering 676 $a005.1 686 $a54.52$2bcl 701 $aGschwind$b Thomas$01757017 701 $aAssmann$b Uwe$f1963-$01757018 701 $aNierstrasz$b Oscar Marius$f1957-$0771220 712 12$aETAPS 2005$f(2005 :$eEdinburgh, Scotland) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484155503321 996 $aSoftware composition$94194653 997 $aUNINA