Using formal methods to scope performance challenges for Smart Manufacturing Systems: Focus on agility

Concurrent Engineering Research and Applications

Volumn 23, Issue 4, 2015, Pages 343-354

  Jung, Kiwook ^a   Morris, K C ^a   Lyons, Kevin W ^a   Leong, S W E E ^a   Cho, Hyunbo ^b  

^a NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

^b Pohang University of Science and Technology (POSTECH)   (South Korea)

Author keywords

formal method; Smart Manufacturing Systems; Supply Chain Operations Reference model; Systems Integration for Manufacturing Applications reference architecture

Indexed keywords

AGILE MANUFACTURING SYSTEMS; DECISION MAKING; FLOW CONTROL; FORMAL METHODS; SUPPLY CHAINS;

INTELLIGENT DECISION MAKING; MANUFACTURING APPLICATIONS; MANUFACTURING OPERATIONS; OPERATIONAL PERFORMANCE; PERFORMANCE CHALLENGES; REFERENCE MODELS; STRATEGIC GOALS; SUPPLY CHAIN OPERATIONS REFERENCE MODELS;

MANUFACTURE;

EID: 84950321573     PISSN: 1063293X     EISSN: 15312003     Source Type: Journal    
DOI: 10.1177/1063293X15603217     Document Type: Article

References (35)

1. Barkmeyer E, Christopher N, Feng S, (1987) SIMA reference architecture part 1: activity models. NIST IR 5939. Gaithersburg, MD: National Institute of Standards and Technology (NIST).
2. Chen Y-J, Chen Y-M, Wu M-S, (2010) Development of an ontology-based expert recommendation system for product empirical knowledge consultation. Concurrent Engineering: Research and Applications 18 (3): 233-253.
3. Choi S, Jung K, Do Noh S, (2015) Virtual reality applications in manufacturing industries: Past research, present findings, and future directions. Concurrent Engineering: Research and Applications 23 (1): 40-63.
4. ElMaraghy W, ElMaraghy H, Tomiyama T, et al. (2012) Complexity in engineering design and manufacturing. CIRP Annals: Manufacturing Technology 61 (2): 793-814.
5. Eynard B, Liénard S, Charles S, et al. (2005) Web-based collaborative engineering support system: applications in mechanical design and structural analysis. Concurrent Engineering: Research and Applications 13 (2): 145-153.
6. Fernandez GM, Seepersad CC, Rosen DW, et al. (2005) Decision support in concurrent engineering-the utility-based selection decision support problem. Concurrent Engineering: Research and Applications 13 (1): 13-27.
7. Giachetti RE, Arango J, (2003) A design-centric activity-based cost estimation model for PCB fabrication. Concurrent Engineering: Research and Applications 11 (2): 139-149.
8. Gruber TR, (1995) Toward principles for the design of ontologies used for knowledge sharing? International Journal of Human-Computer Studies 43 (5): 907-928.
9. Ho W, Xu X, Dey PK, (2010) Multi-criteria decision making approaches for supplier evaluation and selection: a literature review. European Journal of Operational Research 202 (1): 16-24.
10. Hon KKB, (2005) Performance and evaluation of manufacturing systems. CIRP Annals: Manufacturing Technology 54 (2): 139-154.
11. International Electrotechnical Commission (IEC) (2013) IEC 62264-1: Enterprise-Control System Integration-Part 1: Models and Terminology. Geneva: IEC.
12. International Society of Electrical and Electronics Engineers (1998) IEEE 1320.1: IEEE Functional Modeling Language-Syntax and Semantics for IDEF0. New York: International Society of Electrical and Electronics Engineers.
13. ISO 10303-1:1994 (1994). Industrial automation systems and integration-product data representation and exchange-part 1.
14. ISO 10303-238:2007 (2007) Industrial automation systems and integration-product data representation and exchange-part 238: application protocol: application interpreted model for computerized numerical controllers.
15. Jung K, Morris K, Lyons K, et al. (2015) Mapping strategic goals and operational performance metrics for smart manufacturing systems. Procedia Computer Science 44C: 504-513.
16. Jung K, Morris K, Lyons K, et al. (in preparation) Performance challenges identification method for smart manufacturing systems (NIST IR).
17. Kulvatunyou B, Cho H, Son YJ, (2005) A semantic web service framework to support intelligent distributed manufacturing. International Journal of Knowledge-Based and Intelligent Engineering Systems 9 (2): 107-127.
18. Kumaraguru S, Kulvatunyou B, Morris K, (2014) Integrating real-time analytics and continuous performance management in smart manufacturing systems. In: Grabot B, Vallespir B, Samuel G, et al.(eds) Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a Global-Local World. Berlin, Heidelberg: Springer, pp. 175-182.
19. Lee J, Jung K, Kim BH, et al. (2015) Semantic web-based supplier discovery system for building a long-term supply chain. International Journal of Computer Integrated Manufacturing 28 (2): 155-169.
20. Lubell J, Frechette SP, Lipman RR, et al. (2013) Model-Based enterprise summit report. NIST technical note 1820. US Department of Commerce.
21. Ma J, Hu J, Zheng K, et al. (2013) Knowledge-based functional conceptual design: model, representation, and implementation. Concurrent Engineering: Research and Applications 21 (2): 103-120.
22. McGuinness DL, Van Harmelen F, (2004) OWL web ontology language overview. The World Wide Web Consortium-Recommendation. Available at http://www.w3.org/TR/2004/REC-owl-features-20040210/
23. Mauchand M, Siadat A, Bernard A, et al. (2008) Proposal for tool-based method of product cost estimation during conceptual design. Journal of Engineering Design 19 (2): 159-172.
24. MTConnect Standard Version 1.2.0. (n.d.) Available at: http://www.mtconnect.org/standard?terms=on
25. National Institute of Standards and Technology (NIST) (n.d.) Smart manufacturing systems design and analysis program. Available at: http://www.nist.gov/el/msid/syseng/smsda.cfm
26. Sandberg M, Boart P, Larsson T, (2005) Functional product life-cycle simulation model for cost estimation in conceptual design of jet engine components. Concurrent Engineering: Research and Applications 13 (4): 331-342.
27. Smart Manufacturing (n.d.) What is smart manufacturing? Available at: http://smartmanufacturing.com/what/
28. Supply Chain Council (SCC) (2008) Supply Chain Operations Reference Model.
29. Tang D, Zheng L, Chin KS, et al. (2002) E-DREAM: a web-based platform for virtual agile manufacturing. Concurrent Engineering: Research and Applications 10 (2): 165-183.
30. Torres VH, Ríos J, Vizán A, et al. (2013) Approach to integrate product conceptual design information into a computer-aided design system. Concurrent Engineering: Research and Applications. Epub ahead of print 24 January. DOI: 10.1177/1063293X12475233.
31. Vujasinovic M, Ivezic N, Barkmeyer E, et al. (2010) Semantic B2B-integration using an ontological message metamodel. Concurrent Engineering: Research and Applications 18 (3): 219-232.
32. Watson P, Curran R, Murphy A, et al. (2006) Cost estimation of machined parts within an aerospace supply chain. Concurrent Engineering: Research and Applications 14 (1): 17-26.
33. Wiendahl HP, ElMaraghy HA, Nyhuis P, et al. (2007) Changeable manufacturing-classification, design and operation. CIRP Annals: Manufacturing Technology 56 (2): 783-809.
34. Wikipedia (n.d.) SMART criteria. Available at: http://en.wikipedia.org/wiki/SMART-criteria
35. Zaletelj V, Sluga A, Butala P, (2008) A conceptual framework for the collaborative modeling of networked manufacturing systems. Concurrent Engineering: Research and Applications 16 (1): 103-114.