Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

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



Kiwook Jung, KC Morris, Kevin W. Lyons, Swee K. Leong, Hyunbo Cho


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.
Concurrent Engineering-Research and Applications


Smart Manufacturing System, formal method, SCOR Model, SIMA Reference Architecture


Jung, K. , Morris, K. , Lyons, K. , Leong, S. and Cho, H. (2015), Using formal methods to scope performance challenges for Smart Manufacturing Systems: focus on agility, Concurrent Engineering-Research and Applications, [online],, (Accessed July 14, 2024)


If you have any questions about this publication or are having problems accessing it, please contact

Created November 30, 2015, Updated October 12, 2021