Issue No. 06 - December (1992 vol. 7)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/64.180409
<p>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.</p>
A. Chaudhury and S. Rathnam, "Informational and Decision Processes for Flexible Manufacturing Systems," in IEEE Intelligent Systems, vol. 7, no. , pp. 53-62, 1992.