SDL 2001: Meeting UML

10th International SDL Forum Copenhagen, Denmark, June 27–29, 2001 Proceedings

  • Rick Reed
  • Jeanne Reed
Conference proceedings SDL 2001

DOI: 10.1007/3-540-48213-X

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Frank Roessler, Birgit Geppert, Reinhard Gotzhein
    Pages 72-89
  3. Jacqueline Floch, Richard Sanders, Ulrik Johansen, Rolv Bræk
    Pages 90-106
  4. Niclas Bauer
    Pages 107-122
  5. Anthony Wiles
    Pages 123-128
  6. Jens Grabowski, Peter Graubmann, Ekkart Rudolph
    Pages 129-147
  7. Paul Baker, Ekkart Rudolph, Ina Schieferdecker
    Pages 148-167
  8. Dieter Hogrefe, Beat Koch, Helmut Neukirchen
    Pages 168-181
  9. Ralf Münzenberger, Frank Slomka, Matthias Dörfel, Richard Hofmann
    Pages 203-222
  10. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent
    Pages 223-240
  11. John Larmouth
    Pages 241-249
  12. Fabrice Dubois, Marc Born, Harald Böhme, Joachim Fischer, Eckardt Holz, Olaf Kath et al.
    Pages 250-267
  13. Andrew Miga, Daniel Amyot, Francis Bordeleau, Donald Cameron, Murray Woodside
    Pages 268-287
  14. Ostap Monkewich, Igor Sales, Robert Probert
    Pages 300-315

About these proceedings

Introduction

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ?rst standardized by the world telecommunications body, the International Telecommunications Union (ITU), more than 20 years ago in 1976. While the original language and domain of application has evolved signi?cantly, the foundations of SDL as a graphical, state-transition and process-communication language for real-time systems have remained. Today SDL has also grown to be one notation in the set of uni?ed modelling languages recommended by the ITU (ASN.1, MSC, SDL, ODL, and TTCN) that can be used in methodology taking engineering of systems from requirements capture through to testing and operation. The SDL Forum is held every two years and has become the most imp- tant event in the calendar for anyone involved in SDL and related languages and technology. The SDL Forum Society that runs the Forum is a non-pro?t organization whose aim it is to promote and develop these languages.

Keywords

Description Languages Message Sequence Chart Modeling OSPF Process-Communication Languages Requirements Analysis SDL State-Transition Languages Systems Design Unified Modeling Language (UML) algorithm communication model checking semantics verification

Editors and affiliations

  • Rick Reed
    • 1
  • Jeanne Reed
    • 1
  1. 1.Telecommunications Software Engineering Ltd.LutterworthUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42281-5
  • Online ISBN 978-3-540-48213-0
  • Series Print ISSN 0302-9743