Volume III: A Technology for Predictable Assembly from Certifiable Components
April 2003 • Technical Report
Kurt C. Wallnau
This 2003 report, the final in a three-volume series on CBSE, identifies the key technical concepts of PACC, with an emphasis on the theory of prediction-enabled component technology (PECT).
Publisher:
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-2003-TR-009
DOI (Digital Object Identifier):
10.1184/R1/6585881.v1Abstract
This report is the final volume in a three-volume series on component-based software engineering. Volumes I and II identified market conditions and technical concepts of component-based software technology, respectively. Volume III (this report) focuses on how component technology can be extended to achieve predictable assembly from certifiable components (PACC). An assembly of software components is predictable if its runtime behavior can be predicted from the properties of its components and their patterns of interactions. A component is certifiable if its (predictive) properties can be objectively measured or otherwise verified by independent third parties. This report identifies the key technical concepts of PACC, with an emphasis on the theory of prediction-enabled component technology (PECT).