Objects, Components, Models, Patterns

Name: Objects, Components, Models, Patterns | 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings

Judith Bishop Antonio Vallecillo(Herausgeber*in)

Springer (Verlag)

Erschienen am 28. Juni 2011

X, 307 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-21952-8 (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 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

Systemvoraussetzungen

Als PDF speichern Als Link merken