Formalizing Manufacturing Process Modeling Using Composition Trees

Optimizing manufacturing process modeling is critical to improving the efficiency and quality of manufacturing. However, manufacturing processes in general can be very complicated. A manufacturing process may involve (a) transforming a material into a new form, (b) combining different materials to form a new object, and (c) retrieving a certain part from a material as a new entity. All those activities could be confusing because many intermediate objects that exist only for a short period during the manufacturing process may have no formal names. To solve this problem, this paper proposes that composition trees (CT) can be successfully used to model manufacturing processes. Composition trees are parts of the formal notation in behavior engineering (BE), which is an innovative approach to the development of large software systems. For a composition tree, its characteristics of being intuitive, expressive and formal give it many advantages over other formal and informal modeling languages in software engineering. This paper uses a cooking case study to demonstrate how to use a composition tree model manufacturing processes. It is argued that the method could be applied to process engineering to good effect.

[1]  Yoko Yamakata,et al.  A study of object naming according to the manufacturing processes in a cooking activity , 2009, CEA '09.

[2]  Geoff Dromey,et al.  Early Requirements Defect Detection(INVITED PUBLICATION) , 2005 .

[3]  Samuel H. Huang,et al.  Manufacturing system modeling for productivity improvement , 2002 .

[4]  Geoff Dromey.  System Composition: Constructive Support for the Analysis and Design of Large Systems , 2005 .

[5]  Yves Demazeau,et al.  Reactive Agent Mechanisms for Manufacturing Process Control , 2007 .

[6]  Terry Rout,et al.  Using Composition Trees to Model and Compare Software Process , 2011, SPICE.

[7]  E. A. Avellone,et al.  Marks' Standard Handbook for Mechanical Engineers , 1916 .

[8]  K. T. K. Toh.  Modelling architectures: A review of their application in structured methods for information systems specification , 1999 .

[9]  Randall P. Sadowski,et al.  Simulation with Arena , 1998 .

[10]  Yves Demazeau,et al.  Reactive Agent Mechanisms for Manufacturing Process Control , 2007, 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops.

[11]  Lian Wen,et al.  From requirements change to design change: a formal path , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

[12]  R. Geoff Dromey,et al.  From requirements to design: formalizing the key steps , 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..

[13]  Krzysztof Santarek,et al.  Modelling and design of flexible manufacturing systems using SADT and Petri nets tools , 1998 .

[14]  C. L. Ang,et al.  A Comprehensive Modelling Methodology for the Development of Manufacturing Enterprise Systems , 1997 .

[15]  Francesco Longo,et al.  Manufacturing process management using a flexible modeling and simulation approach , 2007, 2007 Winter Simulation Conference.

[16]  Gert Zülch.  Modelling and simulation of human decision-making in manufacturing systems , 2006, WSC '06.

[17]  Hamidreza Eskandari,et al.  Optimizing inspection strategies for multi-stage manufacturing processes using simulation optimization , 2008, 2008 Winter Simulation Conference.

[18]  Michalis Menicou,et al.  A classification schema of manufacturing decisions for the GRAI enterprise modelling technique , 2002, Comput. Ind..

[19]  Ang Cheng-Leong,et al.  IDEF * : a comprehensive modelling methodology for the development of manufacturing enterprise systems , 2001 .