SDL-News: context

Subject: SDL-News: context
KEMoss6#aol.com
Date: Sun Jan 05 2003 - 15:18:43 GMT

• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Rick Reed TSE: "Re: SDL-News: context"
• Previous message: sriram.jatla#telelogic.com: "RE: SDL-News: Pid values and physical postion"
• Next in thread: Rick Reed TSE: "Re: SDL-News: context"

Hello everyone

I spend my life asking questions it seems but usually to some purpose.

I would like to be able to understand context parameters and parameterised
types. In particular I would like to be able to use a Pid value as a
parameter to a block type. Unfortunately the syntax for doing seems to be
beyond my comprehension. Is there anybody who could give an example of the
formal definition of a parameterised and the actual type definition? Clearly
the graphical representation would be preferable.

I have the SDL definition documentation but I cannot interpret it correctly.
Any help would be most welcome

Keith Moss
Open University Tutor UK

Hello everyone

I spend my life asking questions it seems but usually to some purpose.

I would like to be able to understand context parameters and parameterised types. In particular I would like to be able to use a Pid value as a parameter to a block type. Unfortunately the syntax for doing seems to be beyond my comprehension. Is there anybody who could give an example of the formal definition of a parameterised and the actual type definition? Clearly the graphical representation would be preferable.

I have the SDL definition documentation but I cannot interpret it correctly. Any help would be most welcome

Keith Moss
Open University Tutor UK --End text from KEMoss6#aol.com to sdlnews --- For extra SDL Forum Society benefits join at