Cml: a compositional modeling language
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|cml: a compositional modeling language }}
- [[]]
bibtex
{{#vardefine:pagename|Cml: a compositional modeling language }}{{#vardefine:key| }}
abstract: This document presents a detailed specification of a compositional modeling language, CML, which is a general declarative modeling language for logically specifying the symbolic and mathematical properties of the structure and behavior of physical systems. CML is intended to facilitate model sharing between research groups, many of which have long been using similar languages. These languages are based primarily on the language originally defined by Qualitative Process theory and include the languages used for the Qualitative Physics Compiler (QPC), compositional model formulation, and the Device Modeling Environment (DME). CML is an attempt to synthesize and provide a clean redesign of these languages.
download:
- paper:
- slides:
| Abstract | This document presents a detailed specific … This document presents a detailed specification of a compositional modeling language, CML, which is a general declarative modeling language for logically specifying the symbolic and mathematical properties of the structure and behavior of physical systems. CML is intended to facilitate model sharing between research groups, many of which have long been using similar languages. These languages are based primarily on the language originally defined by Qualitative Process theory and include the languages used for the Qualitative Physics Compiler (QPC), compositional model formulation, and the Device Modeling Environment (DME). CML is an attempt to synthesize and provide a clean redesign of these languages. ovide a clean redesign of these languages. |
| Address | Stanford, CA, USA + |
| Author | Brian Falkenhainer +, Adam Farquhar +, Daniel G. Bobrow +, Richard Fikes +, Kenneth D. Forbus +, Thomas R. Gruber +, Yumi Iwasaki +, and Benjamin Kuipers + |
| Bibtype | techreport + |
| Institution | Knowledge Systems, AI Laboratory + |
| Key | KSL-94-16 + |
| Month | September + |
| Number | KSL-94-16 + |
| Tag | Computer science + |
| Title | CML: A Compositional Modeling Language + |
| Tr id | KSL-94-16 + |
| Year | 1994 + |
