Subject: create statement
gotzhein#informatik.uni-kl.de
Date: Wed Apr 02 2003 - 11:41:58 GMT
Dear SDL experts,
Recently, Ruediger Grammes, a Ph.D. student at the University of
Kaiserslautern, has expressed interest in working on the formal
semantics of SDL and related languages. His goal is to define a common
formal basis, from which the formal semantics of these languages can
then be defined by adding "semantic profiles". I would suggest to
include him into the mailing list <meeting#sdl-forum.org>.
Today, Ruediger has pointed out the following problem:
-----------------------------
In section 11.13.2 (Create) of Z.100 it is stated:
"The create action causes the creation of an agent instance either
inside the agent that performs create or in the agent that contains the
agent that performs the create".
It is not clear to me if this means that an instance of the agent
containing the agent that performs the create action (e.g. a block
containing the process that performs the create action) can be created,
or that an instance of an agent contained in the same agent as the agent
that performs create (e.g. another process in the same block) can be
created.
I think using the distinction between "agents" and "agent sets" as in
other parts of the document could make this statement clearer, e.g.:
"The create action causes the creation of an agent instance of an
agent set that is directly contained in the agent instance
containing the agent set of the agent instance that performs the
create".
-----------------------------
I would like to add that the formal semantics provides a unique definition,
which, however, may be different from the intention of SDL. If so, this should
be corrected.
Best regards,
Reinhard
------------------------------------------------------------------------------
Prof. Dr. Reinhard Gotzhein Tel.: (+49) 631/205-3426
Fachbereich Informatik Fax : (+49) 631/205-3956
Universitaet Kaiserslautern, Postfach 3049 gotzhein#informatik.uni-kl.de
D-67653 Kaiserslautern, Germany http://rn.informatik.uni-kl.de/~gotzhein/
This archive was generated by hypermail 2a23 : Mon May 05 2008 - 20:30:55 GMT