Informational and decision processes for flexible manufacturing systems

Author

Chaudhury, Abhijit ; Rathnam, Sukumar

Author_Institution

Dept. of Manage. Sci. & Inf. Syst., Massachusetts Univ., Boston, MA, USA

Volume

7

Issue

6

fYear

1992

Firstpage

53

Lastpage

62

Abstract

A formal method based on the Semantic Unification and Logic (Semlog) environment, a typed object-oriented programming environment to develop control software for flexible manufacturing systems is described. The method minimizes the effort needed to transform the manufacturer´s problem description into the programmer´s solution plan. The representation scheme facilitates abstract and high-level descriptions as well as automated reasoning by using primitives representing the domain elements and their interrelationships. The programming language constructs that facilitate software modeling and the development of decision-making algorithms in a flexible manufacturing system are described.<>

Keywords

control system CAD; decision support systems; flexible manufacturing systems; formal logic; logic programming; object-oriented programming; programming environments; Semantic Unification and Logic; Semlog; automated reasoning; control software; decision-making algorithms; domain elements; flexible manufacturing systems; formal method; high-level descriptions; primitives; problem description; programming language constructs; representation scheme; software modeling; solution plan; typed object-oriented programming environment; Automatic control; Computer languages; Control systems; Decision making; Flexible manufacturing systems; Logic programming; Manufacturing processes; Object oriented modeling; Object oriented programming; Software algorithms;

fLanguage

English

Journal_Title

IEEE Expert

Publisher

ieee

ISSN

0885-9000

Type

jour

DOI

10.1109/64.180409

Filename

180409