SDL 2001: Meeting UML

Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems.- Using Message Sequence Charts to Accelerate Maintenance of Existing Systems.- From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams.- SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems.- Collaboration-Based Design of SDL Systems.- Using UML for Implementation Design of SDL Systems.- Deployment of SDL Systems Using UML.- ETSI Testing Activities and the Use of TTCN-3.- HyperMSCs with Connectors for Advanced Visual System Modelling and Testing.- Graphical Test Specification - The Graphical Format of TTCN-3.- Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation.- Verification of Quantitative Temporal Properties of SDL Specifications.- A General Approach for the Specification of Real-Time Systems with SDL.- Timed Extensions for SDL.- ASN.1 is Reaching Out!.- Distributed Systems: From Models to Components.- Deriving Message Sequence Charts from Use Case Maps Scenario Specifications.- An SDL Implementation Framework for Third Generation Mobile Communications System.- OSPF Efficient LSA Refreshment Function in SDL.- Using SDL in a Stateless Environment.- An MSC Based Representation of DiCons.- Some Pathological Message Sequence Charts, and How to Detect Them.- An Execution Semantics for MSC-2000.- Comparing TorX, Autolink, TGV and UIO Test Algorithms.- Verifying Large SDL-Specifications Using Model Checking.- Applying SDL Specifications and Tools to the Verification of Procedures.