PTOLEMY II - CiteSeerX

MoML
implement.
7.3.7 Doc Element
Some elements can be documented using the doc element. For example,
Initialize the ramp above the default because...
This actor produces an increasing sequence beginning with 5.
With the above syntax, the documentation information must be textual data. It can include markup, as
in the following example, which uses XHTML 5 formatting within the doc element:
Using HTMLText with markup.
An alternative method is to use an XML processing instruction as follows:
This requires that any utility that uses the documentation information be able to handle the xhtml processing
instruction, but it makes it very clear that the contents are XHTML. However, for reasons we
do not understand, XML does not allow processing instructions to be nested, so this technique has its
limitations.
More than one doc element can be included in an element. To do this, give each doc element a
name, as follows:
doc contents
The name must not conflict with any preexisting property. If a doc element or a property with the specified
name exists, then it is removed and replaced with the property. If no name is given, then the doc
element is assigned the name “_doc”.
5. XHTML is HTML with additional constraints so that it conforms with XML syntax rules. In particular, every
start tag must be matched by an end tag, something that ordinary HTML does not require (but fortunately, does
allow).
Heterogeneous Concurrent Modeling and Design 203