| Status |
Version |
Date |
Changed by |
Reason |
| Draft |
0.1 |
97/01/29 |
R.J.J. van Hoof |
Initial version. |
| Draft |
0.2 |
97/02/10 |
R.J.J. van Hoof |
Added precondition, consequence,
detectable, transfer-definition, module
and made language more consistent. |
| Draft |
0.3 |
97/02/11 |
R.J.J. van Hoof |
Changed ‘end’ statements in syntax.
Added descriptions and semantics for
model, version information, group,
agent. |
| Draft |
0.4 |
97/02/12 |
R.J.J. van Hoof |
Completed descriptions for all model
elements. |
| Draft |
0.5 |
97/02/20 |
R.J.J. van Hoof |
Changed syntax definitions
based on comments from Maarten
Sierhuis and Bill Clancey. |
| For Review |
0.6 |
97/02/27 |
R.J.J. van Hoof |
Added semantics for all concepts.
Added chapter with keywords. |
| For Review |
1.0 |
97/03/12 |
R.J.J. van Hoof |
Changes after review. Added
geographical definitions, area-def, area
and path. Added location attribute to
agent and object. Made parameter lists
for activities more general, removed
specific parameters. Corrected
punctuation where necessary. Made
separation between string and symbol
type. Added current limitations sections
in semantics where appropriate. Added
list types for parameters. |
| Approved |
1.0 |
97/03/20 |
R.J.J. van Hoof |
Added ‘type’ attribute to
communicate
activity. Simplified activity references
not to include ‘move’, ‘create-object’,
‘communicate’, or ‘broadcast’, but just
the name. |
| Draft |
1.1 |
97/04/17 |
R.J.J. van Hoof |
Modifications after external review.
Changes opening and closing symbols
from ‘:’ and ‘end’ to ‘{‘ and ‘}’. Modified
attributes and relations to be more
flexible for future extensions. Changed
float into double. Removed keywords
goal-location, destination-location and
destination-conceptual-object. Changed
into location and conceptual-object. |
| Draft |
1.2 |
97/04/30 |
R.J.J. van Hoof |
Added meta class keywords ‘Class’,
‘Group’, ‘ConceptualClass’, ‘AreaDef’.
Changed classtypedef to include type
casting for the ID and added the new
meta classes as possible class types.
Added keyword ‘workframe’ and
‘thoughtframe’ to their definitions for
consistency. |
| Draft |
1.3 |
97/07/29 |
R.J.J. van Hoof |
Removed the type casting requirement
for ID’s, ID’s of all objects have to be
unique. Added ‘not’ modifier to
precondition. |
| Draft |
1.4 |
97/08/05 |
R.J.J. van Hoof |
Changed keywords, eliminated the use
of ‘-‘. Removed model-construct allowing
for concepts to be stored in separate
files. Changed import statement to
make use of the ability to store concepts
in separate files and to allow for better
use of libraries. Removed the merging
requirement, meaning that concept
names have to be unique and will not
automatically be merged. Removed the
version information construct. |
| Draft |
1.5 |
97/09/04 |
R.J.J. van Hoof |
Added ability to define an icon for the concepts. |
| Draft |
1.6 |
97/11/18 |
R.J.J. van Hoof |
Added ability to define the name of the
destination object in create-object activity. |
| Final |
1.6 |
97/11/18 |
R.J.J. van Hoof |
Changed status to final after approval. |
| Draft |
1.7 |
99/04/12 |
R.J.J. van Hoof |
Added package-declaration. Changed Model
to
Compilation unit. Created new section for
model for future use. Created separate section
for import declaration. |
| For Review |
1.7 |
99/04/12 |
R.J.J. van Hoof |
Completed draft, changed
status to For Review. |
| Final |
1.7 |
99/04/28 |
R.J.J. van Hoof |
Version 1.7 has been approved without
changes. |
| Draft |
1.8 |
99/11/11 |
R.J.J. van Hoof |
Added ability to specify object and
attribute tuple
using dot notation (obj.att). Removed ability for
consequences, detectables and transfer definitions
to have expressions on the left hand side. Made
correction in valid value comparisons. OArO and
OrO specified that r could be an evaluation operator,
this is incorrect and should be an equality operator. |
| For Review |
1.8 |
99/11/11 |
R.J.J. van Hoof |
Completed draft, changed
status to For Review. |
| Final |
1.8 |
99/11/17 |
R.J.J. van Hoof |
Removed ability to specify the
relational operators
‘>’, ‘<’, ‘>=’, ‘<=’ for initial
beliefs/facts,
consequences, detectables, and transfer definitions. |
| Draft |
2.0 |
99/12/13 |
R.J.J. van Hoof |
Added support for class
hierarchies for conceptual
classes and area definitions. Added meta types Object,
Area, ConceptualObject, Concept, ActiveConcept,
ActiveClass, ActiveInstance, GeographyConcept,
ConceptualConcept. Allowing for ‘location’ as the
name for an attribute. Updated base model. |
| For Review |
2.0 |
99/12/13 |
R.J.J. van Hoof |
Completed draft, changed status
to For Review. |
| Final |
2.0 |
99/12/15 |
R.J.J. van Hoof |
Changed status to final after
review with no comments. |
| Draft |
2.1 |
00/03/09 |
R.J.J. van Hoof |
Changed
the syntax of preconditions to prevent the use of a right hand side in
comparisons in case of a known or unknown modifier. Updated the semantics
for the preconditions to reflect the syntax changes and to add additional
notes regarding the allowable expressions in a condition that cannot be
checked by the compiler but will be detected at runtime in the virtual
machine. |
| For Review |
2.1 |
00/03/09 |
R.J.J. van Hoof |
Completed
draft, changed status to For Review. |
| Final |
2.1 |
00/03/16 |
R.J.J. van Hoof |
Added
an additional constraint for the preconditions stating that no nested
expressions are allowed. Removed all restrictions that were added for
running models in the G2 based simulation engine. |
| Final |
2.2 |
00/09/09 |
R.J.J. van Hoof |
Added
Java Activity and updated semantics of move, communicate, broadcast and
create object activity to describe in more detail the behavior of the
activity in the virtual machine. |
| Final |
2.3 |
01/05/16 |
R.J.J. van Hoof |
Added
External Agent. |
| For Review |
2.4 |
01/05/29 |
R.J.J. van Hoof |
Added
Put and Get activities to manage containment. |
| Final |
2.4 |
01/07/09 |
R.J.J. van Hoof |
Marked
document as final after review by the Brahms team without comments. |
| For Review |
2.5 |
01/07/09 |
R.J.J. van Hoof |
Added
create_agent activity to allow for dynamic creation of agents in a model. |
| Final |
2.5 |
01/07/30 |
R.J.J. van Hoof |
No
comments after review, marked document as final. |
| For Review |
2.6 |
01/08/06 |
R.J.J. van Hoof |
Enabled
the use of ‘unknown’ as a value in (initial) beliefs, facts, and all
conditions as well as the use of ‘unknown’ for the truth-value of a
relationship. |
| Final |
2.6 |
01/08/14 |
R.J.J. van Hoof |
Added
support for priorities in thoughtframes. Added section on ‘unknown
values’. |
| Final |
2.7 |
01/09/04 |
R.J.J. van Hoof |
Based
on user feedback added the ability for transferring contained items
from/to a location, object or agent using the put and get activities.
Added ‘destination’ attribute to the put activity and added the
‘source’ attribute to the get activity. |
| Final |
2.8 |
01/09/19 |
R.J.J. van Hoof |
Added
a ‘type’ property to the definition of a workframe for a class/object.
The type attribute can have as value ‘factframe’ or ‘dataframe’
and specifies whether its preconditions are to be matched against facts or
beliefs. |
| Final |
2.9 |
01/12/04 |
R.J.J. van Hoof |
Expanded
the control for model builders in specifying to what areas a broadcast
travels to and in specifying what areas can detect the arrival and
departure of a moving agent. The appropriate properties have been added to
the broadcast activity and move activity. The semantics of the areas has
been modified to include that the virtual machine will generate facts
about the area hierarchy. |
| Final |
2.10 |
02/04/10 |
R.J.J. van Hoof |
Added
Gesture Activity to allow agent gestures to be visualized in a
three-dimensional view of a simulation. |
| Final |
2.11 |
02/06/24 |
R.J.J. van Hoof |
Added Create Area Activity to
allow agents to dynamically create new areas. |
| Final |
2.12 |
03/11/06 |
R.J.J. van Hoof |
Now
allowing detectable conditions to use the relational operators >,
>=, <, <= in addition to = and !=. |
| Final |
2.13 |
06/10/26 |
R.J.J. van Hoof |
Added support for two new
attribute types, long and map. The map type is a collection type for which
indices/keys are used to retrieve the attribute values. The initial
statements and conditions have been modified to support these collection
indices. Added a section on the use of the map collection type. |
| Final |
2.14 |
06/11/1 |
R.J.J. van Hoof |
Added support for activity
overloading. Names of activities no longer need to be unique within the
declaration of an activities section, however their signatures do need to be
unique (activity name plus the types of the argument list in the order the
arguments are declared). |
| Final |
2.15 |
06/11/7 |
R.J.J. van Hoof |
Added support for a <class
type> variable on the left hand side of detectables allowing detectables to
detect any fact with a concept on the left hand side that is type compatible
with the class type concept declared in the detectable condition as:
<concept class>.attribute = ?. The trigger uses this same variable to
trigger the action but matched against beliefs.
Added support for a new way to declare relations as part of the attributes
section.
Added support for allowing attributes, variables and parameters to be of a
Java type, with support for Java specific import statements required to
resolve Java types. |
| Final |
2.16 |
07/06/29 |
R.J.J. van Hoof |
Added support for using a
CommunicativeAct from the communications library as the content to be
communicated to a recipient and if a CommunicativeAct is used to only allow
for the reading of the contents of that CA but not the ‘reading’ of a CA
from another agent. |
| Final |
2.17 |
07/07/16 |
R.J.J. van Hoof |
Added support for the 'delete'
operation. |
