10. SDL Forum 2001: Copenhagen, Denmark

@proceedings{DBLP:conf/sdl/2001,
  editor    = {Rick Reed and
               Jeanne Reed},
  title     = {SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen,
               Denmark, June 27-29, 2001, Proceedings},
  booktitle = {SDL Forum},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2078},
  year      = {2001},
  isbn      = {3-540-42281-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Tools

• Jean-Louis Camus, Thierry Le Sergent:
  Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems. 1-18
  Electronic Edition (Springer LINK) BibTeX
• Nikolai Mansurov, Djenana Campara:
  Using Message Sequence Charts to Accelerate Maintenance of Existing Systems. 19-37
  Electronic Edition (Springer LINK) BibTeX

2001 and Beyond: Language Evolution

• Øystein Haugen:
  From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams. 38-51
  Electronic Edition (Springer LINK) BibTeX
• Rodolphe Arthaud:
  SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems. 52-71
  Electronic Edition (Springer LINK) BibTeX

Combined SDL and UML

• Frank Rößler, Birgit Geppert, Reinhard Gotzhein:
  Collaboration-Based Design of SDL Systems. 72-89
  Electronic Edition (Springer LINK) BibTeX
• Jacqueline Floch, Richard Torbjørn Sanders, Ulrik Johansen, Rolv Bræk:
  Using UML for Implementation Design of SDL Systems. 90-106
  Electronic Edition (Springer LINK) BibTeX
• Niclas Bauer:
  Deployment of SDL Systems Using UML. 107-122
  Electronic Edition (Springer LINK) BibTeX

Unified Testing

• Anthony Wiles:
  ETSI Testing Activities and the Use of TTCN-3. 123-128
  Electronic Edition (Springer LINK) BibTeX
• Jens Grabowski, Peter Graubmann, Ekkart Rudolph:
  HyperMSCs with Connectors for Advanced Visual System Modelling and Testing. 129-147
  Electronic Edition (Springer LINK) BibTeX
• Paul Baker, Ekkart Rudolph, Ina Schieferdecker:
  Graphical Test Specification - The Graphical Format of TTCN-3. 148-167
  Electronic Edition (Springer LINK) BibTeX
• Dieter Hogrefe, Beat Koch, Helmut Neukirchen:
  Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation. 168-181
  Electronic Edition (Springer LINK) BibTeX

Timing

• Iulian Ober, Alain Kerbrat:
  Verification of Quantitative Temporal Properties of SDL Specifications. 182-202
  Electronic Edition (Springer LINK) BibTeX
• Ralf Münzenberger, Frank Slomka, Matthias Dörfel, Richard Hofmann:
  A General Approach for the Specification of Real-Time Systems with SDL. 203-222
  Electronic Edition (Springer LINK) BibTeX
• Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent:
  Timed Extensions for SDL. 223-240
  Electronic Edition (Springer LINK) BibTeX

Unified ITU-T Languages

• J. Larmouth:
  ASN.1 Is Reaching Out! 241-249
  Electronic Edition (Springer LINK) BibTeX
• Fabrice Dubois, Marc Born, Harald Böhme, Joachim Fischer, Eckhardt Holz, Olaf Kath, Bertram Neubauer, Frank Stoinski:
  Distributed Systems: From Models to Components. 250-267
  Electronic Edition (Springer LINK) BibTeX
• Andrew Miga, Daniel Amyot, Francis Bordeleau, Donald Cameron, C. Murray Woodside:
  Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. 268-287
  Electronic Edition (Springer LINK) BibTeX

SDL Application

• Juha Sipilä, Vesa Luukkala:
  An SDL Implementation Framework for Third Generation Mobile Communications System. 288-299
  Electronic Edition (Springer LINK) BibTeX
• Ostap Monkewich, Igor Sales, Robert L. Probert:
  OSPF Efficient LSA Refreshment Function in SDL. 300-315
  Electronic Edition (Springer LINK) BibTeX
• Vassilios Courzakis, Martin von Löwis, Ralf Schröder:
  Using SDL in a Stateless Environment. 316-327
  Electronic Edition (Springer LINK) BibTeX

MSC

• Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw:
  An MSC Based Representation of DiCons. 328-347
  Electronic Edition (Springer LINK) BibTeX
• Loïc Hélouët:
  Some Pathological Message Sequence Charts, and How to Detect Them. 348-364
  Electronic Edition (Springer LINK) BibTeX
• Bengt Jonsson, Gerardo Padilla:
  An Execution Semantics for MSC-2000. 365-378
  Electronic Edition (Springer LINK) BibTeX

Test and Verification

• Nicolae Goga:
  Comparing TorX, Autolink, TGV and UIO Test Algorithms. 379-402
  Electronic Edition (Springer LINK) BibTeX
• Natalia Sidorova, Martin Steffen:
  Verifying Large SDL-Specifications Using Model Checking. 403-420
  Electronic Edition (Springer LINK) BibTeX
• Wenhui Zhang:
  Applying SDL Specifications and Tools to the Verification of Procedures. 421-438
  Electronic Edition (Springer LINK) BibTeX