Subject: RE: Signals for typebased block or process as a system
anders.ek#telelogic.se
Date: Tue Feb 27 2001 - 07:22:47 GMT
In the textual version I agree, but in graphics we already have the use
dependency line (<graphical package use area>. Aaybe we shold give this some
real semantics instead? At least as an alternative to the textual use box.
/Anders
> -----Original Message-----
> From: Rick Reed TSE [mailto:rickreed#tseng.co.uk]
> Sent: den 24 februari 2001 17:21
> To: meeting
> Subject: Signals for typebased block or process as a system
>
>
> If an sdl specification is a typebased block or process,
> there does not seem
> to be a way to define the signals (etc) that communicate with the
> environment. The syntax does not allow a package use clause
> on a typebased
> agent, and if the agent is a block or process signals defined
> inside the
> agent are not visible.
>
> I propose that to extend the syntax in 7.1 Framework to
>
> -------------------
>
> <textual system specification> ::=
> <agent definition>
> | {<package use clause>}* <textual typebased agent definition>
>
> and
>
> <graphical system specification> ::=
> <agent diagram>
> | <graphical typebased agent definition>
> [ is associated with <package use area> ]
>
> and add to the Model:
>
> A <package use clause> before a <textual typebased agent
> definition> of a
> <textual system specification> is derived syntax for a
> <package use clause>
> before the <system heading> in the <system definition>
> derived from the
> <textual typebased agent definition>.
>
> A <package use area> associated with a <graphical typebased agent
> definition> of a <graphical system specification> is derived
> syntax for a
> <package use area> associated with the <system diagram>
> derived from the
> <graphical typebased agent definition>.
>
> -----------------------
>
> The signals can then be defined in a package and are visible in the
> environment and for gates attached to the typebased agent definition.
>
> --
> Rick Reed - rickreed#tseng.co.uk
> Tel:+44 1455 55 96 55 Fax:+44 1455 55 96 58 Mob.:+44 7970 50 96 50
>
>
This archive was generated by hypermail 2a23 : Mon May 05 2008 - 20:30:55 GMT