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.

Interprocess Communication in the Process Specification Language

Published

Author(s)

Conrad E. Bock

Abstract

Interprocess communication is ubiquitous in modern computing, appearing most commonly as inputs, outputs, and messaging. This paper formalizes interprocess communication based on the involvement of entities in a process, and how processes determine which entities are involved in other processes. It provides dimensions for characterizing interprocess communication, and places common process language capabilities within them. It provides a formalization of inputs, outputs, and messaging in extensions of the Process Specification Language (PSL), to reduce ambiguity and increase expressiveness in commonly used process languages. The paper also shows how to incrementally translate common process language elements to PSL, resulting in much smaller expressions, for readability and efficient inference.
Citation
NIST Interagency/Internal Report (NISTIR) - 7348
Report Number
7348

Keywords

Inputs and Outputs, Interprocess Communication, ISO, Messages, Participation Constraints, Process Specification Language, PSL

Citation

Bock, C. (2006), Interprocess Communication in the Process Specification Language, NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.7348 (Accessed August 13, 2022)
Created October 1, 2006, Updated November 10, 2018