Telecommunications and beyond: The Broader Applicability of SDL and MSC

SDL.- CoSDL - An Experimental Language for Collaboration Specification.- URN: Towards a New Standard for the Visual Description of Requirements.- Expression of Time and Duration Constraints in SDL.- SDL Time Extensions from a Semantic Point of View.- Micro Protocol Design: The SNMP Case Study1.- Implementation of UMTS Protocol Layers for the Radio Access Interface.- Object-Oriented Specification of Protocols for Reusability.- Rapid Development of Network Software via SDL/Socket Interfaces.- Understanding Existing Software with Use Case Map Scenarios.- Techniques for Abstracting SDL Specifications.- Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems.- MSC and TTCN.- Automatic Generation of Conformance Tests from Message Sequence Charts.- MSC Connectors - The Philosopher’s Stone.- An Extension for MSC-2000 and Its Application.- The Graphical Format of TTCN-3 in the Context of MSC and UML.

Includes supplementary material: sn.pub/extras