Design of integrated manufacturing system control software

A coordinated multifaceted conceptual framework for the development of real-time control software for integrated manufacturing systems is described. This orderly, rational, and structured approach is based on a blending of modern software concepts and formal semantic models. Using a common distributed language environment and generic (i.e. reusable) software, the authors construct control software as an assemblage of components written in the common distributed language. The semantics of the assemblages are modeled formally.