Title: SDL 2001 : meeting UML :
Authors: SDL Forum; Reed, Rick.; Reed, Jeanne.
Date: 2001
Publisher: Springer,
Physical description: xi, 437 pages : illustrations ; 24 cm.
Language: English
LC classification: Q
Contents: Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems / J.-L. Camus and T. Le Sergent -- Using Message Sequence Charts to Accelerate Maintenance of Existing Systems / N. Mansurov and D. Campara -- From MSC-2000 to UML 2.0 -- The Future of Sequence Diagrams / O. Haugen -- SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems / R. Arthaud -- Collaboration-Based Design of SDL Systems / F. Roessler, B. Geppert and R. Gotzhein -- Using UML for Implementation Design of SDL Systems / J. Floch, R. Sanders and U. Johansen / [et al.] -- Deployment of SDL Systems Using UML / N. Bauer -- Invited Presentation: ETSI Testing Activities and the Use of TTCN-3 / A. Wiles -- HyperMSCs with Connectors for Advanced Visual System Modelling and Testing / J. Grabowski, P. Graubmann and E. Rudolph -- Graphical Test Specification -- The Graphical Format of TTCN-3 / P. Baker, E. Rudolph and I. Schieferdecker --^ Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation / D. Hogrefe, B. Koch and H. Neukirchen -- Verification of Quantitative Temporal Properties of SDL Specifications / I. Ober and A. Kerbrat -- A General Approach for the Specification of Real-Time Systems with SDL / R. Munzenberger, F. Slomka and M. Dorfel / [et al.] -- Timed Extensions for SDL / M. Bozga, S. Graf and L. Mounier / [et al.] -- ASN.1 Is Reaching Out! / J. Larmouth -- Distributed Systems: From Models to Components / F. Dubois, M. Born and H. Bohme / [et al.] -- Deriving Message Sequence Charts from Use Case Maps Scenario Specifications / A. Miga, F. Bordeleau and M. Woodside / [et al.] -- An SDL Implementation Framework for Third Generation Mobile Communications System / J. Sipila and V. Luukkala -- OSPF Efficient LSA Refreshment Function in SDL / O. Monkewich, I. Sales and R. Probert -- Using SDL in a Stateless Environment / V. Courzakis, M. von Lowis and R. Schroder --^ An MSC Based Representation of DiCons / J. C. M. Baeten, H. M. A. van Beek and S. Mauw -- Some Pathological Message Sequence Charts, and How to Detect Them / L. Helouet -- An Execution Semantics for MSC-2000 / B. Jonsson and G. Padilla -- Comparing TorX, Autolink, TGV and UIO Test Algorithms / N. Goga -- Verifying Large SDL-Specifications Using Model Checking / N. Sidorova and M. Steffen -- Applying SDL Specifications and Tools to the Verification of Procedures / W. Zhang.
Subject headings (LCSH): SDL (Computer program language)--Congresses.; Telecommunication--Switching systems--Design and construction--Data processing--Congresses.