Informational and Decision Processes for Flexible Manufacturing Systems

Authors:
Abhijit Chaudhury;Sukumar Rathnam
Affiliations:
-;-
Venue:
IEEE Expert: Intelligent Systems and Their Applications
Year:
1992

Citing 4
Cited 1

Smalltalk-80: the language and its implementation

Smalltalk-80: the language and its implementation
A Specifier's Introduction to Formal Methods

Computer
Formal specifications and command modeling in software systems with a complex command structure

ICIS '91 Proceedings of the twelfth international conference on Information systems
Semlog: a multiparadigm programming language for knowledge engineering

Semlog: a multiparadigm programming language for knowledge engineering

The emergence of object-oriented technology: the role of community

Behaviour & Information Technology

Quantified Score

Hi-index	0.00

Visualization

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.