Ebook: Telecommunications and beyond: The BroaderApplicability of SDL and MSC: Third International Workshop, SAM 2002 Aberystwyth, UK, June 24–26, 2002 Revised Papers
- Tags: Computer Communication Networks, Software Engineering, Programming Languages Compilers Interpreters, Logics and Meanings of Programs, Information Systems Applications (incl.Internet), Communications Engineering Networks
- Series: Lecture Notes in Computer Science 2599
- Year: 2003
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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.
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.
Content:
Front Matter....Pages I-X
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
Back Matter....Pages 253-253
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.
Content:
Front Matter....Pages I-X
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
Back Matter....Pages 253-253
....