CML: A Compositional Modeling Language

Brian Falkenhainer - Adam Farquhar - Daniel Bobrow - Richard Fikes - Ken Forbus - Tom Gruber - Yumi Iwasaki - Ben Kuipers

• Contents
• Introduction
• Patterns of Use
• Notation and Syntax
• General Semantics
  • Relations, functions, classes and individuals
  • Quantities
  • Finite-precision Arithmetic
  • Providing a semantics for CML
  • Handling implicit dependence on time
• Top-level Forms
  • defRelation
  • defQuantityFunction
  • Forms for defining model fragments
    • Syntactic Sugar
    • Semantics
    • defScenario
  • defDimension, defUnit, defConstantQuantity
• Composable Equations
  • Qualitative Constraints
  • Correspondences
• Summary of syntax
  • Syntax of atomic sentences
  • Syntax of top level forms
  • Mathematical Expressions
    • Numeric Functions
    • Numeric Relations
• Extensions
  • defModule
• Issues
  • Open Issues
  • Past Issues
• References
• About this document ...