Take a sneak peek at the new NIST.gov and let us know what you think!
(Please note: some content may not be complete on the beta site.).
NIST Authors in Bold
|Author(s):||Conrad E. Bock;|
|Title:||Interprocess Communication in the Process Specification Language|
|Published:||October 01, 2006|
|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|
|Keywords:||Inputs and Outputs,Interprocess Communication,ISO,Messages,Participation Constraints,Process Specification Language,PSL|
|PDF version:||Click here to retrieve PDF version of paper (494KB)|