
Software Composition
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
More details
Other editions
Additional editions

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
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.