Skip to main content
  • Conference proceedings
  • © 2011

System Analysis and Modeling: About Models

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

  • 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)

Conference series link(s): SAM: International Conference on System Analysis and Modeling

Conference proceedings info: SAM 2010.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (15 papers)

  1. Front Matter

  2. Modularity, Composition, Choreography

    1. SDL Modules – Concepts and Tool Support

      • Philipp Becker, Marc Krämer
      Pages 1-17
    2. 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
  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

Other Volumes

  1. System Analysis and Modeling: About Models

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.

Keywords

  • aspect-oriented modeling
  • communication systems
  • distributed systems
  • formal methods
  • real-time systems
  • service-oriented systems
  • systems modeling

Editors and Affiliations

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

    Frank Alexander Kraemer, Peter Herrmann

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions