System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

✍ Scribed by Philipp Becker, Marc Krämer (auth.), Frank Alexander Kraemer, Peter Herrmann (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2011
• Tongue: English
• Leaves: 268
• Series: Lecture Notes in Computer Science 6598
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages -
SDL Modules – Concepts and Tool Support....Pages 1-17
A Developer-Friendly Approach for the Validation of Dynamic Compositions....Pages 18-35
From Flow-Global Choreography to Component Types....Pages 36-55
Integration of FlexRay into the SDL-Model-Driven Development Approach....Pages 56-71
Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL....Pages 72-90
UML-Based Specification and Generation of Executable Web Services....Pages 91-107
The SDL-UML Profile Revisited....Pages 108-123
A Model Driven Approach for AMF Configuration Generation....Pages 124-143
SDL Code Generation for Network Simulators....Pages 144-155
A Case Study on API Generation....Pages 156-172
UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models....Pages 173-192
Extensible and Automated Model-Evaluations with INProVE....Pages 193-208
Requirements and Solutions for Timing Analysis of Automotive Systems....Pages 209-220
Analysing the Cognitive Effectiveness of the UCM Visual Notation....Pages 221-240
Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling....Pages 241-256
Back Matter....Pages -

✦ Subjects

Computer Communication Networks; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Special Purpose and Application-Based Systems; Information Systems Applications (incl.Internet)