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
相关论文
共 50 条
12345