Models in Software Engineering
Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
Published on 13. April 2012
X, 292 pages
978-3-642-29645-1 (ISBN)
Description
This book presents a comprehensive documentation of the scientific outcome of satellite events held at the 14th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011.
In addition to 3 contributions each of the doctoral symposium and the educators' symposium, papers from the following workshops are included: variability for you; multi-paradigm modeling; experiences and empirical studies in software modelling; models@run.time; model-driven engineering, verification and validation; comparing modeling approaches; models and evoluation; and model-based architecting and construction of embedded systems.
More details
Other editions
Additional editions
Jörg Kienzle
Models in Software Engineering
Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
Book
04/2012
Springer
€53.49
Shipment within 7-9 days
Content
- 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
