title: Using formal methods to scope performance challenges for Smart Manufacturing Systems: focus on agility.
abstract: Smart Manufacturing Systems (SMS) need to be agile to adapt to new situations by using detailed, precise, and appropriate data for intelligent decision-making. The intricacy of the relationship of strategic goals to operational performance across the many levels of a manufacturing system inhibits the realization of SMS. This paper proposes a method for identifying what aspects of a manufacturing system should be addressed to respond to changing strategic goals. The method uses standard modeling techniques in specifying a manufacturing system and the relationship between strategic goals and operational performance metrics. Two existing reference models related to manufacturing operations are represented formally and harmonized to support the proposed method. The method is illustrated for a single scenario using agility as a strategic goal. By replicating the proposed method for other strategic goals and with multiple scenarios, a comprehensive set of performance challenges can be identified.
authors.affiliation: Systems Integration Division, Engineering Laboratory, National Institute of Standards and Technology, Gaithersburg, MD 20899, USA; Department of Industrial and Management Engineering, Pohang University of Science & Technology, Pohang 790-784, Republic of Korea.
authors.forename: Kiwook
authors.initials: K
authors.lastname: Jung
authors.affiliation: Systems Integration Division, Engineering Laboratory, National Institute of Standards and Technology, Gaithersburg, MD 20899, USA.
authors.forename: K C
authors.initials: KC
authors.lastname: Morris
authors.affiliation: Systems Integration Division, Engineering Laboratory, National Institute of Standards and Technology, Gaithersburg, MD 20899, USA.
authors.forename: Kevin W
authors.initials: KW
authors.lastname: Lyons
authors.affiliation: Systems Integration Division, Engineering Laboratory, National Institute of Standards and Technology, Gaithersburg, MD 20899, USA.
authors.forename: Swee
authors.initials: S
authors.lastname: Leong
authors.affiliation: Department of Industrial and Management Engineering, Pohang University of Science & Technology, Pohang 790-784, Republic of Korea.
authors.forename: Hyunbo
authors.initials: H
authors.lastname: Cho
keywords: SCOR Model; SIMA Reference Model; Smart Manufacturing System; formal method; ontology; performance challenges