Subject: Signals for typebased block or process as a system
From: Rick Reed TSE (rickreed#tseng.co.uk)
Date: Sat Feb 24 2001 - 16:20:37 GMT
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