Models in Software Engineering

Name: Models in Software Engineering | Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers

Juergen Dingel Arnor Solberg(Herausgeber*in)

Springer (Verlag)

Erschienen am 13. Mai 2011

XII, 416 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-21210-9 (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

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

Systemvoraussetzungen

Als PDF speichern Als Link merken