Knowledge Application Model for Manufacturing Process



This paper proposes a categorical foundation for integrating various types of manufacturing knowledge in manufacturing systems. The composing procedures of overall system can be explained by pushout of category theory. The purpose of this paper is to resolve the issue involves in sharing and coordination for modeling knowledge application in distributed manufacturing systems. We will propose a method for modeling discrete event system. The mathematical foundation lies in assuring that the constructed models have mathematical properties, e.g. consistency and completeness, and overcome the drawbacks of traditional function models, since it can show not only the static structure but also the dynamic semantics. The categorical notations and properties are expressed by an example of flexible assembly workcell.




Dehuai Zeng




H. F. Lai and K. Y. Wu, "Knowledge Application Model for Manufacturing Process", Key Engineering Materials, Vols. 467-469, pp. 1218-1224, 2011


February 2011




[1] A. Skander, L. Roucoules and J. Klein Meyer: Design and manufacturing interface modelling for manufacturing processes selection and knowledge synthesis in design. The International Journal of Advanced Manufacturing Technology Vol. 37 (2008).


[2] A. Bernard, S. Tichkiewitch, M. Colledani, W. Terkaj, T. Tolio and M. Tomasella, Development of a Conceptual Reference Framework to Manage Manufacturing Knowledge Related to Products, Processes and Production Systems, Methods and Tools for Effective Knowledge Life-Cycle-Management, p.259.


[3] E. Shehab and H. Abdalla: An Intelligent Knowledge-Based System for Product Cost Modelling. The International Journal of Advanced Manufacturing Technology Vol. 19 (2002), p.49.


[4] G. Winskel: Petri nets, algebras, morphisms, and compositionality. Information and Computation Vol. 72 (1987), p.197.


[5] N. Khurshid, O. Ormandjieva and S. Klasa, Towards a Tool Support for Specifying Complex Software Systems by Categorical Modeling Language, Software Engineering Research, Management and Applications, p.133 (Springer-Verlag, Berlin Heidelberg 2010).


[6] J. Adámek: Theory of Mathematical Structures (Reidel, Dordrecht 1983).

[7] D. Rydeheard and R. Burstall: Computational category theory (Prentice Hall, New York 1988).

[8] W.H. Oyenan and S.A. DeLoach, Using category theory to compose multiagent organization design models Kansas State University 2010, p.1.

[9] X.F. Zha, H. Du and Y.E. Lim: Knowledge intensive Petri net framework for concurrent intelligent design of automatic assembly systems. Robotics and Computer-Integrated Manufacturing Vol. 17 (2001), p.379.