Skip to main content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.


The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Messaging in the Process Specification Language



Conrad E. Bock, Michael Gruninger


This paper characterizes messages by the constraints they place on participation of entities in processes. Constraints are expressed in two ways: informally as usage patterns of the Process Specification Language, and formally as extensions to it. The extensions reduce ambiguity and increases expressiveness compared to conventional process modeling languages, by defining the relation of the extensions to existing PSL execution concepts. Examples drawn from a spectrum of message types illustrate the range of variability in the reaction of the message receiver. The extensions are used to formalize message forwarding, a useful technique in specifying composable processes. These suggest simpler alternatives to formalize inputs and outputs.
NIST Interagency/Internal Report (NISTIR) - 7258
Report Number


messages, process model, PSL
Created September 1, 2005, Updated November 10, 2018