A Basis for Composition Language CL
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.
Technical Note
CMU/SEI-2002-TN-026
September 2002
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://www.sei.cmu.edu/library/abstracts/reports/02tn026.cfm
IEEE:
J. Ivers, N. Sinha, and K. Wallnau, "A Basis for Composition Language CL," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU/SEI-2002-TN-026, 2002. http://www.sei.cmu.edu/library/abstracts/reports/02tn026.cfm
APA:
Ivers, J., Sinha, N., & Wallnau, K. (2002). A Basis for Composition Language CL (CMU/SEI-2002-TN-026). Retrieved June 19, 2013, from the Software Engineering Institute, Carnegie Mellon University website: http://www.sei.cmu.edu/library/abstracts/reports/02tn026.cfm
CHI:
Ivers, James, Nishant Sinha, and Kurt Wallnau. A Basis for Composition Language CL (CMU/SEI-2002-TN-026). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2002. http://www.sei.cmu.edu/library/abstracts/reports/02tn026.cfm
MLA:
Ivers, J., Sinha, N., & Wallnau, K. 2002. A Basis for Composition Language CL (Technical Report CMU/SEI-2002-TN-026). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://www.sei.cmu.edu/library/abstracts/reports/02tn026.cfm
Find Us Here
Share This Page
For more information
