Process analytics formalism for decision guidance in sustainable manufacturing

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.