Software Composition
10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
Published on 28. June 2011
VIII, 181 pages
978-3-642-22045-6 (ISBN)
Description
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.
More details
Other editions
Additional editions
Sven Apel | Ethan Jackson
Software Composition
10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
Book
06/2011
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Composition and Interfaces
- Deriving Functional Interface Specifications for Composite Components
- Introduction
- Composite Components in CBD Approaches
- The Foundations of This Work
- The Proposed Approach
- Basic Formalism and Assumptions
- The Helper Functions
- The Operator-Specific Functions
- Example
- Composite Component Generation
- Automation and Tool Support
- Discussion and Related Work
- Conclusions and Future Work
- Comparing Machine Learning Approaches for Context-Aware Composition
- Introduction
- Assessment of Learning Strategies
- Experiments
- Memory Overhead of the Approaches
- Decision Accuracy of the Approaches
- Decision Overhead of the Approaches
- Overall Performance
- Related Work
- Conclusions and Future Work
- Composable Memory Transactions using the TL2 Algorithm
- Introduction
- STM Haskell: Composable Memory Transactions
- Implementation
- Transactional Locking 2 Algorithm
- The STM Monad
- TVars and TStates
- Implementing Locks
- Write Sets
- Read Sets
- Executing a Transaction: atomically
- Unlocking TVars
- The Global Clock and TVar Ids
- Retry
- OrElse
- Preliminary Results
- Unreadtvar
- Related Work
- Conclusions and Future Work
- Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems
- Introduction
- Modeling Behavior and Glue
- Behavior
- SOS Characterization of Glue
- Boolean Characterization of Glue
- Transformations
- From Glue Operators to Glue Constraints
- From Glue Constraints to Glue Operators
- Synthesis of Glue: A Rescue Robot Example
- The Glue Expressiveness Hierarchy
- Glue Constraints, FWN, and BIP
- Design Methodology
- Related Work
- Conclusion
- Aspects and Features
- A Sequence of Patterns for Reusable Aspect Libraries with Easy Configuration
- Introduction
- Pattern Sequence Overview
- Qualities
- Overview of Pattern Sequence
- Case Study Pricing Library
- Original Design of the Pricing Library
- Limitations of Original Design
- Applying the Pattern Sequence to Build Reusable Aspect Libraries with Easy Configuration
- Core
- Mediation
- Flexible Composition
- Connecting the Aspect Library to an Application
- Evaluating the Contribution of the Pattern Sequence
- Related Work
- Conclusions
- Pluggable Aspect Instantiation Models
- Introduction
- Background
- Contribution
- Approach
- Language Extension
- Pluggable Framework
- Limitations
- Implementation
- The StaticPerscope Interface
- PerscopeDelegator
- The DynamicPerscope Interface
- Summary
- Evaluation
- Implementing AspectJ Built-In Aspect Instantiation Models
- Implementing Non-AspectJ Aspect Instantiation Models
- Code Complexity
- Threats to Validity
- Related Work
- Conclusion
- Composing Event-B Specifications - Case-Study Experience
- Introduction
- Event-B Introduction
- Decomposition and Composition in Event-B
- Feature-Orientation for Reuse with Event-B
- Approach to Experimental Case-Study Work
- Production Cell Case-Study
- ATM Case-Study
- Related Work
- Conclusion and Future Work
- Applications I
- A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems
- Introduction
- Background: BIP Language and Verification Methodology
- Invariant-Based Verification
- A Workflow for Component-Based Design
- The Design Process
- An Application: The Autonomous DALA Robot
- The DALA Robot and Its Module Description
- Module Componentization in BIP
- Verification
- Conclusion
- Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models
- Introduction
- Background
- Incremental Cycle Analysis
- ESMoL Language Mapping
- Conclusion
- Assuring Architectural Properties during Compositional Architecture Design
- Introduction
- Problem Statement
- Overview of the Approach
- Related Work
- Conclusion and Further Work
- Applications II
- Coherence and Performance for Interactive Scientific Visualization Applications
- Introduction
- Component Model
- Components
- Application Construction
- Application Graph
- Introducing Coherence
- Automatic Composition
- Application Specification
- Input Port Coherence
- Transformations for Coherence Construction
- Experimental Results
- Discussion and Future Work
- Toward Validated Composition in Component-Based Adaptive Middleware
- Introduction
- Component-Based Adaptive and Reactive Middleware
- Need for Validation
- Our Proposal
- Component-Based Middleware Use
- Components with Validated Behaviors
- Component Behavior as Synchronous Models
- Use Case Synchronous Monitor Definition
- Component Behavior Validation
- Synchronous Model Composition
- Use Case Multiple Access
- Multiple Access to Components
- Composition and Validation
- Adaptivity
- Practical Issues
- Our WComp Middleware
- WComp Critical Component Specification
- Use Case Implementation
- Related Works
- Conclusion and Future Works
- Author Index
