Sharable Compositional Models

This is an introductory guided tour to a new Compositional Modeling Language (CML) being designed collaboratively by leading qualitative physics research groups. CML is a general declarative modeling language for specifying the symbolic and mathematical properties of the structure and behavior of physical systems. The language is intended to facilitate the construction and accumulation of sharable models of core engineering domains and is a candidate common language for transmiting models to and from network engineering services. See the CML specification for a detailed description.

The developers of CML are

• Brian Falkenhainer and Dan Bobrow (Xerox Corporation),
• Adam Farquhar, Richard Fikes, Tom Gruber, and Yumi Iwasaki (Knowledge Systems Laboratory, Stanford University),
• Ken Forbus (Northwestern University), and
• Ben Kuipers (University of Texas at Austin).

Here are the main topics covered in the tour:

• CML Overview
• Thermodynamics Domain Theory
• Thermodynamics Ontologies
• Contents of the Domain Theory
• Model Fragment Definition
• Conclusion

Start Tour

Back to HTW Demonstrations