Skip to main content
SpringerLink
Log in

System Analysis and Modeling: Theory and Practice

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Øystein Haugen

    1. SINTEF, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rick Reed

    1. Telecommunications Software Engineering, Windermere, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Reinhard Gotzhein

    1. University of Kaiserslautern, Kaiserslautern, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: SAM 2012.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
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 (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote 1

    1. Models ’67 Revisited

      • Birger Møller-Pedersen
      Pages 1-15

  3. Test and Analysis I

    1. Identification and Selection of Interaction Test Scenarios for Integration Testing

      • Mohamed Mussa, Ferhat Khendek
      Pages 16-33

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

    2. Prototyping Domain Specific Languages as Extensions of a General Purpose Language

      • Andreas Blunk, Joachim Fischer
      Pages 72-87

  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. On Deriving Detailed Component Design from High-Level Service Specification

      • Urooj Fatima, Rolv Bræk
      Pages 142-159

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

    2. Configuration-Based Service Availability Analysis for Middleware Managed Applications

      • Ali Kanso, Maria Toeroe, Ferhat Khendek
      Pages 229-248

  10. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. System Analysis and Modeling: Theory and Practice

Keywords

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.

Editors and Affiliations

  • SINTEF, Oslo, Norway

    Øystein Haugen

  • Telecommunications Software Engineering, Windermere, UK

    Rick Reed

  • University of Kaiserslautern, Kaiserslautern, Germany

    Reinhard Gotzhein

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation