Subject: RE: SDL-News: SDL and temporal logic
From: VINCENT Daniel FTRD/DTL/LAN (daniel.vincent#rd.francetelecom.fr)
Date: Fri Dec 15 2000 - 13:09:43 GMT
Become an SDL Forum Society member <http://www.sdl-forum.org/Society/members.htm>
The originator of this message is responsible for its content.
-----From VINCENT Daniel FTRD/DTL/LAN <daniel.vincent#rd.francetelecom.fr> to sdlnews -----
Hi,
We at CNET (now France Telecom R&D) worked on relations between LTL and MSCs
(see a paper from Pierre Combes and Beatrice Renard in SDL'Forum 95).
On another hand the tool ObjectGeode provides a useful observation language
(named GOAL)
based on (very extended) automata in which you can easily express most of
temporal properties.
It has been intensively used for Service Interaction detection or automatic
test generation for example.
I take this occasion to express once again our wish to see such an
observation language in the next version of Telelogic SDL'2000s tool.
Pierre Combes and Daniel Vincent
Département Maquettage, Spécification, Validation
Direction des Techniques Logicielles
FT R&D
Technopole Anticipa
22300 LANNION
Tél. : + 33 2 96 05 39 54
Mél. : Daniel.Vincent#FranceTelecom.Fr
& france telecom R & D
-----Message d'origine-----
De: Pedro Merino [ mailto:pedro#lcc.uma.es <mailto:pedro#lcc.uma.es> ]
Date: vendredi 15 décembre 2000 10:53
Ŕ: sdlnews#sdl-forum.org
Objet: SDL-news: SDL and temporal logic
Become an SDL Forum Society member <
http://www.sdl-forum.org/Society/members.htm
<http://www.sdl-forum.org/Society/members.htm> >
The originator of this message is responsible for its content.
-----From Pedro Merino <pedro#lcc.uma.es> to sdlnews -----
Dear Colleagues,
I am working in the verification of temporal logic properties against
SDL systems. The idea is to support LTL as a complementary property
language to MSC.
I know that the AT&T SDLvalid tool support LTL verification. But can
anybody give me information about other SDL tools supporting temporal
logic ?
Regards
Pedro Merino
-----------------------------------------------------------------------------
Pedro Merino Gómez
Universidad de Málaga, Departamento de Lenguajes y Ciencias de la Computación ETSI Informática- ETSI Telecomuniación Campus de Teatinos 29071 Málaga (SPAIN)
Teléfono: 952 132752 Fax: 952131397 e.mail: pedro#lcc.uma.es Despacho: 3.2.9 ----------------------------------------------------------------------------
--End text from Pedro Merino <pedro#lcc.uma.es> to sdlnews --- For extra SDL Forum Society benefits join at < http://www.sdl-forum.org/Society/members.htm <http://www.sdl-forum.org/Society/members.htm> > For help, email "majordomo#sdl-forum.org" with the body of your email as: or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org
--End text from VINCENT Daniel FTRD/DTL/LAN <daniel.vincent#rd.francetelecom.fr> to sdlnews --- For extra SDL Forum Society benefits join at <http://www.sdl-forum.org/Society/members.htm>
This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:49 GMT