Summary
The paper presents a new specification style for computations to be executed in an essentially multiprocessor environment. This style is based on two pragmatic premises: (1) the specification is derived from considerations of system reaction related to system state, rather than to a goal to be achieved, (2) a reaction enabled by a system state is executed independently of any other system activity but its outcome is accepted only if the system “by itself” satisfies a postguard condition, i.e. finds itself in a (possibly different) well-defined state.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Dijkstra, E.W.: A discipline of programming. Englewood Cliffs, NJ: Prentice Hall
Jones, C.B.: Systematic software development using VDM. Englewood Cliffs, NJ: Prentice Hall 1986
Randell, B.: System structure for software fault-tolerance. IEEE Trans. Soft. Eng. SE1 220–232 (1975)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Turski, W.M. On specification of multiprocessor computing. Acta Informatica 27, 685–696 (1990). https://doi.org/10.1007/BF00264282
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00264282