TethysL Language

TethysL integrates with the rest of LRAUV system by modeling the language according to the general structure determined by the Tethys XML Schemas.

However, as a domain specific language (DSL), TethysL seeks to greatly simplify the definition of mission scripts so they are easier to write, read, and reason about, while avoiding the ceremony and verbosity of XML.

Both syntax and semantics aspects are usually involved in the development of a DSL. While TethysL's focus is mainly on syntax simplification, several semantic aspects are still to be considered for proper support of the new language and authoring environment, including validation of identifiers (references to missions, aggregates, and behaviors; check for duplications), type check, and support for auto-completion. The core semantics model continues to rely on the underlying Tethys XML Schemas, and, more importantly, on the execution model of the LRAUV framework itself.