This Article 
 Bibliographic References 
 Add to: 
Implementation of Rule-Based Information Systems for Integrated Manufacturing
December 1994 (vol. 6 no. 6)
pp. 892-908

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.

[1] M. Sepehri, "Integrated data base for computer integrated manufacturing,"IEEE Circuits and Devices Mag., pp. 48-54, March 1987.
[2] S. C. Y. Lu, "Knowledge-based expert system: A new horizon of manufacturing automation,"Proc. Knowledge-Based Expert Systems for Manufacturing in the Winter Ann. Meeting ASME, Anaheim, CA, 1986, pp. 11-23.
[3] G. Harhalakis, C. P. Lin, H. Hillion, and K. Moy, "Development of a factory level CIM model,"J. Manufacturing Syst., vol. 9, no. 2, pp. 116-128, 1990.
[4] C. P. Lin, "Design, verification and implementation of rule based information system for integrated manufacturing," Ph.D. thesis, Department of Mechanical Engineering, University of Maryland, College Park, Maryland, 1991.
[5] D. M. Dilts and W. Wu, "Using knowledge-based technology to integrate CIM databases,"IEEE Trans. Knowledge Data Engineering, vol. 3, no. 2, pp. 237-245, 1991.
[6] C. Hsu, C. Angulo, A. Perry, and L. Rattner, "A design method for manufacturing information management,"Proc. Conf. Data and Knowledge Systems for Manufacturing and Engineering, Hartford, Connecticut, pp. 93-102, 1987.
[7] C. Hsu, M. Bouziane, L. Rattner, and L. Yee, "Information resources management in heterogeneous, distributed environments: A meta-database approach,"IEEE Trans. Software Eng., vol. 17, no. 6, pp. 604-625, 1991.
[8] C. Hsu,et al., "Metadatabase modeling for enterprise information integration,"J. Syst. Integration, vol. 1, pp. 5-37, 1992.
[9] F. Biemans and P. Blonk, "On the formal specification and verification of CIM architectures using LOTOS,"Computers in Industry, vol. 7, pp. 491-504, 1986.
[10] S. Y. W. Su, "Modeling integrated manufacturing data with SAM,"Computer, vol. 19, no. 1, pp. 34-49, 1986.
[11] M. Hardwick and D. Spooner, "The ROSE data manager: Using object technology to support interactive engineering applications,"IEEE Trans. Knowl. Data Eng., pp. 285-289, 1989.
[12] D. Spooner, M. Hardwick,et al., "The evolution of ROSE: An engineering object-oriented database system,"Proc. Conf. on CIM, RPI, 1990, pp. 16-23.
[13] P. R. Muro, J. L. Villarroel, J. Martinez, and M. Silva, "A knowledge representation tool for manufacturing control systems design and prototyping,"INCOM' 89, 6th IFAC/IFIC/IFORS/IMACS Symp. Information Control Problems in Manufacturing Technology., Madrid, Spain, September 1989.
[14] L. Mark, N. Roussopoulos, and R. Cochrane, "Update dependencies in the relational model,"Syst. Res. Cent. Tech. Rep. No. SRC TR-91-94, University of Maryland, 1991.
[15] A. D. Leva, F. Vernadat, and D. Bizier, "Information system analysis and conceptual database design in production environments withM*,"Computers in Industry 9, pp. 183-217, 1987.
[16] A. D. Leva, F. Vernadat, and D. Bizier, "Enterprise analysis and database design with M*: A case study,"Computers in Industry 11, pp. 31-52, 1988.
[17] J. M. Colom, M. Silva, and J. L. Villarroel, "On software implementation of Perti nets and colored Petri nets using high-level concurrent languages,"Proc. Seventh European Workshop on Application and Theory of Petri Nets, Oxford, England, 1986.
[18] D. S. Batory and W. Kim, "Modeling concepts for VLSI CAD objects,"ACM Trans. Database Syst., vol. 10, no. 3, Sept. 1985.
[19] S. Cammarata and M. Melkanoff, "An interactive data dictionary facility for CAD/CAM data bases," inExpert Database Systems: Proc. 1st Int. Workshop, 1986.
[20] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[21] T. Murata, "Petri nets: Properties, analysis, and applications,"Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
[22] K. Jensen, "Colored Petri nets," inPetri Nets: Central Models and Their Properties, W. Brauer, W. Reisig, and G. Rozenberg, Eds. Bad Honnef, W. Germany: Springer-Verlag, 1987, pp. 248-299.
[23] R. Valette, "Analysis of Petri nets by stepwise refinements,"J. Computer and System Sciences, vol. 18, pp. 35-46, 1979.
[24] I. Suzuki and T. Murata, "A method for stepwise refinement and abstraction of Petri nets,"J. Computer System Science, vol. 27, pp. 51-76, 1983.
[25] Y. Narahari and N. Viswanadham, "A Petri net approach to the modeling and analysis of flexible manufacturing systems,"Ann. Operations Res., vol. 3, pp. 381-391, 1985.
[26] M. D. Jeng and F. DiCesare, "A review of synthesis techniques for Petri nets,"Proc. IEEE Computer Integrated Manufacturing Systems Conf., RPI, May 1990.
[27] T. A. Nguyen, W. A. Perkins, T. J. Laffey, and D. Pecora, "Knowledge base validation,"AI Magazine, summer, pp. 67-75, 1987.
[28] B. Lopez, P. Meseguer, and E. Plaza, "Knowledge based systems validation: A state of the art,"AI Communications, vol. 3, no. 2, pp. 58-72, 1990.
[29] J. Martinez and M. Silva, "A simple and fast algorithm to obtain all invariants of a generalised Petri net,"Second European Workshop on Application and Theory of Petri Nets, 1982, pp. 301-310.
[30] K. H. Lee and J. Favrel, "Hierarchical reduction method for analysis and decomposition of Petri nets,"IEEE Trans. Syst. Man Cyber., vol. 15, no. 2, 1985.
[31] R. J. Cochrane, "Issues in integrating active rules into database systems," Ph.D. thesis, Systems Research Center, University of Maryland, College Park, Maryland 20742, 1992.
[32] J. D. Ullman,Database and Knowledge-base Systems. Rockville, MD: Computer Science Press, 1988.

Index Terms:
computer integrated manufacturing; information systems; Petri nets; graph colouring; CAD/CAM; specification languages; knowledge verification; knowledge based systems; computer aided production planning; rule-based information systems; computer integrated manufacturing systems; natural language; graphical representation tool; updated Petri nets; colored Petri nets; rule-based implementation approach; feature similarity; rule specification language; life-cycle reduction; information flow control; information flow management; computer-aided design; process planning; manufacturing resource planning; shop floor control databases; integrated information framework; system modeling; knowledge verification; reasoning; language translation
G. Harhalakis, C.P. Lin, L. Mark, P.R. Muro-Medrano, "Implementation of Rule-Based Information Systems for Integrated Manufacturing," IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 6, pp. 892-908, Dec. 1994, doi:10.1109/69.334880
Usage of this product signifies your acceptance of the Terms of Use.