Fundamental Approaches to Software Engineering

Name: Fundamental Approaches to Software Engineering | 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Juan De Lara Andrea Zisman(Herausgeber*in)

Springer (Verlag)

1. Auflage

Erschienen am 22. März 2012

534 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-28872-2 (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
Foreword
Preface
Organization
Table of Contents
Invited Talk
Distributed Process Discovery and Conformance Checking
Introduction
Distributed Process Mining: An Overview
Process Discovery and Conformance Checking
Distributing Event Logs and Process Models
Representation of Event Logs and Process Models
Multisets
Event Logs
Procedural Models
Declarative Models
Measuring Conformance
Example: Horizontal Distribution Using Passages
Passages in Graphs
Distributed Conformance Checking Using Passages
Distributed Process Discovery Using Passages
Conclusion
References
Software Architecture and Components
Model-Driven Techniques to Enhance Architectural Languages Interoperability
Introduction
Interoperability via Pivot Languages
The Extension Mechanisms
Extension Operators
Identification of transformation paths
Case Study and Discussion
Putting the approach in practice
Discussion
Related work
Conclusion and Future Work
References
Moving from Specifications to Contracts in Component-Based Design
Introduction
Specification Theories
Building a Contract Framework
Contracts and Their Semantics
Refinement of Contracts
Composition of Contracts
Modal Contracts
Conclusion, Related Work, and Future Work
References
The SynchAADL2Maude Tool
Introduction
Background: Real-Time Maude and Synchronous AADL
Using the SynchAADL2Maude Tool
References
Services
Consistency of Service Composition
Introduction
Asynchronous Relational Nets
Trace-Based Models of Behaviour
Asynchronous Relational Nets
Consistency
Progress-Enabled ARNs
Safe ARNs
Interface Specifications for Safe ARNs
Interfaces and Orchestrations
A Logic of Safety Properties
Ensuring Delivery/Publication-Enabledness
Concluding Remarks
References
Stable Availability under Denial of Service Attacks through Formal Patterns
Introduction
Prerequisites
Rewriting Logic and Maude
Statistical Model Checking of Quantitative Properties
Stable Availability
Formal Patterns
The Meta-object Pattern
The ASV DoS Protection Meta-object Pattern
The Server Replicator Meta-object
Stable Availability under Denial of Service Attacks through Formal Patterns
ASV+SR Meta-object Composition Pattern
Statistical Model Checking Analysis
Related Work and Concluding Remarks
References
Loose Programming with PROPHETS
Introduction
Modeling the Domain
Process Synthesis
Conclusion
References
Verification and Monitoring
Schedule Insensitivity Reduction
Introduction
Motivation
System Model
Schedule Insensitivity Reduction
Deducing Schedule Insensitivity
Enhancing Symbolic Model Checking via Schedule Insensitivity
Implementation and Experimental Results
References
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems
Introduction
Preliminaries: Task Automata
Adaptive Task Automata
Encoding of the Adaptive Task Automata
Encoding the Predicate sched()
Encoding the Fixed Priority Scheduler
Variable Bounding
Examples
Admission Control - A Synthetic Example
Smartphone Task Management Example
Conclusion
References
Verified Resource Guarantees for Heap Manipulating Programs
Introduction
The Framework: Verification of Resource Guarantees
Inference of Resource Guarantees
Verification by Symbolic Execution
Upper Bounds for Heap Manipulating Programs
Path-Length Analysis
Cyclicity Analysis
Sharing Analysis
Verification of Path-Length Assertions
Heap Representation
Predicates for Structural Heap Properties
Field Update Independence
Path-Length Axiomatization
Experimental Results
Conclusions and Related Work
References
An Operational Decision Support Framework for Monitoring Business Constraints
Introduction
Declare
Mobucon Architecture
General Architecture
Mobucon Skeleton
Exchanged Data and Business Constraints States
Mobucon Clients
Mobucon LTL
Modeling and Implementation
Approach
Mobucon EC
Modeling
Reasoner Implementation
Case Study
Discussion and Conclusion
References
Intermodelling and Model Transformations
Intermodeling, Queries, and Kleisli Categories
Introduction
Running Example
Intermodeling and Kleisli Mappings
From Informal to Formal Mappings
Model Merging: A Sample Multi-mapping Scenario
The Kleisli Construction
A Sketch of the Formal Framework
Model Translation, Traceability and Fibrations
Query Mechanism via Monads and Fibrations
Related Work
Conclusion
References
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars
Introduction
Concurrent Model Synchronization Framework
Basic Model Synchronization Framework
Semi-automated Conflict Detection and Resolution
Concurrent Model Synchronization with Conflict Resolution
Correctness and Compatibility
Related Work
Conclusion and Future Work
References
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus
Introduction
Background
QVT-R
Modal Mu Calculus
Connecting QVT-R and Modal Mu Calculus
The Transition System
The Mu Calculus Formula
Correctness of the Translation w.r.t. the Original QVT-R Game
Top Relation Challenges
Extending the QVT-R Game
Complex when and where Clauses
Recursive Transformations
Examples and Consequences
Expressiveness
Conclusion
References
Graph Transforming Java Data
Introduction
Related Work
Roadmap
Graphs and Annotations
Graphs and Type Graphs
Definition of Node Types
Definition of Edge Types
Definition of Attributes
Definition of Manipulation Methods
Invasiveness
Transformation Language
Rule Structure
Match Blocks
Update Blocks
Sequence Blocks
Semantics
Experience and Evaluation
Using the rdt in JamaicaVM
Evaluation
Future Work
References
Modelling and Adaptation
Language Independent Refinement Using Partial Modeling
Introduction
Adding Partiality to Modeling Languages
Combining and Applying Partiality Types
Formalizing Partiality
Tool Support and Preliminary Evaluation
Related Work
Conclusion and Future Work
References
A Conceptual Framework for Adaptation
Introduction
When is a Software Component Adaptive?
Architectures, Patterns and Reference Models for Adaptivity
Adaptivity in Various Computational Paradigms
A Formal Model for our Framework
Conclusion and Future Developments
References
Product Lines and Feature-Oriented Programming
Applying Design by Contract to Feature-Oriented Programming
Introduction
Background
Contracts for Feature-Oriented Programming
Refinement of Invariants
Comparison
Evaluation
Related Work
Conclusion
References
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
Introduction
Background
Symbolic Execution
Symbolic Method Summary
Dependence-Driven Compositional Analysis
Relating SPL Models to Implementations
Calculating Feature Interactions
Composing Feature Summaries
Complexity and Optimization of Summary Composition
Case Study
Objects of Analysis
Method and Metrics
Results
Conclusions and Future Work
References
Combining Related Products into Product Lines
Introduction
Preliminaries
Model Merging
Product Line Refactoring
Correctness of Product Line Refactoring
Related Work
Conclusion and Future Work
References
Development Process
Tracing Your Maintenance Work - A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages
Introduction
Automated Classification Approach
Classification Rules
Categorization Tool - Subcat
Generation of a Cross-Project Valid Dictionary
Criteria and Selection of Open Source Projects
Populating the Dictionary
Evaluation of the Dictionary
Inter-rater Agreement
Conducting the Evaluation
Interpretation of the Evaluation
Related Work
Conclusion
Discussion
Future Work
References
Cohesive and Isolated Development with Branches
Introduction
Theory
Methodology
Evaluation
Rapid DVC Adoption
Cohesion
Coupling and Interruptions
Threats to Validity
Related Work
Conclusion and Future Work
References
Making Software Integration Really Continuous
Introduction
Problem
Solution
Tracking Changes
Background Merging
Conflict Detection
Reporting Conflicts
Evaluation
Related Work
Conclusion and Future Work
References
Extracting Widget Descriptions from GUIs
Introduction
Design Principles of GUIs
Extraction of Widget Descriptions
Empirical Evaluation
Related Work
Conclusions
References
Verification and Synthesis
Language-Theoretic Abstraction Refinement
Introduction
From Safety Verification to Language Emptiness
Preliminaries
From Programs to Context Free Languages
The Abstraction-Refinement Procedure
CEGAR Loop
The Regular Approximator mkreg
The Counterexample Generator gencx
Experiments
Recursive Multi-threaded Programs
Bluetooth Drivers
Conclusion
References
Learning from Vacuously Satisfiable Scenario-Based Specifications
Introduction
Motivating Example
Background
Triggered Scenarios
Fluent Linear Temporal Logic
Modal Transition Systems
Approach
Checking Vacuity of Triggered Scenarios
Learning Triggered Scenarios
Case Studies
Philips Television Set Configuration
Air Traffic Control System
Discussion and Related Work
Conclusion and Future Work
References
Explanations for Regular Expressions
Introduction
Deficiencies of Regular Expressions
Explanation Representations and Their Computation
Structural Analysis and Decomposition
Format Analysis
User-Directed Intent Analysis
Combined Explanations
Evaluation
Evaluating the Explanation Notation Using Cognitive Dimensions
Applicability of Explanations
Threats to Validity
Related Work
Conclusions
References
Testing and Maintenance
On the Danger of Coverage Directed Test Case Generation
Introduction
Related Work
Study
Experimental Setup Overview
Mutant Generation
Test Data Generation
Test Suite Reduction
Computing Fault Finding
Results and Analysis
Statistical Analysis
Evaluation of RQ1 and RQ2
Discussion
Threats to Validity
Conclusion and Future Work
References
Reduction of Test Suites Using Mutation
Introduction
Related Work
Test Suite Reduction Using Mutation
Example
"A Motivational Example"
Experiments
Experiment 1: Benchmark Programs
Experiment 2: Industrial Programs
Conclusions and Future Work
References
Model-Based Filtering of Combinatorial Test Suites
Introduction
An Illustrative Case Study
Basic Tobias Test Patterns
New Tobias Constructs
The Incremental Unfolding and Filtering Process
Standard Unfolding and Filtering Process
Incremental Unfolding and Filtering Process
Some Experimental Results
Related Work
Conclusion and Perspectives
References
A New Design Defects Classification: Marrying Detection and Correction
Introduction
Problem Statement
Defects Classification Using Genetic Programming
Overview
Design Defects Classification Using Genetic Programming
Validation
Research Questions
Setting
Results
Discussions
Related Work
Conclusion
References
Slicing and Refactoring
Fine Slicing
Introduction
Fine Slicing
Extract Computation
A Theory of Fine Slicing
Extract Computation
Discussion
Implementation
Evaluation
Related Work
Future Work
References
System Dependence Graphs in Sequential Erlang
Introduction
Related Work
Preliminaries
Erlang Dependence Graphs
Control Edges
Data Edges
Input/Output Edges
Summary Edges
Slicing Erlang Specifications
Conclusions and Future Work
References
A Domain-Specific Language for Scripting Refactorings in Erlang
Introduction
Erlang, Wrangler and Its Template-Based API
Terminology
Rationale
A Framework for Scripting Composite Refactorings
Refactoring Command Generators
The Domain-Specific Language
Tracking of Entity Names
Examples
Implementation
Related Work
Conclusions and Future Work
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken