Skip to main content
SpringerLink
Log in

System Analysis and Modeling

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

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Daniel Amyot

    1. SITE, University of Ottawa, Ottawa, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alan W. Williams

    1. University of Ottawa, Ottawa, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: SAM 2004.

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

  1. Front Matter

    Download chapter PDF

  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. Data Encoding for SDL in ITU-T Rec. Z.104

      • Rick Reed
      Pages 80-95

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

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

  7. Experience

    1. Dealing with Non-local Choice in IEEE 1073.2’s Standard for Remote Control

      • Arjan J. Mooij, Nicolae Goga
      Pages 257-270

    2. Guidelines for Using SDL in Product Development

      • Frank Weil, Thomas Weigert
      Pages 271-289

    3. Validating Wireless Protocol Conformance Test Cases

      • Paresh Jain, Amresh Nandan
      Pages 290-300
Back to top

Other volumes

  1. System Analysis and Modeling

Keywords

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, general

Publish with us

Policies and ethics

Back to top

Search

Navigation