Skip to main content
  • Conference proceedings
  • © 2005

System Analysis and Modeling

4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

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

Part of the book sub series: Computer Communication Networks and Telecommunications (LNCCN)

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

Conference proceedings info: SAM 2004.

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 (19 papers)

  1. Front Matter

  2. SDL and eODL

    1. Deployment and Configuration of Distributed Systems

      • Andreas Hoffmann, Bertram Neubauer
      Pages 1-16
    2. eODL and SDL in Combination for Components

      • Harald Böhme, Joachim Fischer
      Pages 17-32
    3. Applying eODL and SDL-Patterns for Developing TMN Managed Systems

      • Margarita de Cabo, Manuel Rodríguez
      Pages 33-49
    4. SPT – The SDL Pattern Tool

      • Jörg Dorsch, Anders Ek, Reinhard Gotzhein
      Pages 50-64
  3. Evolution of Languages

    1. Comparing UML 2.0 Interactions and MSC-2000

      • Øystein Haugen
      Pages 65-79
    2. SDL in a Changing World

      • Edel Sherratt
      Pages 96-105
  4. Requirements and MSC

    1. Early Validation of Deployment and Scheduling Constraints for MSC Specifications

      • Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao Jun Zhang, Tong Zheng
      Pages 106-121
    2. Scenario Synthesis from Imprecise Requirements

      • Bill Mitchell, Robert Thomson, Paul Bristow
      Pages 122-137
    3. Applying Reduction Techniques to Software Functional Requirement Specifications

      • Jameleddine Hassine, Rachida Dssouli, Juergen Rilling
      Pages 138-153
  5. SDL and Modelling

    1. A Metamodel for SDL-2000 in the Context of Metamodelling ULF

      • Joachim Fischer, Michael Piefel, Markus Scheidgen
      Pages 208-223
    2. A Flexible Micro Protocol Framework

      • Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible
      Pages 224-236
    3. ICT Convergence: Modeling Issues

      • Rolv Bræk, Jacqueline Floch
      Pages 237-256
  6. Experience

    1. Guidelines for Using SDL in Product Development

      • Frank Weil, Thomas Weigert
      Pages 271-289
    2. Validating Wireless Protocol Conformance Test Cases

      • Paresh Jain, Amresh Nandan
      Pages 290-300

Other Volumes

  1. System Analysis and Modeling

Keywords

  • SDL
  • SDL specifications
  • Text
  • UML
  • description languages
  • distributed systems
  • formal specification
  • network software development
  • process communication languages
  • protocol design
  • requirements engineering
  • systems modeling
  • systems security

Editors and Affiliations

  • SITE, University of Ottawa, Ottawa, Canada

    Daniel Amyot

  • University of Ottawa, Ottawa, Canada

    Alan W. Williams

Bibliographic Information

  • Book Title: System Analysis and Modeling

  • Book Subtitle: 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

  • Editors: Daniel Amyot, Alan W. Williams

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/b105884

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2005

  • Softcover ISBN: 978-3-540-24561-2Published: 16 February 2005

  • eBook ISBN: 978-3-540-31810-1Published: 27 January 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 302

  • Topics: Theory of Computation, Computer Science

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