Skip to main content
SpringerLink
Log in

Specification of the transit node in PSFd

  • Part IV Algebraic Specification
  • Conference paper
  • First Online:
Algebraic Methods II: Theory, Tools and Applications (Algebraic Methods 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 490))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

9. References

  1. J.A. Bergstra, J. Heering & P. Klint, Algebraic specification, ACM Press Frontier Series, Addison Wesley, 1989.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. E. Dubois, J. Hagelstein & A. Rifaut, Formal requirements engineering with ERAE, Philips Journal of Research 43, nos. 3/4, pp. 393–414, 1988.

    Google Scholar 

  4. J. Hagelstein, The Transit Node — ERAE specification, METEOR PRLB Report, 1988.

    Google Scholar 

  5. J. Hagelstein & A. Rifaut, The semantics of ERAE, Philips Research Laboratory Brussels Manuscript, Belgium, 1989.

    Google Scholar 

  6. IDEAS interface user guide, Centre de Recherches de la C.G.E., Marcoussis 1988.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. S. Mauw & G.J. Veltink, A Process Specification Formalism, Report P8814, University of Amsterdam, Amsterdam, 1988. To appear in: Fundamenta Informaticae.

    Google Scholar 

  9. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Programming Research Group, University of Amsterdam, P.O.Box 41882, 1009 DB, Amsterdam, The Netherlands

    S. Mauw & F. Wiedijk

Authors
  1. S. Mauw
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. Wiedijk
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. A. Bergstra L. M. G. Feijs

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation