Software Composition
11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
Published on 26. May 2012
XII, 195 pages
978-3-642-30564-1 (ISBN)
Description
The book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with TOOLS 2012 Federated Conferences. The 12 revised full papers were carefully reviewed and selected from 42 submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on software composition in specification languages; context-aware and dynamic composition; composition in software development; and applications of software composition.
More details
Other editions
Additional editions
Thomas Gschwind | Flavio de Paoli | Volker Gruhn
Software Composition
11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
Book
05/2012
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Software Composition in Specification Languages
- Modeling Dynamic Architectures Using Dy-BIP
- Introduction
- Related Work
- The Dynamic-BIP Model
- Interaction Constraints
- Atomic Components
- Composition
- Methodology for Writing Interaction Constraints
- Causal Constraints
- Acceptance Constraints
- Filtering Constraints
- Experimental Results
- Masters and Slaves
- Fault-Tolerant Servers
- Trackers and Peers
- Conclusion
- References
- Defining Composition Operators for BPMN
- Introduction
- Research Context
- Petri Nets
- BPMN: Business Process Modelling and Notation
- Creating BPMN Composition Operators
- Abstract Syntax of BPMN Diagrams
- Extending BPMN with Composition Interfaces
- Sequential Composition Operator
- Parallel, Choice and Exclusive Choice Composition Operators
- Refinement Composition Operator
- Synchronization Composition Operator
- Exemplification of Composition Operators
- Conclusions
- References
- Relaxing B Sharing Restrictions within CSP B
- Introduction
- Concepts and Tools for CSP"026B30D B Components
- B Machines
- Communicating Sequential Processes (CSP)
- CSP B Components
- Motivating Case Study
- B-Based State Sharing within CSP B
- B Modular Characterisation of CSP Control
- From CSP to B Modularity
- Application to the Vehicle System
- Ensuring Divergence-Freedom of Shared B Machines
- Conclusion
- References
- PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Application
- Introduction
- Related Work
- The P-REST Approach at a Glance
- PaCE - Prime Coordination languagE
- Syntax
- Semantics
- PaCE: Interpreter
- Run-Time Adaptation
- Case Study
- Conclusion
- References
- Context-Aware and Dynamic Composition
- Adaptation of Legacy Codes to Context-Aware Composition Using Aspect-Oriented Programming
- Introduction
- Towards Context-Aware Composition with AOP
- Context-Aware Composition
- Prerequisites for Adaptation to Context-Aware Composition
- Concerns of Context-Aware Composition
- Aspect-Oriented Context-Aware Composition
- Implementation Details
- Experiments
- Overall Performance
- Performance Overhead
- Lines of Code
- Related Work
- Conclusions and Future Work
- References
- Challenges for Refinement and Composition of Instrumentations: Position Paper
- Introduction
- Challenges
- Motivating Example
- Specification and Enforcement of Constraints
- Hard-Coded Dependencies
- Related Work
- Instrumentation Frameworks
- Aspect-Oriented Approaches
- Conclusion
- References
- Composition in Software Development
- Constructing Customized Interpreters from Reusable Evaluators Using Game
- Introduction
- Motivating Example: The Impact of Automatic Memory Management on the Structure of an Evaluator
- Overview of Game
- Developing a Generic Evaluator
- Deriving a Generic Abstract Machine
- Instantiation of Generic Abstract Machines
- Evaluation
- Related Work
- Conclusions and Future Work
- References
- Revising and Extending the Uppaal Communication Mechanism
- Introduction
- Related Work
- Motivating Example.
- Transition System Extensions
- Labelled Transition Systems
- Timed Transition Systems Extensions
- Product of ETTSs
- Uppaal Networks of Timed Automata
- Extensions of Uppaal
- Compositional Uppaal
- Translation of Compositional Uppaal to Basic Uppaal
- Compositional Uppaal with Conditional Data Communication
- Conclusion
- References
- On the Automated Modularisation of Java Programs Using Service Locators
- Introduction
- Related Work
- Methodology
- Antipatterns Definition
- The Architectural Model
- Dependency Classification
- The Refactoring Process - CARE Plugin
- Results
- Impact of Refactorings
- Discussion
- Conclusion
- References
- Applications of Software Composition
- Touching Factor: Software Development on Tablets
- Introduction
- Productive Programming on a Tablet
- Advantages of Concatenative Programming
- Graphical Interface Prototype
- The Dictionary
- The Scratchpad
- The Traveller
- The Stack Viewer
- Related Work
- Conclusions and Perspective
- References
- Domain-Specific Languages in Few Steps The Neverlang Approach
- Introduction
- The Neverlang Framework
- Neverlang at a Glance
- Neverlang at Work
- Case Study: Linda+Python
- Linda+Python Building Blocks
- Building Linda+Python Up
- Flushing Flexibility Out
- Neverlang Close-up
- Related Work
- Conclusions
- References
- Business Process Lines and Decision Tables Driving Flexibility by Selection
- Introduction
- Business Process Lines Boosting Process Flexibility
- What Is BPL
- How to Build a BPL
- Illustrative Case Study
- The Validation Issue
- Decision Tables: Modeling and V&V
- What They Are
- What They Do
- Related Works
- Conclusion
- References
- Author Index
