Models in Software Engineering

Name: Models in Software Engineering | Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

Jörg Kienzle(Herausgeber*in)

Springer (Verlag)

Erschienen am 13. April 2012

X, 292 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-29645-1 (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

7167
Preface
Table of Contents
Doctoral Symposium
Doctoral Symposium at MoDELS 2011
Supporting Software Language Engineering by Automated Domain Knowledge Acquisition
Introduction and Problem Statement
Related Work
Proposed Solution and Contribution
Model Refinement
Knowledge Acquisition
Modeling Guidance
Adaptation
Current Status and Outlook
References
Interoperability of Software Engineering Metamodels
Introduction and Problem Overview
Related Work
Proposed Solution
Current Status and Plan
Expected Contribution
References
Educators' Symposium
Software Modeling in Education: The 7th Educators' Symposium at MoDELS 2011
Overview
Contributions
Thanks
Using Constraints in Teaching Software Modeling
Introduction
Teaching OCL through Examples Integrated in Models
Understanding the Model's Semantics
Modeling Alternatives
Explaining the Intended Model Uses
Using Snapshots to Better Understand and Improve the Requirements and the Model
Conclusions
References
Mismatches between Industry Practice and Teaching of Model-Driven Software Development
Introduction
Greater Emphasis on Domain-Specific Modeling
Teach MDSD Bottom-Up Rather Than Top-Down
Integrate Abstraction and Compiler Skills within CS Curricula
Additional Findings on MDSD Education and Training
Conclusion
References
Variability for You Workshop
VARY - Variability for You
Overview of VARY Workshop
Invited Presentations
Software Modeling and Reuse: The Good, the Bad and the Ugly (Whittle)
Standardizing the Common Variability Language (Haugen)
Paper Session on Examples
A Model-Driven Approach for Specifying and Configuring Variability inBusiness Applications (Barat, Roychoudhury, Kulkarni)
Service Variability Meta-modeling for Service-Oriented Architectures(Abu-Matar, Gomaa)
Paper Session on Generic Results
A Metamodel-Based Classification of Variability Modeling Approaches(Istoan, Klein, Perrouin, Jezequel)
Towards Evolution of Generic Variability Models (Svendsen, Zhang,Haugen, Møller-Pedersen)
Poster Session
Paper Session on Analysis
Towards a Family-Based Analysis of Applicability Conditions inArchitectural Delta Models (Haber, Kutz, Rendel, Rumpe, Schaefer)
Complexity Metrics for Software Product Lines (Zhang, Haugen, Møller-Pedersen)
Conclusions
References
Towards Evolution of Generic Variability Models
Introduction
Background
Common Variability Language
CVL Compare
Train Control Language
Problem Description
Using CVL to Evolve CVL Models
The Approach
Evolving CVL Models
Exploratory Evaluation
Discussion
Related Work
Conclusion and Future Work
References
Feature-Based Variability Meta-modeling for Service-Oriented Product Lines
Introduction
Multiple View Service Variability Model
Multiple View Service Variability Meta-modeling
Service Contract Meta-view
Business Process Meta-view
Service Coordination Meta-view
Feature Meta-view
Service Variability Meta-model Relationships
Intra-view Relationships
Inter-view Relationships
Feature to Service Meta-view Relationship
Service Variability Meta-model Relationships and Consistency CheckingRules
Feature-Based Service Application Derivation
Validation of the Approach
Related Work
Conclusions
References
5th International Workshop on Multi-Paradigm Modeling
Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools
Introduction
Communications
Conclusion
References
Supporting Incremental Synchronization in Hybrid Multi-view Modelling
Introduction
Background and Related Works
Creating a Hybrid Multi-view Modelling Environment
View Editing Support and Consistency Requirements
Generating Customized Views and Synchronization Mechanisms
Implementing the Incremental Synchronization
Model Differences Representation
Detection of Model Changes
Synchronization of Views
Discussion and Future Works
Conclusions
References
Semantic Adaptation Using CCSL Clock Constraints
Introduction
Models of Computation
ModHel'X, a Framework for Heterogeneous Modeling
Semantic Adaptation
The Clock Constraint Specification Language (CCSL)
Semantic Adaptation Using CCSL
Describing TFSM Using CCSL
Describing DE Using CCSL
Describing SDF Using CCSL
Semantic Adaptation between DE and TFSM
Semantic Adaptation between DE and SDF
Discussion
Related Work
Conclusion
References
First International Workshop on Experiences and Empirical Studies in Software Modelling
Summary of the First International Workshop on Experiences and Empirical Studies in Software Modelling
Introduction
Workshop Format and Session Summaries
Assessing the Impact of Hierarchy on Model Understandability - A Cognitive Perspective
Introduction
The Impact of Hierarchy on Model Understandability
Existing Empirical Research into Hierarchical Models
Inference: A General-Purpose Problem Solving Process
Assessing the Impact of Hierarchy
Towards a Cognitive Framework
Measuring the Impact on Model Understandability
Model Size
Experience
Discussion
Limitations
Summary and Outlook
References
Does the Level of Detail of UML Models Affect the Maintainability of Source Code?
Introduction
Related Work
Experiment Description
Goal
Context Selection
Variables Selection
Hypotheses Formulation
Experimental Design
Experimental Tasks
Experimental Procedure
Analysis Procedure
Results
Descriptive Statistics and Exploratory Analysis
Influence of LoD
Influence of System
Influence of Order
Post-experiment Survey Questionnaire Results
Summary and Discussion of the Data Analysis
Threats to Validity
Conclusions and Future Work
References
6th International Workshop on Models@run.time
Summary of the 6th International Workshop on Models@run.time
Introduction
Workshop Format and Session Summaries
Runtime Monitoring of Functional Component Changes with Behavior Models
Introduction and Motivations
Behavioral Equivalence and Protocol Models
Setup Phase: Model Inference
Generation of the Initial Behavioral Equivalence Model
Synthesis of the Protocol Behavior Model
Runtime Phase: Monitoring and Change Detection
Monitoring
Response to Violations
Model Updates
Change Detection
Related Work
Conclusions and Future Work
References
Requirements and Assessment of Languages and Frameworks for Adaptation Models
Introduction
Related Work
Adaptation Models
Requirements for Adaptation Models
Language Requirements for Adaptation Models
Framework Requirements for Adaptation Models
Feedback Loop Patterns for Adaptation Models
Analysis and Planning - Decoupled
Analysis and Planning - Coupled
Discussion
Assessment of Approaches to Adaptation Models
Assessment of Stitch and Story Diagrams
Discussion of the Assessment
Conclusion and Future Work
References
Model-Driven Engineering, Verification and Validation
MoDeVVa 2011 Workshop Summary
Modeling, Verification, and Validation
Objectives of the Workshop
Submissions and Acceptance in 2011
Keynote
Discussion and Perspectives for the Workshop
Specifying a Testing Oracle for Train Stations - Going beyond with Product Line Technology
Introduction
Background
Train Control Language
Common Variability Language
Alloy
Traces
Specify an Oracle Using Traces
The Approach
Reducing Verification Effort of TCL Models
Reducing Effort by Adding Product Line Capability
Discussion
Related Work
Conclusion and Future Work
References
Use Cases for Context Aware Model-Checking
Introduction
Motivation
The S_CP Case Study
Context-Aware Verification with CDL
Approach
From eXtended Use Cases to CDL Contexts
Mapping XUC Scenarios to CDL
User Requirements Models
Capturing Domain Specification
Experiments and Results
Related Works and Discussion
Conclusion and Future Work
Comparing Modeling Approaches Workshop
Comparing Six Modeling Approaches
Introduction
Comparison Criteria
Modeling Approach Dimensions
Key Concepts
Parking Lot
Results of Assessment
Modeling Approach Dimensions
Key Concepts
Conclusions and Future Work
References
Models and Evolution Workshop
Summary of the Second International Workshop on Models and Evolution
Models and Evolution
Workshop Themes
Towards Semantics-Aware Merge Support in Optimistic Model Versioning
Introduction
Related Work
Semantics-Aware Model Versioning
Definitions
Versioning Scenarios
Semantics-Aware Model Merging
Application Scenario
Conclusion and Future Work
References
4th International Workshop on Model-BasedArchitecting and Construction of Embedded Systems
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011)
Introduction
Workshop Contributions
Summary of the Workshop Discussions
References
Model-Based Consistency Checks of Electric and Electronic Architectures against Requirements
Introduction
Related Work
Checking EEA-Consistency in the Context of Model-Based Engineering
Overview of the Constraint Verification Approach
Consistency Check Block
Model Queries Block
Logic Unit
Requirements Block
Report Generation Block
Execution of Verification
Prototype Implementation in PREEvision
Model Query Blocks
Consistency Check Blocks
Logic Unit
Report Generation Block
Conclusion and Future Work
References
A Model-Driven Approach for Software Parallelization
Introduction
Related Work
Approach
Models Used during the Transformation
Parallel Model
Call Trees
Transforming Source Code into a Parallel Model
Pruning the Call Tree
Data Dependencies
User Input
Transformation to a Parallel Model
Subgraph Edges
Implementation
Results
Future Work
Conclusion
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken