Skip to main content
SpringerLink
Log in
Book cover

System Analysis and Modeling: About Models

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Frank Alexander Kraemer

    1. Department of Telematics, Norwegian University of Science and Technology (NTNU), Trondheim, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Herrmann

    1. Department of Telematics, Norwegian University of Science and Technology (NTNU), Trondheim, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • up-to-date results
  • fast track conference proceedings
  • state-of-the-art report

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6598)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SAM 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Modularity, Composition, Choreography

    1. SDL Modules – Concepts and Tool Support

      • Philipp Becker, Marc Krämer
      Pages 1-17

    2. A Developer-Friendly Approach for the Validation of Dynamic Compositions

      • Jacqueline Floch, Cyril Carrez
      Pages 18-35

    3. From Flow-Global Choreography to Component Types

      • Surya Bahadur Kathayat, Rolv Bræk
      Pages 36-55

  3. Application of SDL and UML

    1. Integration of FlexRay into the SDL-Model-Driven Development Approach

      • Tobias Braun, Reinhard Gotzhein, Matthias Wiebel
      Pages 56-71

    2. Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL

      • Manuel Rodríguez-Cayetano
      Pages 72-90

    3. UML-Based Specification and Generation of Executable Web Services

      • Wafi Dahman, Jens Grabowski
      Pages 91-107

  4. SDL Language Profiles

    1. The SDL-UML Profile Revisited

      • Alexander Kraas
      Pages 108-123

  5. Code Generation and Model Transformations

    1. A Model Driven Approach for AMF Configuration Generation

      • Pejman Salehi, Pietro Colombo, Abdelwahab Hamou-Lhadj, Ferhat Khendek
      Pages 124-143

    2. SDL Code Generation for Network Simulators

      • Mihal Brumbulli, Joachim Fischer
      Pages 144-155

    3. A Case Study on API Generation

      • Uwe Jugel, André Preußner
      Pages 156-172

  6. Verification and Analysis

    1. UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models

      • Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon
      Pages 173-192

    2. Extensible and Automated Model-Evaluations with INProVE

      • Sören Kemmann, Thomas Kuhn, Mario Trapp
      Pages 193-208

    3. Requirements and Solutions for Timing Analysis of Automotive Systems

      • Saoussen Anssi, Sébastien Gérard, Arnaud Albinet, François Terrier
      Pages 209-220

  7. User Requirements Notation

    1. Analysing the Cognitive Effectiveness of the UCM Visual Notation

      • Nicolas Genon, Daniel Amyot, Patrick Heymans
      Pages 221-240

    2. Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling

      • Gunter Mussbacher, Daniele Barone, Daniel Amyot
      Pages 241-256

  8. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. System Analysis and Modeling: About Models

Keywords

About this book

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.

Editors and Affiliations

  • Department of Telematics, Norwegian University of Science and Technology (NTNU), Trondheim, Norway

    Frank Alexander Kraemer, Peter Herrmann

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation