State-based and process-based value passing
Reeves, S. & Streader, D. (2003) State-based and process-based value passing, In Proceedings of ST.EVE Workshop: State-oriented vs. Event-oriented thinking in Requirements Analysis, Formal Specifi.
Permanent Research Commons link: https://hdl.handle.net/10289/1718
State-based and process-based formalisms each come with their own distinct set of assumptions and properties. To combine them in a useful way it is important to be sure of these assumptions in order that the formalisms are combined in ways which have, or which allow, the intended combined properties. Consequently we cannot necessarily expect to take on state-based formalism and one process-based formalism and combine them and get something sensible, especially since the act of combining can have subtle consequences. Here we concentrate on value-passing, how it is treated in each formalism, and how the formalisms can be combined so as to preserve certain properties. Specifically, the aim is to take from the many process-based formalisms definitions that will best fit with our chosen stat-based formalism, namely Z, so that the fit is simple, has no unintended consequences and is as elegant as possible.
Formal Methods Europe
This article has been published in the Proceedings of ST.EVE Workshop: State-oriented vs. Event-oriented thinking in Requirements Analysis, Formal Specifi.