Formalizing Manufacturing Process Modeling Using Composition Trees

Article Preview

Abstract:

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.

You might also be interested in these eBooks

Info:

Periodical:

Advanced Materials Research (Volumes 399-401)

Pages:

1852-1855

Citation:

Online since:

November 2011

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2012 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] Behavior Engineering Web Site, http://www.behaviorengineering.org/ [2011 July]

Google Scholar

[2] A. Cheng-Leong, K.L. Pheng, and G. Leng, "IDEF*: A comprehensive modelling methodology for the development of manufacturing enterprise systems", Int'l Jounral of Production Research (v37), pp.3839-3858, (1999)

DOI: 10.1080/002075499189790

Google Scholar

[3] D. Curcio, F. Longo, G. Mirabelli, Manufacturing Process Management Using a Flexible Modeling and Simulation Approach, WSC'07 Proceedings of the 39th conference on Winter simulation, (2007)

DOI: 10.1109/wsc.2007.4419778

Google Scholar

[4] Dromey, R.G., "From Requirements to Design : Formalising the Key Steps", (Invited Keynote Address), IEEE International Conference on Software Engineering and Formal Methods, SEFM'(2003)

DOI: 10.1109/sefm.2003.1236202

Google Scholar

[5] Dromey, R. G., System Composition: Constructive Support for the Analysis and Design of Large Systems, SETE-2005, Systems Engineering/Test and Evaluation Conference , Brisbane, Australia, (2005)

Google Scholar

[6] Dromey, R.G, Powell, D., "Early Requirements Defects Detection", TickIT International, 4Q05, 2005, pp.3-13

Google Scholar

[7] C. Fennell, R. Shivpuri, et al. Mark's Standard Handbook for Mechanical Engineers, 10th ed, Chapter 13 Manufacturing process, ISBN-10: 0070049971, McGraw-Hill Professional, (1996)

Google Scholar

[8] Flow chart, http://en.wikipedia.org/wiki/Flowchart [July, 2011]

Google Scholar

[9] K. Hallenborg, A. J. Jensen, Y. Demazeau: Reactive agent mechanisms for Manufacturing process control, IEEE/WIC/ACM, pp.399-403 (2007)

DOI: 10.1109/wi-iatw.2007.93

Google Scholar

[10] S. H. Huang, J. P. Dismukes et al: Manufacturing system modelling for productivity improvement, Jounral of Manufacturing Systems, V21, Issue 4, pp.249-259

Google Scholar

[11] W.D. Kelton, R.P. Sadowski, D.A. Sadowski: Simulation with Arena, New York: WCB McGrawHill, (1998)

Google Scholar

[12] I. McCarthy, M. Menicou, A Classification schema of manufacturing decision for the GRAI Enterprise Modelling, Computers in Industry, Vol 47, 3, pp.339-355, (2002)

DOI: 10.1016/s0166-3615(02)00002-7

Google Scholar

[13] K. Santarek, I.M. Buseif, Modelling and design of flexible manufacturing systems using SADT and Petri nets tools, Journal of Manterials Processing Techology (v76), pp.212-218, (1998)

DOI: 10.1016/s0924-0136(97)00350-6

Google Scholar

[14] V. Sarhangian, H.Eskandari, M. Ardakani: Optimizing inspection strategies for multi-stage manufacturing processes using simulation optimization, Proceedings of the 2008 Winter Simulation Conference, pp.1974-1980, (2008)

DOI: 10.1109/wsc.2008.4736291

Google Scholar

[15] Ship of Theseus http://en.wikipedia.org/wiki/Ship_of_Theseus [July, 2011]

Google Scholar

[16] Spring Fruit Salad, http://www.taste.com.au/recipes/7962/spring+fruit+salad [July, 2011]

Google Scholar

[17] K.T.K Toh, Modelling architectures: A review of their application in structured methods of information system specification, Int'l Jounral of Production Research (v37) pp.1439-1458, (1999)

DOI: 10.1080/002075499191076

Google Scholar

[18] Wen, L., Dromey, R.G., "From Requirements Change to Design Change: A Formal Path", Proceedings of the 2nd IEEE International Conference on Software Engineering and Formal Methods, pp.104-113, (2004)

DOI: 10.1109/sefm.2004.1347509

Google Scholar

[19] L. Wen, D. Tuffley, T. Rout, Using Composition Trees to Model and Compare Software Process, in Proceedings of 11th International Conference, SPICE2011, pp.1-15, (2011)

DOI: 10.1007/978-3-642-21233-8_1

Google Scholar

[20] Y. Yamakata, T. Funatomi, et al. in: A Study of Object Naming According to the Manufacturing processes in Cooking Activity, CEA'09 Proceedings of the ACM multimedia 2009 workshop on cooking and eating activities

DOI: 10.1145/1630995.1630997

Google Scholar

[21] G. Zülch, Modelling and Simulation of Human Decision-Making in Manufacturing System, Proceedings of the Winter Simulation Conference, pp.947-953, (2006)

Google Scholar