
Models in Software Engineering
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
More details
Other editions
Additional editions

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
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.