System Analysis and Modeling: About Models

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

  • Frank Alexander Kraemer
  • Peter Herrmann
Conference proceedings SAM 2010
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6598)

Table of contents

  1. Front Matter
  2. Modularity, Composition, Choreography

    1. Philipp Becker, Marc Krämer
      Pages 1-17
    2. Surya Bahadur Kathayat, Rolv Bræk
      Pages 36-55
  3. Application of SDL and UML

  4. SDL Language Profiles

    1. Alexander Kraas
      Pages 108-123
  5. Code Generation and Model Transformations

    1. Pejman Salehi, Pietro Colombo, Abdelwahab Hamou-Lhadj, Ferhat Khendek
      Pages 124-143
    2. Mihal Brumbulli, Joachim Fischer
      Pages 144-155
    3. Uwe Jugel, André Preußner
      Pages 156-172
  6. Verification and Analysis

    1. Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon
      Pages 173-192
    2. Sören Kemmann, Thomas Kuhn, Mario Trapp
      Pages 193-208
    3. Saoussen Anssi, Sébastien Gérard, Arnaud Albinet, François Terrier
      Pages 209-220
  7. User Requirements Notation

    1. Nicolas Genon, Daniel Amyot, Patrick Heymans
      Pages 221-240
    2. Gunter Mussbacher, Daniele Barone, Daniel Amyot
      Pages 241-256
  8. Back Matter

About these proceedings

Introduction

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

  • Frank Alexander Kraemer
    • 1
  • Peter Herrmann
    • 1
  1. 1.Department of TelematicsNorwegian University of Science and Technology (NTNU)TrondheimNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-21652-7
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-21651-0
  • Online ISBN 978-3-642-21652-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book