Abstract
This paper takes up the challenge advanced in Report P9313 of the Programming Research Group of the University of Amsterdam [VW93]. It provides an alternative way of specifying an existing traffic regulation system at signalized intersections of the firm Nederland Haarlem 1. The specification proposed in this paper features the major differences with the previous attempt, which are threefold:
-
1.
it is process oriented rather than data oriented, i.e. each phase is modeled as a process that runs in parallel with the others. Furthermore there is one central control process that decides which phases are realized (turn green).
-
2.
it uses the ρμCRL (Real Time Micro Common Represention Language), a Real Time extension of μCRL, instead of PSF (Process Specification Formalism);
-
3.
it features Prefix Integrated Real Time Algebra of Communicating Processes (ACP).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.C.M Baeten & J.A. Bergstra, Real time process algebra. Journal of Formal Aspects of Computing Science, 3(2): 142–188, 1991.
J.C.M. Baeten & W.P. Weijland, Process algebra Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990.
J.A. Bergstra, J.W. Klop & A. Middeldorp, Termherschrijfsystemen, PTT Research 1989, Kluwer Programmatuurkunde, in Dutch.
W.J. Fokkink, A simple specification language combining processes, time and data. Center for Mathematics and Computer Science, Technical Report CS-R9209, Department of Software Technology, Amsterdam 1992.
J.F. Groote & A. Ponse, The Syntax and Semantics of μCRL. In this volume: A.Ponse, C.Verhoef and S.F.M. van Vlijmen, editors. Proceedings of ACP94- Workshops in Computing, Springer-Verlag, 1994.
P. Klint, A meta-environment for generating programming environments. ACM Transactions on Software Engineering Methodology, 2(2):176–201, 1993.
A.S. Klusener, Models and axioms for a fragment of real time process algebra. Ph.D thesis, Technical University of Eindhoven, December 1993.
J.J.M.T. Kroone, UAP-26 Universele applicatieprogramma’s voor de FR34 en FR80. B.V. Nederland Haarlem Verkeerssystemen, 1990.
S. Mauw & G.J. Veltink, A Process Specification Formalism. Fundamenta Informaticae XIII, pp. 85–139, 1990.
G.J. Veltink, The PSF Toolkit. Technical Report P9107, Programming Research Group, University of Amsterdam 1991.
S.F.M. van Vlijmen & A. van Waveren, Algebraic Specification of a System for Traffic Regulation at Signalized Intersections. Technical Report P9313, Programming Research Group, University of Amsterdam June 1993.
J.J.van Wamel A Library for PSF, Technical Report P9301, Programming Research Group, University of Amsterdam, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 British Computer Society
About this paper
Cite this paper
Koens, M.J., Oei, L.H. (1995). A Real Time μCRL Specification of a System for Traffic Regulation at Signalized Intersections. In: Ponse, A., Verhoef, C., van Vlijmen, S.F.M. (eds) Algebra of Communicating Processes. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-2120-6_11
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2120-6_11
Publisher Name: Springer, London
Print ISBN: 978-3-540-19909-0
Online ISBN: 978-1-4471-2120-6
eBook Packages: Springer Book Archive