Advanced Search

Content Type

Topics

Publication Date

A Basis for Composition Language CL

  • Author(s): James Ivers, Nishant Sinha, Kurt C. Wallnau
  • Publish Date:
  • Publisher: Software Engineering Institute
  • SEI Identifier: CMU/SEI-2002-TN-026
  • Type: Technical Note
  • Description: 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.

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.

Cite This Report

Show Citation Formats

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 November 01, 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