Interprocess Communication in the Process Specification Language

Abstract

Interprocess communication concerns how processes affect which entities are involved in other processes. This paper provides dimensions for characterizing interprocess communication, and places common process language capabilities within them. It formalizes loosely and tightly coupled processes as extensions of the Process Specification Language (PSL), to reduce ambiguity and increase expressiveness as compared to commonly used process languages. The paper also shows how to incrementally translate common process language elements to PSL. This generates small expressions even for large process models.