Skip to main content
  • Conference proceedings
  • © 2013

System Analysis and Modeling: Theory and Practice

7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers

  • Up-to-date results in system analysis and modeling

  • Fast-track conference proceedings

  • State-of-the-art research

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

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 2012.

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-36757-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 72.00
Price excludes VAT (USA)

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

Table of contents (14 papers)

  1. Front Matter

  2. Keynote 1

    1. Models ’67 Revisited

      • Birger Møller-Pedersen
      Pages 1-15
  3. Test and Analysis I

    1. An Approach to Specify and Analyze Goal Model Families

      • Azalia Shamsaei, Daniel Amyot, Alireza Pourshahid, Edna Braun, Eric Yu, Gunter Mussbacher et al.
      Pages 34-52
  4. Language Enhancements

    1. Real-Time Tasks in SDL

      • Dennis Christmann, Reinhard Gotzhein
      Pages 53-71
  5. Fuzzy Subjects

    1. Behavioral Fuzzing Operators for UML Sequence Diagrams

      • Martin Schneider, Jürgen Großmann, Nikolay Tcholtchev, Ina Schieferdecker, Andrej Pietschker
      Pages 88-104
    2. Relativity and Abstract State Machines

      • Edel Sherratt
      Pages 105-120
  6. Keynote 2

    1. From Earthquake Detection to Traffic Surveillance – About Information and Communication Infrastructures for Smart Cities

      • Joachim Fischer, Jens-Peter Redlich, Björn Scheuermann, Jochen Schiller, Mesut Günes, Kai Nagel et al.
      Pages 121-141
  7. Components and Composition

    1. Type-Safe Symmetric Composition of Metamodels Using Templates

      • Henning Berg, Birger Møller-Pedersen
      Pages 160-178
  8. Configuring and Product Lines

    1. Towards Correct Product Derivation in Model-Driven Product Lines

      • Xiaorui Zhang, Birger Møller-Pedersen
      Pages 179-197
    2. Simulation Configuration Modeling of Distributed Communication Systems

      • Mihal Brumbulli, Joachim Fischer
      Pages 198-211
  9. Analysis II

    1. GRL Model Validation: A Statistical Approach

      • Jameleddine Hassine, Daniel Amyot
      Pages 212-228
  10. Back Matter

Other Volumes

  1. System Analysis and Modeling: Theory and Practice

    7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

About this book

This book constitutes revised papers of the proceedings of the 7th International Workshop on System Analysis and Modeling, SAM 2012, held in Innsbruck, Austria, in October 2012. The 12 papers presented were carefully reviewed and selected from 27 submissions. In addition, the book contains two keynote speeches in full-paper length. The contributions are organized in topical sections named: test and analysis, language enhancements, fuzzy subjects, components and composition, and configuring and product lines.

Keywords

  • distributed systems
  • domain-specific languages
  • model-driven product lines
  • software design
  • software services

Editors and Affiliations

  • SINTEF, Oslo, Norway

    Øystein Haugen

  • Telecommunications Software Engineering, Windermere, UK

    Rick Reed

  • University of Kaiserslautern, Kaiserslautern, Germany

    Reinhard Gotzhein

Bibliographic Information

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-36757-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 72.00
Price excludes VAT (USA)