Abstract
The specification language PSFd is used to give a formal specification of a transit node, a common case study in ESPRIT project METEOR. The design of the specification derived from the informal text and the ERAE specification is included. A short discussion on the relation to the specification in ERAE is provided.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
9. References
J.A. Bergstra, J. Heering & P. Klint, Algebraic specification, ACM Press Frontier Series, Addison Wesley, 1989.
J.A. Bergstra & J.W. Klop, Process algebra: specification and verification in bisimulation semantics,, in: Math. & Comp. Sci. II, (M. Hazewinkel, J.K. Lenstra & L.G.L.T. Meertens, eds.), CWI Monograph 4, pp 61–94, North-Holland, Amsterdam, 1986.
E. Dubois, J. Hagelstein & A. Rifaut, Formal requirements engineering with ERAE, Philips Journal of Research 43, nos. 3/4, pp. 393–414, 1988.
J. Hagelstein, The Transit Node — ERAE specification, METEOR PRLB Report, 1988.
J. Hagelstein & A. Rifaut, The semantics of ERAE, Philips Research Laboratory Brussels Manuscript, Belgium, 1989.
IDEAS interface user guide, Centre de Recherches de la C.G.E., Marcoussis 1988.
A. Mauboussin, J. Hagelstein, M. Bidoit, M-C. Gaudel & H. Perdrix, From an ERAE requirement specification to a PLUSS algebraic specification: A case study, Report METEOR task 10, 1989.
S. Mauw & G.J. Veltink, A Process Specification Formalism, Report P8814, University of Amsterdam, Amsterdam, 1988. To appear in: Fundamenta Informaticae.
S. Mauw & G.J. Veltink, An introduction to PSF d , in: Proc. TAPSOFT 89 (J. Diaz & F. Orejas, eds.), LNCS 352, Volume 2, pp 272–285, Springer Verlag, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mauw, S., Wiedijk, F. (1991). Specification of the transit node in PSFd . In: Bergstra, J.A., Feijs, L.M.G. (eds) Algebraic Methods II: Theory, Tools and Applications. Algebraic Methods 1989. Lecture Notes in Computer Science, vol 490. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53912-3_28
Download citation
DOI: https://doi.org/10.1007/3-540-53912-3_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53912-4
Online ISBN: 978-3-540-46351-1
eBook Packages: Springer Book Archive