Object, Models, Components, Patterns

Name: Object, Models, Components, Patterns | 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings

Carlo A. Furia Sebastian Nanz(Herausgeber*in)

Springer (Verlag)

Erschienen am 27. Mai 2012

XI, 372 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-30561-0 (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
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

Systemvoraussetzungen

Als PDF speichern Als Link merken