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.

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.
Journal of Intelligent Manufacturing


process analytics, decision guidance, sustainable manufacturing, optimization, what-if analysis


Brodsky, A. , Shao, G. and Riddick, F. (2014), Processes Analytics Formalism for Decision Guidance in Sustainable Manufacturing, Journal of Intelligent Manufacturing, [online], (Accessed April 18, 2024)
Created May 18, 2014, Updated October 12, 2021