Software Composition

1. Front Matter

   PDF

2. Composition and Interfaces

   1. Deriving Functional Interface Specifications for Composite Components

      • Perla Velasco Elizondo, Mbe Koua Christophe Ndjatchi

      Pages 1-17

   2. Comparing Machine Learning Approaches for Context-Aware Composition

      • Antonina Danylenko, Christoph Kessler, Welf Löwe

      Pages 18-33

   3. An Implementation of Composable Memory Transactions in Haskell

      • André Rauber Du Bois

      Pages 34-50

   4. Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems

      • Simon Bliudze, Joseph Sifakis

      Pages 51-67

3. Aspects and Features

   1. A Sequence of Patterns for Reusable Aspect Libraries with Easy Configuration

      • Maarten Bynens, Eddy Truyen, Wouter Joosen

      Pages 68-83

   2. Pluggable Aspect Instantiation Models

      • David H. Lorenz, Victor Trakhtenberg

      Pages 84-99

   3. Composing Event-B Specifications - Case-Study Experience

      • Ali Gondal, Michael Poppleton, Michael Butler

      Pages 100-115

4. Applications I

   1. A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems

      • Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Felix Ingrand, Axel Legay, Rongjie Yan

      Pages 116-132

   2. Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models

      • Joseph Porter, Daniel Balasubramanian, Graham Hemingway, János Sztipanovits

      Pages 133-140

   3. Assuring Architectural Properties during Compositional Architecture Design

      • Constanze Deiters, Andreas Rausch

      Pages 141-148

5. Applications II

   1. Coherence and Performance for Interactive Scientific Visualization Applications

      • Sébastien Limet, Sophie Robert, Ahmed Turki

      Pages 149-164

   2. Toward Validated Composition in Component-Based Adaptive Middleware

      • Annie Ressouche, Jean-Yves Tigli, Oscar Carrillo

      Pages 165-180

6. Back Matter

   PDF

The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences. The 10 revised full papers and 2 short papers were carefully reviewed and selected from 32 initial submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on composition and interfaces, aspects and features, and applications.

• adaptive middleware
• component-based middleware
• embedded systems
• formal methods
• machine learning

• University of Passau, Passau, Germany

  Sven Apel

• Microsoft Research, Redmond, USA

  Ethan Jackson

Policies and ethics