Object, Models, Components, Patterns
50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings
Published on 27. May 2012
XI, 372 pages
978-3-642-30561-0 (ISBN)
Description
This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and related fields and demonstrate practical applications backed up by formal analysis and thorough experimental evaluation. In particular, every topic in advanced software technology is adressed the scope of TOOLS.
More details
Other editions
Additional editions
Carlo A. Furia | Sebastian Nanz
Object, Models, Components, Patterns
50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings
Book
05/2012
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Integrating Efficient Model Queries in State-of-the-Art EMF Tools
- Introduction
- Overview of EMF-IncQuery
- Model Queries by Graph Patterns
- Execution of Incremental Queries
- Integrating Incremental Queries to the EMF Modeling Layer
- Related Work
- Conclusions
- References
- Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies
- Introduction
- Preliminaries
- JML
- The SMT Solver Yices
- Poporo Tool Architecture
- Expressing Social Networking Privacy Policies in Yices
- Generating Verification Conditions
- Running Example
- Related Work
- Conclusion
- References
- DroidSense: A Mobile Tool to Analyze Software Development Processes by Measuring Team Proximity
- Introduction
- Measuring Software Development Processes
- Related Work
- Implementation Approach and Required Technologies
- DroidSense Tool
- Software System
- Data Visualizations
- Privacy
- Application of DroidSense
- Research Design
- Results
- Discussion
- Limitations and Future Work
- Conclusions
- References
- Time Square:Treat Your Models with Logical Time
- Introduction
- CCSL Specifications
- Semantics
- Implementation
- Simulation
- Analysis Features and Back-Ends
- Conclusions
- References
- Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs
- Introduction
- CREAM Mutation Testing Tool for C# Programs
- Investigation Process of Mutation Operators
- Generic Scenario of Experiments
- Experimental Flows on Selective Mutation
- Quality Metrics
- Experiments
- Investigated Programs
- Mutant Generation and Execution
- Experiments on Selective Mutation
- Threats to Validity
- Related Work
- Conclusions
- References
- 101companies: A Community Project on Software Technologies and Software Languages
- Introduction
- Illustration
- Key Categories of the 101companies Ontology
- Stakeholders of the 101companies Project
- Features of the 101companies System
- Themes of 101companies Contributions
- A Document Model for 101companies Implementations
- Related Work
- Concluding Remarks
- References
- An Object-Oriented Application Framework for the Development of Real-Time Systems
- Introduction
- Basic Concepts
- Core Concepts
- Performers
- The Application Framework
- Performers
- Core Classes
- The Framework Running Machine
- Dynamics
- System Start-Up
- Experimental Results
- Conclusions and Future Directions
- References
- Measuring Test Case Similarity to Support Test Suite Understanding
- Introduction
- Tracing and Trace Reduction
- Tracing Test Executions
- Handling Mocks and Stubs
- Trace Reduction
- Determining Similarity Measurements
- Relevancy Support Based on Occurrence
- Implementation
- Set-Up for Case Studies
- Research Questions
- Technique Customization
- Case Study I: JPacman
- Obtaining the Conceptual Mapping
- RQ1: Comparison to Conceptual Mapping
- RQ4: Performance Characteristics
- Case Study II: Auction Sniper
- Obtaining an Initial Understanding
- RQ2: Suitability of Measurements for Understanding Test Relations
- RQ3: Handling Mocking
- Discussion
- Related Work
- Conclusion
- References
- Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties
- Introduction
- Related Work
- Overview of Extra-Functionality in OSGi
- Motivation: Components Enriched with EFPs
- OSGi Parameters, Attributes and Filters
- Our Approach: Explicit Extra-Functional Properties in OSGi
- Structure of the EFP Data
- Specifying EFPs as OSGi Attributes
- EFP Queries as OSGi Filters
- An Example: EFPs in XML Mirror and OSGi Manifest
- EFP Evaluation Connected to OSGi Binding
- Conclusion
- References
- Efficient Method Lookup Customization for Smalltalk
- Introduction
- Problem Description
- Motivation
- Problems
- Requirements
- Method Lookup Customization
- Customization in a Nutshell
- Virtual Machine Support
- Caching of Method Lookup Results
- Multiple-Dispatch and Other Non-single-Dispatch Lookup Algorithms
- Validation
- Performance Benchmarks
- Performance of Method Lookup MOP
- Performance Comparison of DLR, and Invokedynamic
- Discussion
- Related Work
- Conclusion
- References
- Fake Run-Time Selection of Template Arguments in C++
- Introduction
- Related Work
- Design and Implementation
- Notation
- Initial Step
- Extension to Multiple Dimensions
- The Optimal Solution
- Wrapping Up
- Summary
- Experimental Results
- Test Program
- Results and Discussion
- Conclusions
- References
- Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs
- Introduction
- Related Work
- Compile-Time Debugging of Stages
- Compile-Error Reporting
- Meta-programming System
- Language Extensions
- Compiler Extensions
- IDE Support for Meta-programming
- Compiler Amendments
- Storing the Source Code of Every Stage and Its Output
- Tracking the Compile-Error Chain across Stages and Outputs
- Compile-Time Source-Level Debugging of Stages
- Contact Sites between the Compiler and the Tool-Chain
- Debugger
- IDE
- Conclusion
- References
- Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines
- The Right Tool for the Job
- A Survey of Parallel and Concurrent Programming Concepts
- Survey Questions
- Selecting Subjects and Identifying Concepts
- Results
- Conclusions and Requirements
- An Ownership-Based MOP to Express Concurrency Abstractions
- Design of the MOP
- Example: Enforcing Immutability
- Implementation Strategy
- Evaluation
- By Example: Clojure's Agents
- Subjects
- Expressiveness
- Performance
- Discussion and Performance Perspectives
- Related Work
- Conclusion
- References
- Verification of Snapshotable Trees Using Access Permissions and Typestate
- Introduction
- Interface Specification and Client Code Verification
- Interface ITree
- Interface Iterator
- Client Code Verification
- Proof Patterns and Verification of the Implementation
- Formula Guarded by a Boolean Variable and Implication
- Specification of a Recursive Structure
- Conditional Composition of Implementations
- Dropping Privileges (Ghost Method)
- Iterator
- Related Work
- Conclusion and Further Work
- References
- Multiparty Session C: Safe Parallel Programming with Message Optimisation
- Introduction
- Protocols and Programming in Session C
- Scribble, A Protocol Description Language
- Session C: Programming and Runtime
- Type Checking and Message Optimisation
- Session Type Checker
- Asynchronous Message Optimisation
- Parallel Algorithms
- N-Body Simulation: Asynchronous Optimisation for Pipelines
- Linear Equation Solver: A Wraparound Mesh Topology
- Performance Evaluation
- Related Works and Further Topics
- References
- Non-interference on UML State-Charts
- Introduction
- Preliminaries
- Non-interference
- State-Charts
- Extending Unwinding for UML State-Charts
- UML State-Charts à la UMLsec
- Unwinding
- Unwinding for UML Statecharts
- Object Interaction
- Composition
- Compositionality and Non-interference
- Validation
- Tool Support
- Case Study
- Related Work
- Conclusions
- References
- Representing Uniqueness Constraints in Object-Relational Mapping
- Introduction
- Background
- Relational Model
- Object Model
- Object-Relational Mapping
- Object Identity and Uniqueness
- Identity in the Natural Entity Framework
- Management of Persistent States and Concurrency
- Transactions
- Object States
- Object Creation
- Identity Map
- Initialization
- Object Creation Semantics in Other ORMs
- Mapping Natural Entity Inheritance Hierarchies
- Inheritance Mapping Strategies
- Natural Keys and Inheritance
- Type as a Natural Key Attribute
- Conclusion
- References
- Detection of Seed Methods for Quantification of Feature Confinement
- Introduction
- Related Work
- Problem Statement
- Detection of Seed Methods
- Heuristic Formalization
- Automated Quantification of Feature Confinement
- Evaluation of the Approach
- Validation
- Subject Systems
- Ground-Truth
- Results
- Evolutionary Application
- Measuring Feature Confinement
- Aggregation of Confinement Metrics
- Results
- Discussion
- Conclusion
- References
- Assisted Behavior Driven Development Using Natural Language Processing
- Introduction
- Preliminaries
- Unified Modeling Language
- Stanford Parser
- WordNet
- General Idea and Proposed Approach
- Semi-automatic Extraction of Information
- Classes
- Attributes
- Operations
- Generation of Step Definitions
- Case Study
- Related Work
- Conclusions
- References
- Learning to Classify Bug Reports into Components
- Research Motivation and Aim
- Related Work and Research Contributions
- Empirical Analysis
- Experimental Dataset
- Statistics on Reassignment Events
- Automatic Component Assignment Using Linguistic Features
- Component Reassignment Prediction
- Component Reassignment Graphs
- Summary
- References
- Incremental Dynamic Updates with First-Class Contexts
- Introduction
- Running Example
- The Problem with Updates
- Lifecycle of an Incremental Update
- First-Class Context
- User-Defined Update Strategy
- Reified State
- First-Class Classes
- Spawning Thread
- Implementation
- Validation
- Discussion
- Related Work
- Conclusion
- References
- Elucidative Development for Model-Based Documentation
- Introduction
- From Literate Programming to Elucidative Development
- Literate Programming and Related Documentation Approaches
- Elucidative Development
- The Development Environment for Tutorials (DEFT)
- The UML Use Case for Elucidative Development
- Inconsistencies in UML 2.4.1
- UML Language Specification with DEFT
- Discussion
- Related Work
- Conclusion
- References
- Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations
- Introduction
- Motivating Example
- Formalizing Viewpoints in Maude
- Change Detection: From Fine- to Coarse-Grained Changes
- Phase 1: Detecting Fine-Grained Changes
- Phase 2: Detecting Coarse-Grained Changes
- Change Propagation by Coupled Transformations
- Sketching Coupled Transformations
- Encoding Coupled Transformations in Maude
- Related Work
- Conclusions and Future Work
- References
- Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation
- Introduction
- Background: DiSL Overview
- Turbo: Partial Evaluator for DiSL
- Case Studies
- Case Study 1: Configurable Instrumentation
- Case Study 2: Tracking Monitor Ownership
- Case Study 3: Field Access Analysis
- Case Study 4: Execution Trace Profiling
- Performance Evaluation
- Related Work
- Conclusion
- References
- Author Index
