Software Composition

The goal of the International Symposia on Software Composition is to advance the state of the research in component-based software development. We focus on the challenges related to component development, reuse, veri?cation and, of course,composition.Softwarecompositionisbecomingmoreandmoreimportant as innovation in software engineering shifts from the development of individual components to their reuse and recombination in novel ways. To this end, for the 2008 edition, researchers were solicited to contribute on topics related to component adaptation techniques, composition languages, calculi and type systems, as well as emerging composition techniques such as aspect-oriented programming, service-oriented architectures, and mashups. In line with previous editions of SC, contributions were sought focusing on both theory and practice, with a particular interest in e?orts relating them. This LNCS volume contains the proceedings of the 7th International S- posium on Software Composition, which was held on March 29-30, 2008, as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS), in Budapest, Hungary. We received 90 initial submissions from all over the world, out of which 70 were considered for evaluation by a Program Committee consisting of 30 - ternational experts. Among these submissions, we selected 13 long papers and 6 short papers to be included in the proceedings and presented at the conf- ence. Each paper went through a thoroughrevisionprocess and was reviewedby three to ?ve reviewers. This ensured the necessary quality for publishing these proceedings in time for the event, a ?rst in the history of the symposium.

Inhalt

Composition Languages.- Growing a Language: The GLoo Perspective.- Superimposition: A Language-Independent Approach to Software Composition.- Language Support for Managing Variability in Architectural Models.- Composition Middleware.- Composing Components and Services Using a Planning-Based Adaptation Middleware.- Component-Based Access Control: Secure Software Composition through Static Analysis.- Adding Support for Dynamics Patterns to Static Business Process Management Systems.- Service Composition.- Interface Composition for Web Service Intermediaries.- Goal-Oriented Composition of Services.- Composing Components with Shared Services in the Kmelia Model.- Performance Optimization.- OptBPEL: A Tool for Performance Optimization of BPEL Process.- Controlling the Performance Overhead of Component-Based Systems.- Profile-Guided Composition.- Loose Compositions for Autonomic Systems.- Applications.- Supporting Multidisciplinary Software Composition for Interactive Applications.- Compositional Modeling for Data-Centric Business Applications.- A Composition-Based Approach to the Construction and Dynamic Reconfiguration of Wireless Sensor Network Applications.- Aspect-Oriented Programming.- A Reflective Framework for Fine-Grained Adaptation of Aspect-Oriented Compositions.- Composing Safely - A Type System for Aspects.- Practical Conflict Resolution for the Composition of Program Transformations.