A uniform mathematical concept of a component

Abstract

A component is a physical encapsulation of related services according to a published specification. These services can only be accessed through a consistent and published interface that includes an interaction standard. Accordingly, a component has a black box view captured by the published specification, and a glass box view showing implementation details. We claim that the following semantic model is general enough to represent all black box views of components we have discussed so far.