Abstract
The ImpUNITY framework is an extension of the UNITY framework. It contains several program structuring mechanisms and puts special emphasis on compositional refinement of both specifications and programs. It has an associated temporal logic, formal refinement notions, and program transformation rules. In this paper we show how coordination in the form of a shared tuple space between communicating ImpUNITY programs is modelled and used during formal program specification and refinement. We exemplify our formalism by a larger case study on a phone system where communication in the system is partly taken care of via a tuple space.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
R. J. R. Back and K. Sere. Action systems with synchronous communication. In E.-R. Olderog, editor, Programming Concepts, Methods and Calculi, volume A-56 of IFIP Transactions, pages 107–126. Elsevier, June 1994.
D. Le Métayer, C.L. Hankin, and D. Sands. Compositional semantics of a notation for composing parallel programs. Submitted for publication 1995.
K. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
H.C. Cunningham and G.C. Roman. A UNITY-style programming logic for a shared dataspace language. Technical Report WUCS-89-5, Dept. of Computer Science, Washington University, March 1989.
D. Le Métayer, C.L. Hankin, and D. Sands. A parallel programming style and its algebra of programs. In PARLE'93, volume 694 of Lecture Notes in Computer Science, Springer-Verlag, 1993.
R.T. Udink. Program Refinement in UNITY-like Environments. PhD Thesis, Utrecht University, September 1995.
R.T. Udink, T. Herman, and J.N. Kok. Progress for local variables in UNITY. In E.-R. Olderog, editor, Programming Concepts, Methods and Calculi, volume A-56 of IFIP Transactions, pages 127–146. Elsevier, June 1994.
R.T. Udink and J.N. Kok. ImpUNITY: UNITY with procedure and local variables. In B. Moller, editor, Mathematics of Program Construction, volume 947 of Lecture Notes in Computer Science, pages 452–472. Springer-Verlag, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goeman, H.J.M., Kok, J.N., Sere, K., Udink, R.T. (1996). Coordination in the ImpUnity framework. In: Ciancarini, P., Hankin, C. (eds) Coordination Languages and Models. COORDINATION 1996. Lecture Notes in Computer Science, vol 1061. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61052-9_48
Download citation
DOI: https://doi.org/10.1007/3-540-61052-9_48
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61052-6
Online ISBN: 978-3-540-49936-7
eBook Packages: Springer Book Archive