As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL itself. SDL '97 provides the opportunity to reflect the course SDL has taken and why it has been successful over two decades where other languages addressing the same market have failed. SDL now also has a permanent companion in MSC (Message Sequence Charts). MSC today is a language in its own right and has its areas of application both in conjunction with SDL and independently or in combination with other techniques. MSC has strong structuring concepts to specify message sequences for large systems and can be used to develop scenarios, which is extremely useful for test and design environments. The SDL Forum today really is the SDL and MSC Forum.[51 Z. Kohavi, Switching and Finite Automata Theory, Tata McGraw-Hill Publishing Company Limited, New Delhi, 1978.  Verilog, Geode Editor - Reference Manual, France, 1993.  L. Paula Lima and A. Cavalli, Service Validation, Proceedings of Eunice Summer School, Lausanne, September 1996.  A. Aho ...  Ellsberger J. and Kristoffersen F., Testability in the context of SDL, Protocol Specification, Testing, and Verification XII, Lake Buena Vista, Florida, June 1992. VII MSC IIanbsp;...
|Title||:||SDL '97: Time for Testing|
|Author||:||A. Cavalli, A. Sarma|
|Publisher||:||Elsevier - 1997-08-18|