Processes Analytics Formalism for Decision Guidance in Sustainable Manufacturing
Alexander Brodsky, Guodong Shao, Frank H. Riddick
This paper introduces National Institute of Standards and Technology (NIST)'s Sustainable Process Analytics Formalism (SPAF) to facilitate the use of simulation and optimization technologies for decision support in sustainable manufacturing. SPAF allows formal modeling of modular, extensible, and reusable process components and enables sustainability performance prediction, what-if analysis, and decision optimization based on mathematical programming. SPAF models describe (1) process structure and resource flow, (2) process data, (3) control variables, and (4) computation of sustainability metrics, constraints, and objectives. This paper presents the SPAF syntax and formal semantics, provides a sound and complete algorithm to translate SPAF models into formal mathematical programming models, and illustrates the use of SPAF through a manufacturing process example.
, Shao, G.
and Riddick, F.
Processes Analytics Formalism for Decision Guidance in Sustainable Manufacturing, Journal of Intelligent Manufacturing, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=914895
(Accessed June 4, 2023)