Specifying SADF Graphs
The XML syntax for specifying SADF graphs is defined in sdf3-sadf.xsd. It allows standard XML parsers to check the validity of an XML specification. However, it excludes checks to ensure that an XML specification defines in fact a proper SADF graph. Such extended validation of the static semantics is performed by the XML parser for SADF graphs.
- Detailed explanation of the XML syntax for specifying SADF graphs
- Example XML specifications of SADF graphs
Specifying Simulation Settings
The XML syntax for specifying the settings for simulation-based analysis is defined in sadf_settings.xsd.