Other examples. If a formalism is expressed in mathematics, then MathML is a generally usable way to express structure, and RML rules extending MathML can capture the dynamics. As an example of this, RML is used for an online interactive theorem prover that can be used to derive proofs for tautologies in propositional logic1. Although defining models and semantics in MathML will appeal to the mathematically educated, sometimes it is better to define a new special- purpose XML vocabulary; to make it more concise, better readable, more efficient, and for several other reasons. This was the case in the Archimate [Arc] project where RML has been applied successfully to Enterprise Archi- tecture and Business Models. Rule–based transformations are being used for analysis of models and for visualizations. The RML tutorial in Chapter 3 and the downloadable RML package contain examples in the Archimate language.
Other examples a. Advanced Standing Where the Scholarship Recipient has received Advanced Standing, the total Scholarship contribution will be pro- rated based on the total minimum Credit Points required for Program completion. For example:
Other examples. This section describes other examples using more of the features of FastHenry. Some examples were created by the authors and some contributed from users. All les are available with the FastHenry source code.
