CERT-SEI

Construction and Composition Language (CCL)

CCL is a notation for specifying components and their assemblies. From CCL, interpretations are defined that map assemblies to predictive models of assembly behavior—that is, to reasoning frameworks.

Interpretations are defined that map assemblies to predictive models of assembly behavior

See a walkthrough of this assembly.

  • CCL is an architecture description language that has been specialized to the Pin component technology.
  • Component behavior in CCL is specified in a restricted dialect of UML 2.0 statecharts.
  • CCL front end performs static semantic checks and produces an annotated abstract syntax tree (AST) for well-formed assemblies.
  • CCL currently supports a Java and C-language interface to the AST and provides an XML externalization of the AST for tool interchange.
  • Pin components and assemblies (controllers) can be automatically generated from CCL specifications.
  • Interpretations from CCL to the ComFoRT reasoning framework and Lambda-star reasoning framework have also been developed.

A complete formal semantics for CCL is currently being developed.

The following items are now available: