Cord Scripting Language

Cord scripts are written in the Cord scripting language. A Cord script works in conjunction with a model program to model a software system. Cord scripts configure model exploration and testing, describe model composition, and express behavioral scenarios of the model.

This branch of the documentation is the reference for all Cord programming elements. In addition to providing the formal definition of the Cord scripting language, the Cord Syntax Definition serves as an index into the major elements of Cord programs. The table of contents breakdown of this reference branch follows the hierarchical structure of the Cord syntax definition. Nonterminals in the syntax definition serve as the titles for the topics describing the associated Cord programming elements. For example, CordScript is the root nonterminal in the Cord syntax definition and is the top of the syntax-driven reference branch documenting the language.

In This Section

See Also

Other Resources

Spec Explorer Reference