Models in Software Engineering
Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers
Published on 13. May 2011
XII, 416 pages
978-3-642-21210-9 (ISBN)
Description
This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2010, held in Oslo, Norway, in October 2010. Besides the 21 revised best papers selected from 12 topically focused workshops, the post-proceedings also covers the doctoral symposium and the educators symposium; each of the 14 satellite events covered is introduced by a summary of the respective organizers. All relevant current aspects in model-based systems design and analysis are addressed. This book is the companion of the MODELS 2010 main conference proceedings LNCS 6394/6395.
More details
Other editions
Additional editions
Juergen Dingel | Arnor Solberg
Models in Software Engineering
Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers
Book
05/2011
1st Edition
Springer
€53.49
Shipment within 5-7 days
Content
- 6627
- Preface
- Organization
- Table of Contents
- Doctoral Symposium
- The Doctoral Symposium at MODELS 2010
- Introduction
- Summary of Presentations and Feedback
- Conclusions
- References
- ReuseMe - Towards Aspect-Driven Reuse in Modelling Method Development
- Introduction
- Aspect-Driven Reuse in Method Development
- Conceptual Overview of Method Reuse
- Method Reuse by Example
- Contribution Expected from Method Reuse
- Related Work
- Strategy for Evaluating Aspect-Driven Reuse
- Current Status and Next Steps
- References
- A Model-Based Framework for Software Performance Feedback
- Problem
- Performance Antipatterns: One Example
- Related Work
- Proposed Approach
- Specifying Antipatterns
- Detecting and Solving Antipatterns
- Expected Contributions
- Current Status
- Plan for Evaluation
- References
- Educators' Symposium
- Software Modeling in Education: The 6th Educators' Symposium at MODELS 2010
- Overview
- Contributions
- Program Committee
- Novel Communication Channels in Software Modeling Education
- Introduction
- Background
- Self Assessments
- Lecture Streams
- Document Camera
- Ongoing Work
- Conclusion
- References
- Implementation of the Concept-Driven Approach in an Object-Oriented Analysis and Design Course
- Introduction
- Background Review
- Proposed Concept-Driven Approach
- Static and Dynamic Concept Maps
- Integrating the Concept-Driven Approach into an Existing OOAD Course
- Evaluation Study
- Results
- Threats to Validity
- Conclusion
- References
- Workshop - ACES-MB
- Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010)
- Introduction
- Workshop Contributions
- Summary of the Workshop Discussions
- References
- Virtual Verification of System Designs against System Requirements
- Introduction
- Scope
- Virtual Verification of System Designs against System Requirements
- Objectives
- vVDR Concept
- Benefits
- Related Work
- Background
- Technical Background
- Running Example: Automated Train Protection System
- Methodology Description
- Role: Requirements Analyst
- Role: System Designer
- Role: System Tester
- Method Step: Select Requirements to Be Verified
- Method Step: Formalize Textual Requirements
- Method Step: Select or Create Design Model to Be Verified against Requirements
- Method Step: Create Test Models, Instantiate Models, Link Requirement Properties to Design Model Properties
- Method Step: Test and Observe Requirement Violations
- Method Step: Report and Analyze Test Results
- Tool Support and Automation
- Current Status and Future Directions
- Conclusion
- References
- From Interaction Overview Diagrams to Temporal Logic
- Introduction
- Interaction Overview Diagrams
- TRIO and Zot
- Formal Semantics of Interaction Overview Diagrams
- Example Telephone System
- TRIO Formalization
- Properties
- Complexity
- Related Work
- Conclusions and Future Works
- References
- Workshop - AOM
- Report of the 15th International Workshop on Aspect-Oriented Modeling
- Introduction
- Overview of Presentations
- Question Addressed in the Discussion Session
- Concluding Remarks
- References
- Aspect-Oriented Feature Models
- Introduction
- Feature Models
- Aspect-Oriented Feature Models
- Base Concerns in AoFM
- Aspects in AoFM
- Validation
- Potential Enhancements
- Related Work
- Conclusions and Future Work
- References
- Mapping Aspect-Oriented Models to Aspect-Oriented Code
- Introduction
- Background
- Reusable Aspect Models
- AspectJ
- Mapping a Single Aspect Model
- Enabling Reuse of Structure
- Enabling Reuse of Behavior
- Mapping Conflict Resolutions
- Mapping Variability
- Solution Strategies
- Related Work
- Conclusions
- References
- Workshop - EOOLT
- Equation-Based Object-Oriented Modeling Languages and Tools
- Introduction
- Program Chairs/Organizers and Program Committee
- Publication
- Sessions
- Real-Time Oriented Modeling Languages and Tools
- Modeling Language Design
- Simulation and Model Compilation
- Modeling and Simulation Tools
- References
- Workshop - MDI
- Model-Driven Interoperability: MDI 2010
- Introduction
- Model-Driven Interoperability
- The MDI 2010 Workshop
- Workshop Papers
- Workshop Discussions
- References
- From the Heterogeneity Jungle to Systematic Benchmarking
- Introduction
- Systematic Classification of Heterogeneities
- Benchmark Examples Applied
- Benchmark Example 1
- Benchmark Example 2
- Benchmark Example 3
- Lessons Learned
- Related Work
- Heterogeneity Classifications
- Mapping Benchmarks
- Conclusion and Future Work
- References
- Specifying Overlaps of Heterogeneous Models for Global Consistency Checking
- Introduction
- From Homo- to Heterogeneous Multimodeling
- Background: Homogeneous Overlap and Consistency
- The Problems
- Heterogeneous Overlap and Consistency by Examples
- Type-Safety and Indirect Overlap
- Inter-metamodel Constraints
- Metamodel Inter-relations
- Making Multimodeling Precise: A General Framework
- Related Work and Discussion
- Conclusion
- References
- Workshop - ME
- Models and Evolution - ME2010
- Introduction
- Workshop Contributions
- Summary and Outlook
- Conflicts as First-Class Entities: A UML Profile for Model Versioning
- Introduction
- Motivating Example
- A Holistic Conflict Model
- Prerequisites
- A Model for Conflicts
- Representing and Visualizing Conflicts in UML Models
- A UML Profile for Conflicts
- Generating the Conflict Diagram View
- Interaction with the Conflict Diagram View
- Conclusions and Future Work
- References
- A Manifesto for Semantic Model Differencing
- Introduction
- Examples
- Formal Definitions
- Implementations and Applications
- Challenges
- Computation
- Presentation
- Integration with Syntactic Differencing
- Related Work
- Conclusion
- References
- Workshop - Models@run.time
- Summary of the 5th International Workshop on Models@run.time
- Introduction
- Workshop Format and Session Summaries
- Discussions
- References
- Meta-modeling Runtime Models
- Introduction
- Related Work
- Utilizing Models at Runtime
- Generalizing Runtime Models
- Meta-modeling Runtime Models
- Identify the Prescriptive and Descriptive Parts
- Modifications of Descriptive Elements
- Modifications of Prescriptive Elements
- Identify the Causal Connection
- Meta-metamodel
- Implementation
- Example Application
- Context Metamodel
- Conclusions and Outlook
- References
- The Role of Models and Megamodels at Runtime
- Introduction
- Models, Relations and Megamodels at Runtime
- Categories of Runtime Models
- Relations between Runtime Models or Model Elements
- Megamodels at Runtime
- Self-adaptive Software Systems
- Runtime Models for Self-adaptive Software Systems
- Model Operations and Relations for Self-adaptive Systems
- Megamodels at Runtime for Self-adaptive Systems
- Case Study: Self-adaptive Software Systems
- Conclusion and Future Work
- References
- Workshop - MoDeVVA
- MoDeVVa 2010 Workshop Summary
- Modeling, Verification, and Validation
- Objectives of the Workshop
- Submissions and Acceptance in 2010
- Discussions during the Workshop
- Efficient Test Suite Reduction by Merging Pairs of Suitable Test Cases
- Introduction
- Related Work
- Generation and Representation of Test Cases
- Similarity-Based Test Suite Reduction
- Identification of Similarity
- Algorithm
- Evaluation of the Achieved Reduction Results
- Similarity in Relation to Achieved Relative Reduction
- Comparison of Differently Reduced Test Suites
- Effect of Composite Test Goals on the Reduction Ratio
- Conclusion and Future Work
- References
- Traceability for Mutation Analysis in Model Transformation
- Introduction
- Mutation Analysis to Qualify Test Data Set
- Mutation Analysis Process
- A Largely Manual Process
- Adaptation to Model Transformation
- Traceability, a Means to Automatically Collect Information
- Traceability for Model Transformation
- Mutation Matrix Metamodel
- Data Improvement Process Assisted by Traces
- Example
- Application of Our Approach
- Quantitative Study
- Related Work
- Conclusion
- References
- Workshop - MPM
- Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools
- Introduction
- Current Trends in Multi-Paradigm Modelling
- Conclusion
- References
- Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests
- Introduction
- Approach: Model Management in SysML
- Defining the Systems Engineering Problem
- Modeling and Composition of Analyses
- Discussion and Closure
- References
- Simplifying Model Transformation Chains by Rule Composition
- Introduction
- Transformation Composition
- Rule Composition
- Criteria for Rule Composability
- Composition Procedure
- From ATL to Graph Transformations
- ATL By-Example
- Mapping ATL to Graph Transformation
- Application
- Composing the Transformations
- Implementation
- Related Work
- Conclusion and Future Work
- References
- Workshop - NFPinDSML
- The 3rd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2010)
- Introduction
- The Workshop Program
- The Morning Workshop Part
- The Afternoon Workshop Part
- Final Remarks
- Integration of Component Fault Trees into the UML
- Introduction
- Related Work
- Introduction to CFTs
- Towards Model-Based CFTs
- UML Profiling as DSML Design
- Case-Study: Considering Worst Case Execution Times
- Conclusion
- References
- QVTR2: A Rational and Performance-Aware Extension to the Relations Language
- Workshop - OCL and Textual Modelling
- Tenth International Workshop on OCL and Textual Modelling
- Introduction
- Workshop Papers
- Re-engineering Eclipse MDT/OCL for Xtext by Edward Willink
- A Feature Model for an IDE4OCL by Joanna Chimiak-Opoka and Birgit Demuth
- MySQL-OCL: A Stored Procedure-Based MySQL Code Generator for OCL by Marina Egea, Carolina Dania and Manuel Clavel
- Navigating across Non-Navigable Ecore References via OCL by Martin Hanysz, Tobias Hoppe, Axel Uhl, Andreas Seibel, Holger Giese, Philipp Berger and Stephan Hildebrandt
- Towards a Conceptual Framework Supporting Model Compilability by Dan Chiorean and Vladiela Petrascu
- Verified Visualisation of Textual Modelling Languages by Fintan Fairmichael and Joseph Kiniry
- Support for Bidirectional Model-to-Text Transformations by Anthony Anjorin, Marius Lauder, Michael Schlereth and Andy Schurr
- An Overview of F-OML: An F-Logic Based Object Modeling Language by Mira Balaban and Michael Kifer
- On the Need of User-Defined Libraries in OCL by Thomas Baar
- Evolution of the OCL OMG Specification by Mariano Belaunde - Invited Presentation
- Final Discussion
- A Specification-Based Test Case Generation Method for UML/OCL
- Introduction
- A Gentle Introduction to a Formal OCL 2.2 Semantics
- Higher-Order Logic
- Valid Transitions and Evaluations
- Semantics of Object Invariants and Operation Contracts
- Strict Operations and Their Role in Reasoning
- Running Example: Linked Lists
- Singly-Linked Lists
- Translating Invariants into Recursive HOL-Predicates
- Translating Contracts into HOL
- Test Generation
- Test Specifications: Getting Started
- Test Hypotheses
- Unfolding
- Alias Closure
- Generating Test Object-Graphs from Test Cases
- Integrating the Technique in HOL-TestGen
- Related and Future Work
- Related Work
- Future Work
- References
- Integrating OCL and Textual Modelling Languages
- Introduction and Motivation
- Running Example-The Forms Language
- Integrating OCL with Textual Modelling Languages
- OCL Integration Process
- Integration Steps
- eOCL - Integrating OCL into Textual Ecore
- Discussion
- Related Work
- Conclusion
- References
- Workshop - QUASSOS
- Quality of Service-Oriented Software Systems (QUASOSS 2010)
- Introduction
- Workshop Contributions
- Keynote
- Paper Presentations
- Discussion Summary
- References
- An Accuracy Information Annotation Model for Validated Service Behavior Specifications
- Introduction
- Related Work
- Accuracy Information Model
- Validation Quality
- Quality Annotation
- Validation Process
- Case Study
- Assumptions and Limitations
- Conclusion and Future Work
- References
- Focussing Multi-Objective Software Architecture Optimization Using Quality of Service Bounds
- Introduction
- Related Work
- Palladio Component Model
- Finding Satisfactory Architectures
- Constraint Handling
- Process
- Case Study
- Setup
- Evaluation Measures
- Results
- Conclusion
- References
- Workshop - RoSym
- First International Workshop on Model Based Engineering for Robotics (RoSym'10)
- Integrating Ontological Domain Knowledge into a Robotic DSL
- Introduction
- Ontology, DSL: Some Definitions
- Ontology
- Domain Specific Language
- Ontology/DSL Comparison
- Design Domain and Domain Design
- Building Methodology
- Application Domain
- Technologies and Tools
- Rationale for the Use of Ontology in the Design Process of DSLs
- On the Use of Ontology for the Development of the PROTEUS DSLs
- The Proteus Project
- The PROTEUS Robotic Ontology
- From PROTEUS Ontology to PROTEUS DSLs
- Conclusion
- References
- Author Index
