DESIGN OF INTEGRATED MANUFACTURING SYSTEM CONTROL SOFTWARE.

被引：0

作者：

Naylor, Arch W. ^{[1
]}

Volz, Richard A. ^{[1
]}

机构：

[1] Univ of Michigan, Ann Arbor, MI, USA, Univ of Michigan, Ann Arbor, MI, USA

来源：

IEEE Transactions on Systems, Man and Cybernetics | 1987年 / SMC-17卷 / 06期

关键词：

COMPUTER METATHEORY - Formal Logic - Computer software - Digital communication systems;

D O I：

10.1109/tsmc.1987.6499301

中图分类号：

学科分类号：

摘要：

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.

引用

页码：881 / 897