CML is an expressive compositional modeling language that is being developed by several leading groups in the model-based and qualitative reasoning communities. Its expressiveness and usability is being evaluated in the domain of thermodynamics.

The thermodynamics domain theory provides a basis for representing and, with DME, simulating power systems and other thermodynamic systems.

The semantics of the domain theory and CML are supported by the engineering math ontologies, which define many of the underlying concepts.

Analysis and exploration of the domain theory is supported by the Ontolingua tools.