SDL 2001: Meeting UML

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

Häftad, Engelska, 2001

709 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 10th International SDL Forum, SDL 2001, held in Copenhagen, Denmark in June 2001. The 26 revised full papers presented were carefully reviewed and selected for presentation. The book offers topical sections on tools, language evolution, combined SDL and UML, unified testing, timing, unified ITU-T languages, SDL applications, MSC, and test and verification.

Produktinformation

Utgivningsdatum2001-06-18
Mått155 x 235 x 25 mm
Vikt686 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor439
Upplaga2001
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540422815

Tillhör följande kategorier

Hårdvara inom Data och it
Programmeringsböcker inom Data och it
Programvaruutveckling inom Data och it
Systemvetenskap och AI inom Data och it
Elektronik och kommunikationer inom Naturvetenskap och teknik

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.