System Analysis and Modeling: About Models
6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
Published on 17. June 2011
X, 257 pages
978-3-642-21652-7 (ISBN)
Description
This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented went through two rounds of reviewing and improvement. The papers are organized in topical sections on modularity, composition, choreography, application of SDL and UML; SDL language profiles; code generation and model transformations; verification and analysis; and user requirements notification.
More details
Other editions
Additional editions
Frank Alexander Kraemer | Peter Herrmann
System Analysis and Modeling: About Models
6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
Book
06/2011
1st Edition
Springer
€53.49
Shipment within 5-7 days
Content
- 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
