RE: SDL-News: Case Studies?


Subject: RE: SDL-News: Case Studies?
From: VINCENT Daniel CNET/DTL/LAN (daniel.vincent#cnet.francetelecom.fr)
Date: Fri Aug 07 1998 - 08:18:59 GMT


The originator of this message is responsible for its content.
-----From VINCENT Daniel CNET/DTL/LAN <daniel.vincent#cnet.francetelecom.fr> to sdlnews -----

Hi Glenn,

Perhaps you will get some real models from industry, but it would be
astonishing that they will distribute it.

You will have better chances to look for models that have been developped
for standardization bodies
and namely ETSI and ITU-T.

As far as I know, 2 big models using inheritance have been presented for
standardization at ETSI
  - the INAP protocol directly developped in ETSI,
  - less known is TSP1+ (enhanced Test Synchronization Protocol 1) actually
under development
    (and about to be finished) by an ETSI work item (especially with
participation of CNET and CSELT)
    contact for TSP1+ : JeanFrancois.Suel#cnet.francetelecom.fr

Daniel VINCENT

R&D Unit : S&T "from formal Specification to software Testing"
CNET DTL/MSV
Technopole Anticipa Telephone : + 33 2 96 05 39 54
2, avenue Pierre Marzin Telecopie/Fax : + 33 2 96 05 39 45
F-22307 LANNION Cedex e-mail :
Daniel.Vincent#cnet.francetelecom.fr

  _/_/_/_/ France Telecom
 _/_/_/_/ Branche Développement
_/_/_/_/ Centre National d'Etude des Télécommunications

> ----------
> De : Glenn Lewis[SMTP:ga_lewis#alacritas.eecs.utas.edu.au]
> Répondre à : Glenn Lewis
> Date : vendredi 7 août 1998 09:08
> A : sdlnews#sdl-forum.org
> Objet : SDL-news: Case Studies?
>
> The originator of this message is responsible for its content.
> -----From Glenn Lewis <ga_lewis#alacritas.eecs.utas.edu.au> to sdlnews
> -----
>
> Hi. I am interested in examining the use of inheritance in "real-world"
> case studies (i.e., not toy examples) and was wondering if anyone can
> provide me with some refernces to case studies that have been specified in
> SDL?
>
> thanks!
>
> //Glenn
>
> -----End text from Glenn Lewis <ga_lewis#alacritas.eecs.utas.edu.au> to
> sdlnews -----
> For help, email "majordomo#sdl-forum.org" with the body of your email as:
> help
> or (iff this does not answer your question) email:
> owner-sdlnews#sdl-forum.org
>

-----End text from VINCENT Daniel CNET/DTL/LAN <daniel.vincent#cnet.francetelecom.fr> to sdlnews -----
For help, email "majordomo#sdl-forum.org" with the body of your email as:
    help
or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org



This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:40 GMT