August 1, 2004
Author(s)
Conrad Bock, Michael Gruninger
Inputs and outputs are ubiquitous in flow modeling, including popular programming languages. This paper examines how inputs and outputs can be formalized in the Process Specification Language (PSL) to reduce ambiguity and increase expressiveness compared