Software Composition

Name: Software Composition | 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings

Thomas Gschwind Flavio de Paoli Volker Gruhn Matthias Book(Herausgeber*in)

Springer (Verlag)

Erschienen am 26. Mai 2012

XII, 195 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-30564-1 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

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

Systemvoraussetzungen

Als PDF speichern Als Link merken