Title :
Implementation of rule-based information systems for integrated manufacturing
Author :
Harhalakis, George ; Lin, Chang-Pin ; Mark, Leo ; Muro-Medrano, Pedro
fDate :
12/1/1994 12:00:00 AM
Abstract :
Focuses on the development of a methodology within a software environment for automating the rule-based implementation of specifications of integrated manufacturing information systems. The specifications are initially formulated in a natural language and subsequently represented in terms of a graphical representation by the system designer. A new graphical representation tool is based on updated Petri nets (UPN) that we have developed as a specialized version of colored Petri nets. The rule-based implementation approach utilizes the similarity of features between UPN and the general rule specification language used for the implementation. The automation of the translation of UPN to the rule specification language is expected to considerably reduce the life-cycle for design and implementation of the system. The application presented deals with the control and management of information flow between the computer-aided design, process planning, manufacturing resource planning and shop floor control databases. This provides an integrated information framework for computer integrated manufacturing systems
Keywords :
CAD/CAM; Petri nets; computer aided production planning; computer integrated manufacturing; graph colouring; information systems; knowledge based systems; knowledge verification; specification languages; colored Petri nets; computer integrated manufacturing systems; computer-aided design; feature similarity; graphical representation tool; information flow control; information flow management; integrated information framework; knowledge verification; language translation; life-cycle reduction; manufacturing resource planning; natural language; process planning; reasoning; rule specification language; rule-based implementation approach; rule-based information systems; shop floor control databases; system modeling; updated Petri nets; Application software; Automatic control; Design automation; Information management; Information systems; Manufacturing automation; Natural languages; Petri nets; Process planning; Specification languages;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on