Subject: Re: SDL-News: Contionuous Signal and ADT
From: Rick Reed TSE (rickreed#tseng.co.uk)
Date: Thu Aug 31 2000 - 17:38:51 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 Rick Reed TSE <rickreed#tseng.co.uk> to sdlnews -----
Ralf Muenzenberger at Ralf.Muenzenberger#informatik.uni-erlangen.de wrote
on 31/08/2000 14:17:
> is it possible to use abstract data types (e.g. operators algorihmically
> specified) in
> continuous signals?
> With TAU 3.6 it is not allowed to use operators algorithmically specified.
That is correct in SDL-92. The reason is that any operator algorithmically
defined is transformed into a procedure, and procedures are not allowed in
It is possible to use operators that are specified by axioms in SDL-92.
However, these are not supported in SDL-2000, and (as far as I am aware) are
not supported in Tau 3.6. The operators defined in the package Predefined
are allowed in enabling conditions and continuous signals in both SDL-92 and
In SDL-2000 operators are not transformed into procedures, and therefore
these are allowed in such expressions. However, it is possible that in this
case the operation may have some side effect and it is currently being
discussed in the SDL expert group responsible for the standard what
restrictions (if any) should be placed on operations in this context.
-- Rick Reed - rickreed#tseng.co.uk Tel:+44 1455 55 96 55 Fax:+44 1455 55 96 58 Mob.:+44 7970 50 96 50
-----End text from Rick Reed TSE <rickreed#tseng.co.uk> 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