Paper Info
Title
Using formal methods to scope performance challenges for Smart Manufacturing Systems: Focus on agility.
Abstract
Smart Manufacturing Systems 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 with operational performance across the many levels of a manufacturing system inhibits the realization of Smart Manufacturing Systems. This article 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.
Year
DOI
Venue
2015
10.1177/1063293X15603217
CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS
Keywords
DocType
Volume
Smart Manufacturing Systems,formal method,Supply Chain Operations Reference model,Systems Integration for Manufacturing Applications reference architecture
Journal
23.0
Issue
ISSN
Citations 
SP4.0
1063-293X
2
PageRank 
References 
Authors
0.38
14
5
Name
Order
Citations
PageRank
Kiwook Jung1214.62
Kc Morris220.38
Kevin W. Lyons311612.92
Swee Leong410011.42
Hyunbo Cho525823.62