9780444828163

SDL '97: Time for Testing

by ;
  • ISBN13:

    9780444828163

  • ISBN10:

    0444828168

  • Format: Hardcover
  • Copyright: 1997-08-18
  • Publisher: Elsevier Science
  • Purchase Benefits
  • Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • Get Rewarded for Ordering Your Textbooks! Enroll Now
List Price: $370.00 Save up to $9.25
  • Buy New
    $360.75
    Add to Cart Free Shipping

    PRINT ON DEMAND: 2-4 WEEKS. THIS ITEM CANNOT BE CANCELLED OR RETURNED.

Supplemental Materials

What is included with this book?

  • The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
  • The eBook copy of this book is not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Summary

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.

Table of Contents

Introduction
1 Applications
3(50)
Designing a Multi-User Software Environment for Development and Analysis using a combination of OMT and SDL92
3(16)
Carla G N. Macario
Moacir Pedroso Jr.
Walter C. Borelli
SDL-based Modelling and Design of IN/UMTS Handover Functionality
19(16)
A. Alonistioti
G. Nikolaidis
I. Modeas
An SDL-based platform for the simulation of communication networks using dynamic block instantiations
35(18)
Andreas Iselt
Achim Autenrieth
II Performance Analysis
53(50)
SPEET SDL performance evaluation tool
53(16)
Martin Steppler
Matthlas Lott
Performance Analysis of TCP's Flow Control Mechanisms using Queueing SDL
69(16)
Jorg Hintelmann
Reinhard Westerfeld
Tuning Development of Distributed Real-time Systems with SDL and MSC: Current Experience And Future Issues
85(18)
Rainer Gerlich
III Verification and Validation I
103(64)
Telephone Feature Verification: Translating SDL to TLA+
103(16)
Paul Gibson
Dominique Mery
Simulation of IP Mobility Support: An Experiment in Mobile protocol specification with SDL
119(16)
Maria Toro
Experiences with ISDN Validation Models in SDL and Proposal for new SDL features
135(16)
Nils Fischbeck
Design for testability of communication protocols based on SDL language
151(16)
K. Karoui
R. Dssouli
N. Yevtushenko
IV MSCI
167(64)
The MSC-96 Distillery
167(16)
Oystein Haugen
Switching Software Test Environment Using MSC
183(14)
Shugo Shiba
Yoshiaki Shigeta
Wataru Tanaka
Deriving an SDL Specification with a Given Architecture from a Set of MSCs
197(16)
Gabriel Robert
Ferhat Khendek
Peter Grogono
MSC'96 and Beyond - a Critical look
213(18)
Stefan Loidl
Ekkart Rudolph
Ursula Hinkel
V SDL and MSC in International Oganizations
231(14)
SDL and MSC in International Oganizations: ITU-T
231(14)
Rick Reed
VI Testing
245(46)
Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications
245(16)
Anders Ek
Jens Grabowski
Dieter Hogrefe
Richard Jerome
Beat Koch
Michael Schmitt
Automating the Process of Test Derivation from SDL Specifications
261(16)
G. V. Bochmann
A. Petrenko
O. Bellal
S. Maguiraga
Test generation for the SSCOP-ATM networks protocol
277(14)
Ana Cavalli
Boo-Ho Lee
Toma Macavei
VII MSC II
291(44)
High-level Message Sequence Charts
291(16)
S. Mauw
Michel Reniers
An Annotational Extension of Message Sequence Charts to Support Performance Engineering
307(16)
N. Faltin
L. Lambert
A. Mitschele-Thiel
F. Slomka
MSCs at Siemens A S - towards the usage of MSC-96
323(12)
Astrid Nyeng
Svanhild Gundersen
VIII SDL and other languages I
335(48)
Automated Iteration between OMT(*) and SDL
335(16)
Kurt Verschaeve
Introducing SDL in the development of CORBA-compliant applications
351(16)
Justo Carracedo
Carlos Ramos
Ruben de Diego
Carlos Gonzalez
Juan Jose Gil
Emilio Rodriguez
Morgan Bjorkander
A practical experience on validating GDMO-based Information Models with SDL'88 and SDL'92
367(16)
Samir Tata
Laurent Andrey
Olivier Festor
IX Code generation
383(50)
Combining SDL and C
383(14)
Paer-Olof Haokansson
Jan Karlsson
Louis Verhaard
Derivation of efficient implementations from SDL Specifications Employing Data Referencing, Integrated Packet Framing and Activity Threads
397(18)
R. Henkel
H. Konig
A. Mitschele-Thiel
Industrial strength code generation from SDL
415(18)
N. Mansurov
A. Chernov
A. Ragozin
X SDL and other languages II
433(42)
Is Open-EDI a potential area for use of SDL?
433(10)
Odile Troulet-Lambert
The Unification of OMT, SDL and IDL for Service Creation
443(16)
Chris Loftus
Edel Sherratt
Euricio Inocencio
Paula Viana
Combining Object-Oriented and Real-Time Programming From an OMT and SDL Design
459(16)
Vincent Perrier
Nicolas Dervaux
XI Verification and Validation II
475(48)
Interconnecting the ObjectGeode and Caesar-Aldebaran toolsets
475(16)
Alain Kerbrat
Carlos Rodriguez-Salazar
Yves Leieune
Specifying the Steam-Boiler Case Study with SDL
491(16)
F. A. Boudjelal
J. Y. Lafaye
G. Louis
The SDL specification of the Sliding Window Protocol revisited
507(16)
Christian Facchi
Markus Haubner
Ursula Hinkel
XII Applications II
523(28)
Configuring Communication Protocols Using SDL Patterns
523(16)
Birgit Geppert
Reinhard Gotzhein
Frank Rossler
Code Generation Using GEODE: A CASE Study
539(12)
Ranjit "Raj" Singh
Jerry Serviss
Author Index 551

Rewards Program

Write a Review