Telecommunications and Beyond: Modeling and Analysis of Reactive, Distributed, and Real-Time Systems : 4th International Sdl and Msc Workshop, Sam 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

by Amyot, Daniel; Williams, Alan W.

• ISBN13: 9783540245612
• ISBN10: 3540245618
• Format: Paperback
• Copyright: 2005-04-01
• Publisher: Springer Verlag

Summary

This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, held in Ottawa, Canada in June 2004. The 19 revised full papers presented were carefully selected during two rounds of reviewing and revision from initially 46 submissions. The papers are organized in topical sections on SDL and eODL, evolution of languages, requirements and MSC, security, SDL and modeling, and experience.

Table of Contents

Deployment and configuration of distributed systems	p. 1
eODL and SDL in combination for components	p. 17
Applying eODL and SDL-patterns for developing TMN managed systems	p. 33
SPT - the SDL pattern tool	p. 50
Comparing UML 2.0 interactions and MSC-2000	p. 65
Data encoding for SDL in ITU-T rec. Z.104	p. 80
SDL in a changing world	p. 96
Early validation of deployment and scheduling constraints for MSC specifications	p. 106
Scenario synthesis from imprecise requirements	p. 122
Applying reduction techniques to software functional requirement specifications	p. 138
Proving a soundness property for the joint design of ASN.1 and the basic encoding rules	p. 154
Checking secrecy by means of partial order reduction	p. 171
Finding covert channels in protocols with message sequence charts : the case of RMTP2	p. 189
A metamodel for SDL-2000 in the context of metamodelling ULF	p. 208
A flexible micro protocol framework	p. 224
ICT convergence : modeling issues	p. 237
Dealing with non-local choice in IEEE 1073.2's standard for remote control	p. 257
Guidelines for using SDL in product development	p. 271
Validating wireless protocol conformance test cases	p. 290
Table of Contents provided by Blackwell. All Rights Reserved.