6. SAM 2010: Oslo, Norway

Frank Alexander Kraemer, Peter Herrmann (Eds.): System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6598 Springer 2011, ISBN 978-3-642-21651-0

Modularity, Composition, Choreography

Philipp Becker, Marc Krämer:
SDL Modules - Concepts and Tool Support. 1-17
Jacqueline Floch, Cyril Carrez:
A Developer-Friendly Approach for the Validation of Dynamic Compositions. 18-35
Surya Bahadur Kathayat, Rolv Bræk:
From Flow-Global Choreography to Component Types. 36-55

Application of SDL and UML

Tobias Braun, Reinhard Gotzhein, Matthias Wiebel:
Integration of FlexRay into the SDL-Model-Driven Development Approach. 56-71
Manuel Rodríguez-Cayetano:
Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL. 72-90
Wafi Dahman, Jens Grabowski:
UML-Based Specification and Generation of Executable Web Services. 91-107

SDL Language Profiles

Alexander Kraas:
The SDL-UML Profile Revisited. 108-123

Code Generation and Model Transformations

Pejman Salehi, Pietro Colombo, Abdelwahab Hamou-Lhadj, Ferhat Khendek:
A Model Driven Approach for AMF Configuration Generation. 124-143
Mihal Brumbulli, Joachim Fischer:
SDL Code Generation for Network Simulators. 144-155
Uwe Jugel, André Preußner:
A Case Study on API Generation. 156-172

Verification and Analysis

Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon:
UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models. 173-192
Sören Kemmann, Thomas Kuhn, Mario Trapp:
Extensible and Automated Model-Evaluations with INProVE. 193-208
Saoussen Anssi, Sébastien Gérard, Arnaud Albinet, François Terrier:
Requirements and Solutions for Timing Analysis of Automotive Systems. 209-220

User Requirements Notation

Nicolas Genon, Daniel Amyot, Patrick Heymans:
Analysing the Cognitive Effectiveness of the UCM Visual Notation. 221-240
Gunter Mussbacher, Daniele Barone, Daniel Amyot:
Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling. 241-256

Last update Fri May 25 08:35:12 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page