System Analysis and Modeling: About Models

Name: System Analysis and Modeling: About Models | 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

Frank Alexander Kraemer Peter Herrmann(Herausgeber*in)

Springer (Verlag)

Erschienen am 17. Juni 2011

X, 257 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

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

Title
Preface
Organization
Table of Contents
Modularity, Composition, Choreography
SDL Modules - Concepts and Tool Support
Introduction
Motivation
Related Work
Exchangeable Modules in SDL
Concept of SDL Modules
Usage of SDL Modules
The SDL Package Substitution Tool
Overview
Configuration Files
SPaSs Main Substitution Algorithm
Conclusions and Future Work
References
A Developer-Friendly Approach for the Validation of Dynamic Compositions
Introduction
Concepts, Assumptions and Overall Approach
Conceptual Service Model
Communication Scheme
Service Example
Assumptions, Research Challenges and Overall Approach
Safe Service Composition
Interface Compatibility and Well-Formedness
Interface Dependencies and Safe Composition
Interface Dependency Types
Dependency Graph
Validating Service Compositions
Extracting Interface Dependencies from Service Role Specifications
Related Work
Discussion and Conclusion
References
From Flow-Global Choreography to Component Types
Introduction
Service Structure
Flow-Global Choreography Models
Flow Localization
Strong Sequence Localization
Weak Sequence Localization
Control Nodes and Paths Localization
Streaming Flow Localization
Initiative Choice Localization
Deriving Components
Discussion and Related Work
Conclusion
References
Application of SDL and UML
Integration of FlexRay into the SDL-Model-Driven Development Approach
Introduction
SDL-MDD - Model-Driven Development with SDL
FlexRay - A Field Bus in the Automotive Domain
Outline of the FlexRay Protocol
Outline of the FlexRay Hardware
The SDL-FlexRay Interface
The SDL-FlexRay Signal Interface for the PSM
The SDL-FlexRay Driver of the SDL Environment Framework
FlexRay Application Scenario
Conclusions and Outlook
References
Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL
Introduction
CPU Scheduling
Overview
Existing Simulators
The SDL CPU Scheduler Simulator
Simulator Requirements
Simulator Behavior Overview
Simulator Structure and Detailed Behavior
Simulator Testing and Implementation
The CPU Scheduler Simulator Graphical User Interface
Concluding Remarks and Future Work
References
UML-Based Specification and Generation of Executable Web Services
Introduction
Foundations
Web Services
Unified Modeling Language Profiles
Code Generation
UP4WS Definition
Web Services Basic Extensions
Making Web Services Executable
UP4WS Implementation
Model Transformation and Code Generation
A Case Study: Library System Web Service
Web Service Description
Identifying and Allocating UML Extensions to the Library Web Service
Representing Library Web Service Behaviour
Generating, Deploying and Executing the Web Service
Related Work
Summary and Outlook
Summary
Discussion
Outlook
References
SDL Language Profiles
The SDL-UML Profile Revisited
Introduction
Related Work
Notational Conventions
Data Type Model
Actual Data Type Model
Limitations of the Actual SDL-UML Data Type Concept
Features of the Proposed New Data Type Model
Stereotypes of the Proposed New Data Type Model
Model for Value Specification
Actual Model for Value Specification
Limitations of the Actual Value Specification Mechanism
New Model for Value Specification
Conclusion
References
Code Generation and Model Transformations
A Model Driven Approach for AMF Configuration Generation
Introduction
The Modeling Framework
The AMF Profile
The Entity Type Files (ETF) Profile
The Configuration Requirements (CR) Profile
A Model Driven Approach for AMF Configuration Generation
ETF Type Selection
AMF Entity Type Creation
AMF Entity Instantiation
Related Work
Conclusion
References
SDL Code Generation for Network Simulators
Introduction
The Network Simulator ns-3
Code Generation
The HUB Transcompiler
Code Transformation
Integration with ns-3
First Practice
Conclusions
References
A Case Study on API Generation
Introduction
Contributions and Overview
Project Background
Requirements and Assumptions
Related Work and Alternative Approaches
EMF4NET
.NET SDK Code Generator for XSD
Model-to-Text Alternatives
Applied Model-to-Code Generation
Continuous Integration of Models and Code
Problems of the API Generator
Handling Additional API Feature Requests
Validation of the Results
Feasibility of Code Generation
Reduced Types of Errors
Developer Efficiency
Validity of the Proposed Model Extension Technique
Conclusion and Outlook
References
Verification and Analysis
UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models
Introduction
UML/OCL Model Slicing
The UOST Process
Flowgraph: Step 1
Applying UOST: Step 2, Step 3, and Step 4
Non Disjoint Solution
UOST Implementation in UMLtoCSP
Limitations
UOST Implementation in Alloy
Related Work
UML Model Slicing
Architectural Slicing
Program Slicing
Conclusion and Future Work
References
Extensible and Automated Model-Evaluations with INProVE
Introduction
Related Work
Rationale of INProVE
Quality Indicators
Concept of the INProVE Framework
INProVE Indicators
The Anatomy of Indicators
Pattern Searching
Logical Inference
Functional Combination
Indicator Development
INProVE Implementation and Application
Summary and Outlook
References
Requirements and Solutions for Timing Analysis of Automotive Systems
Introduction
Related Work: Schedulability Tests and Scheduling Analysis Tools
Scheduling Needs for Automotive Applications and Scheduling Analysis Tools Requirements
Analysis Tools Presentation
Analysis Tools Capabilities
Scheduling Analysis for a Concrete Automotive Application with MAST and Cheddar
Use Case Presentation
MAST and Cheddar System Model for Knock
Analysis Results
Conclusion
References
User Requirements Notation
Analysing the Cognitive Effectiveness of the UCM Visual Notation
Introduction
Language Evaluation Frameworks
Popular Frameworks
The Physics of Notations
Analysis of Use Case Maps
Cognitive Fit
Semiotic Clarity
Perceptual Discriminability
Semantic Transparency
Visual Expressiveness
Primary and Secondary Notations.
Choices of Visual Variables.
Complexity Management
Cognitive Integration
Dual Coding
Graphic Economy
Discussion
Conclusion
References
Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling
Introduction
Background
Semantic Matching of Aspect-Oriented Models
Schema Matching Techniques from the Database Research Community
Aspect-oriented User Requirements Notation (AoURN)
Taxonomy of Syntactic and Semantic Matching
Syntax-Based Matching of Individual Elements
Semantics-Based Matching of Individual Elements
Syntax-Based Matching of Structure
Semantics-Based Matching of Structure
Matching of Run-Time Information
Conclusion and Future Work
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken