Objects, Components, Models, Patterns
49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings
Published on 28. June 2011
X, 307 pages
978-3-642-21952-8 (ISBN)
Description
This book constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in June 2011. The 19 revised full papers presented together with the abstracts of 2 invited papers were carefully reviewed and selected from a total of 68 submissions. The papers discuss all aspects of object technology and related fields, in particular model-based development, component-based development, language implementation and patterns, in a holistic way. The conference has a strong practical bias, without losing sight of the importance of correctness and performance.
More details
Other editions
Additional editions
Judith Bishop | Antonio Vallecillo
Objects, Components, Models, Patterns
49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings
Book
06/2011
1st Edition
Springer
€53.49
Shipment within 5-7 days
Content
- Title Page
- Preface
- Organization
- Table of Contents
- Synchronizing Models and Code (Invited Talk)
- inding and Fixing Bugs in Web Applications (Invited Talk)
- Test Suite Quality for Model Transformation Chains
- Introduction
- Background and Motivation
- A Combined Coverage Approach
- Coverage Criteria
- Test Requirements for Model Transformation Chains
- Coverage Analysis
- Ensuring Test Suite Quality
- Test Suite Adequacy
- Test Suite Minimality
- Tool Support and Validation
- Related Work
- Conclusion
- References
- Automated Translation of Java Source Code to Eiffel
- Introduction
- Design Principles
- Translating Java to Eiffel
- Language Features
- Types and Structures
- Runtime and Native Interface
- Naming
- Evaluation
- Correctness of the Translation
- Experiments
- Limitations
- Related Work
- Conclusions
- References
- A Generic Solution for Syntax-Driven Model Co-evolution
- Introduction
- Preliminaries
- Domain-Specific Metametamodel
- Model Differences
- Metamodel Evolution
- Metamodel for Metamodels - MMfMM
- Metamodel Differences
- Model Co-evolution
- Model Differences Calculation Algorithm
- Validation
- Related work
- Conclusion
- References
- From UML Profiles to EMF Profiles and Beyond
- Introduction
- From UML Profiles to EMF Profiles
- Design Principles
- Integrating Profiles in the EMF Metalevel Architecture
- The EMF Profile Metamodel
- Applying the EMF Profile Metamodel
- Going Beyond UML Profiles
- Generic Profiles
- Meta Profiles
- Summary
- A Tour on EMF Profiles
- Related Work
- Conclusions and Future Work
- References
- Domain-Specific Profiling
- Introduction
- Shortcomings of Standard Profilers
- Difficulty of Profiling a Specific Domain
- Requirements for Domain-Specific Profilers
- MetaSpy in a Nutshell
- Validation
- Case Study: Displaying Invocations
- Case Study: Events in OmniBrowser
- Case Study: Parsing framework with PetitParser
- Implementing Instrumentation Strategies
- Micro-Benchmark
- Conclusions and Future Work
- References
- Metamodel Dependencies for Executable Models
- Introduction
- An Application for Traffic Simulation
- Crossroads Structure
- Lights Control
- Policies Management
- Traffic Generation
- Implementing the Concerns in Cumbia
- Dependencies between Metamodels
- Direct Dependencies
- Behavioral Dependencies
- Related Work
- Conclusions
- References
- KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems
- Introduction
- KLAPER
- The Basic Methodology
- The KLAPER Meta-Model
- The KlaperSuite Analysis Tools
- Reliability
- Performance
- Simulation
- Tools Integration Status
- Related Work
- Conclusions
- References
- Unifying Subjectivity
- Introduction
- State of the Art
- Perspectives
- Roles
- Context-Oriented Programming
- Subjective Message Behavior
- Modeling Subjective Behavior
- Subjects
- Decision Strategies
- Contextual Elements
- Implementation
- Validation
- Mobile Mail Application
- Group Programming
- Subjective Behavior Regarding Types of Objects in Moose
- Subjective Behavior Depending on the Moose Environment
- Conclusion
- References
- An Overview of ALIA4J An Execution Model for Advanced-Dispatching Languages
- Introduction
- Related Work
- The ALIA4J Architecture
- Components of ALIA4J
- The Meta-Model of Advanced Dispatching
- FIAL and LIAM in Practice
- Evaluation
- Evaluation of LIAM
- Evaluation of FIAL
- Conclusions and Future Work
- References
- A Heuristic Approach for Computing Effects
- Introduction
- Testing Effects
- Inference Algorithm
- Access Paths and Access Permissions
- Algorithm
- Special Cases
- Soundness
- Implementation
- Evaluation
- Related Work
- Conclusion
- References
- Systems Evolution and Software Reuse in Object-Oriented Programming and Aspect-Oriented Programming
- Introduction
- Motivations
- Measurement System
- Empirical Evaluation
- Adding a Synchronization Concern
- Adding a Timestamp Concern
- Adding a Logging Concern
- Adding a New Getter
- Removing Logging and Timestamp
- Lessons Learned
- Empirical Results
- Threats to Validity
- Construct Validity
- Internal Validity
- External Validity
- Related Work
- Summary
- References
- Lifted Java: A Minimal Calculus for Translation Polymorphism
- Introduction
- The Model
- Example
- Objects
- Formal Definition of Lifted Java
- Syntax
- Semantics
- Safety Properties
- Discussion
- Related and Future Work
- Conclusion
- References
- Location Types for Safe Distributed Object-Oriented Programming
- Introduction
- Location Types at Work
- Formalization
- Basic Location Type System
- Named Far Location Types
- Location Type Inference
- Implementation and IDE Integration
- Discussion and Related Work
- Conclusion and Future Work
- References
- Static Dominance Inference
- Introduction
- Formal Account of Object Graphs
- Concrete Semantics
- Abstract Semantics
- Dominance Inference Analysis
- Flow Triples
- Analysis Description
- Application: Ownership Type Inference
- Type System
- Type Inference
- Implementation
- Results
- Precision
- Related Work
- Conclusion
- References
- A Case of Visitor versus Interpreter Pattern
- Introduction
- Design Patterns in the Rascal Interpreter
- Creating and Processing Abstract Syntax Trees
- A Comparison with the Interpreter Pattern
- Refactoring from Visitor to Interpreter using Rascal
- Comparing Design Patterns
- Measuring Differences in Runtime Performance
- Measuring Differences in Maintainability
- Alternative Methods to Measure Maintainability
- Maintainability
- A Virtual Machine for Maintenance Scenarios
- Maintenance Scenarios
- Results - Maintenance Scenarios
- Discussion
- Efficiency
- Conclusion
- References
- Computational REST Meets Erlang
- Introduction
- Background
- The REST and CREST Styles
- Erlang
- CREST-Erlang
- An Assessment of CREST-Erlang vs. CREST-Scheme
- Related Work
- Conclusions
- References
- Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems
- Introduction
- Motivation
- Limitation of the Main Cycle Detection Algorithm
- Desired and Undesired Cycles
- Our Approach
- A New Cycle Retrieval Algorithm
- Our Distance-Based Metric to Detect Undesired Cycles
- Validation
- Preparation of the Data
- Experiment
- Results
- Analyze of the Cycles
- Threats to Validity
- Related Work
- Conclusion and Future Work
- References
- Seuss: Better Class Responsibilities through Language-Based Dependency Injection
- Introduction
- Understanding Class Responsibilities
- Identifying Responsibilities
- Challenges
- Seuss: Moving Services to the Instance Side
- Cleaning Up Instance Creation
- Dependency Injection as a Language Feature
- Discussion
- Challenges for Statically Typed Languages
- Performance and Human Factors
- Using Seuss to Sandbox Code
- Related Work
- Conclusion
- References
- Extensive Validation of OCL Models by Integrating SAT Solving into USE
- Introduction
- Background: The Tools USE and Kodkod
- Integrating SAT Solving into the USE Tool
- The USE Plugin Architecture
- The Model Validator Plugin
- Automatic Validation with the USE Model Validator
- Validation Principles
- Explanation of the Model Validator Features
- Translation from UML and OCL into Kodkod
- Related Work
- Conclusion and Future Work
- References
- Author Index
