Title :
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
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;
Journal_Title :
IEEE Expert
