Model description language

Declares one or several imported quantities. If the optional AS parameter is given, then the quantity is imported as {LOCAL-ID}. If the optional FROM parameter is given, then the quantity is imported from namespace {NAMESPACE}.

| ( OUTPUT {ID} )

Declares that an existing quantity be exported.

| ( CONST {ID} = {EXPR} )

Declares a constant quantity (its value will be computed at declaration time).

| ( FUN {ID} ( {ARG-ID} ... ) {EXPR} )

Declares a function (a parameterized expression with no free variables).

| ( {ID} = {EXPR} )

Declares an assigned quantity (an expression that can refer to other quantities in the system).

| ( REACTION {ID} {TRANSITIONS} {INITIAL-EXPR} {OPEN-ID} )

Declares a reaction quantity. See below for the syntax of state transition equations. {INITIAL-EXPR} is an expression that computes the initial value. {OPEN-ID} is the name of the open state. It must be one of the states defined by the transition equations.

| ( COMPONENT ( TYPE {ID} ) ( NAME {ID} ) {ELEMENTS} )

Declares a system component (a quantity that can contain other quantities).

License

Copyright 2008-2012 Ivan Raikov and the Okinawa Institute of Science and Technology.
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or (at
your option) any later version.
This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
A full copy of the GPL license can be found at
<http://www.gnu.org/licenses/>.