This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on SDL and MSC, SAM 2002, held in Aberystwyth, UK in June 2002.
The 15 revised full papers presented were carefully selected during two rounds of reviewing and revision. A broad variety of current issues on SDL and on MSC and TTCN are addressed, in particular languages for collaborative specification, visual requirements description, constraints in SDL, SDL extensions, protocol design, UMS protocol implementation, use case map scenarios, message sequence charts, MSC connectors, MSC-2000 extensions, and TTCN-3 in relation to UML and MSC.
Author(s): Frank Rößler, Birgit Geppert, Reinhard Gotzhein (auth.), Edel Sherratt (eds.)
Series: Lecture Notes in Computer Science 2599
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 256
Tags: Computer Communication Networks; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Information Systems Applications (incl.Internet); Communications Engineering, Networks
CoSDL - An Experimental Language for Collaboration Specification....Pages 1-20
URN: Towards a New Standard for the Visual Description of Requirements....Pages 21-37
Expression of Time and Duration Constraints in SDL....Pages 38-52
SDL Time Extensions from a Semantic Point of View....Pages 53-60
Micro Protocol Design: The SNMP Case Study1....Pages 61-73
Implementation of UMTS Protocol Layers for the Radio Access Interface....Pages 74-89
Object-Oriented Specification of Protocols for Reusability....Pages 90-102
Rapid Development of Network Software via SDL/Socket Interfaces....Pages 103-123
Understanding Existing Software with Use Case Map Scenarios....Pages 124-140
Techniques for Abstracting SDL Specifications....Pages 141-157
Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems....Pages 158-169
Automatic Generation of Conformance Tests from Message Sequence Charts....Pages 170-198
MSC Connectors - The Philosopher’s Stone....Pages 199-220
An Extension for MSC-2000 and Its Application....Pages 221-232
The Graphical Format of TTCN-3 in the Context of MSC and UML....Pages 233-252
