Hi there! I'm working on a simulator of generic systems. The system specification is done in XML and this explains my interest in DAVE-ML.
One thing I noticed in DAVE-ML is the lack of a type specification (int, bool, float, ...) in the variable definition element. Because the system specification can be used to generate code, having an attribute that specifies the type is a nice information. The attribute can be optional, in general it provides more information about the variable and it can be used or ignored by the application reading the XML. Similar considerations can be done also to other useful variable properties, for instance to explicitely define if the variable is a constant, or an input or output variable. This information can of course be derived by analisys of the use of the variable in the following, but having it (optionally) specified is more simple for the code generator, more clear for the human reader and allows some checks that can prevent errors. Do you have plans to introduce such kind of attributes in future versions of DAVE-ML? Thanks for your attention and best regards, Giovanni A. Cignoni.