Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Note

A Basis for Composition Language CL

  • September 2002
  • By James Ivers , Nishant Sinha , Kurt C. Wallnau
  • This report describes the main concepts of the composition language CL and its rudimentary graphical syntax. The report also defines and illustrates the compositional semantics for CL using Hoare's CSP.
  • Publisher: Software Engineering Institute
  • Abstract

    CL is a composition language for predictable assembly from certifiable components. An application assembly process is predictable if the runtime behavior of an assembly of components can be predicted from known properties of components and their patterns of interaction. CL is similar to other composition languages that combine a component and connector style of description with a core compositional semantics specified in a process algebra. CL differs from these in its explicit treatment of details that are usually abstracted or ignored. For example, CL makes explicit the allocation of execution threads to component behavior; this distinguishes concurrent from sequential behavior, and leads to potentially smaller state spaces as well as more accurate behavioral descriptions. This report describes the main concepts of CL and its rudimentary graphical syntax. This report also defines and illustrates the compositional semantics for CL using Hoare's CSP. The twin objectives of this report are to consolidate our current thinking about an ideal CL and to provide a starting point for the design of a practical and implementable CL. This report closes with a discussion of several open issues that must be resolved before this second objective can be satisfied.

  • Download

Cite This Report

SEI

Ivers, James; Sinha, Nishant; & Wallnau, Kurt. A Basis for Composition Language CL (CMU/SEI-2002-TN-026). Software Engineering Institute, Carnegie Mellon University, 2002. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6009

IEEE

Ivers. James, Sinha. Nishant, and Wallnau. Kurt, "A Basis for Composition Language CL," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU/SEI-2002-TN-026, 2002. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6009

APA

Ivers, James., Sinha, Nishant., & Wallnau, Kurt. (2002). A Basis for Composition Language CL (CMU/SEI-2002-TN-026). Retrieved December 21, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6009

CHI

James Ivers, Nishant Sinha, & Kurt Wallnau. A Basis for Composition Language CL (CMU/SEI-2002-TN-026). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2002. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6009

MLA

Ivers, James., Sinha, Nishant., & Wallnau, Kurt. 2002. A Basis for Composition Language CL (Technical Report CMU/SEI-2002-TN-026). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6009