From an ERAE requirements specification to a PLUSS algebraic specification: A case study

  • A. Mauboussin
  • H. Perdrix
  • M. Bidoit
  • M. -C. Gaudel
  • J. Hagelstein
Part IV Algebraic Specification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 490)


Formal specification languages and methods for refining specifications into programs have, up to now, received more attention than methods for obtaining the initial formal specification. This situation is corrected in the ESPRIT project METEOR, which distinguishes the two activities of requirements engineering (RE) — obtaining the right specification — and design engineering (DE) — using that specification properly. Because of their difference of nature, these two activities gain from using different languages: RE languages should be closer to natural language constructs, whereas DE languages should easily describe computer artifacts. In particular, the RE language ERAE is based on temporal logic, whereas the DE language PLUSS uses algebraic specifications, with emphasis on modularity and structuring concepts. This paper investigates the transition between these two formalisms, which takes place when the requirements specification is found satisfactory. As an example, we use the specification of a transit node in a telephonic network.


Temporal Logic Requirement Engineering Control Message Data Message Algebraic Specification 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bid 89]
    Bidoit M., "PLUSS a Language for the Development of Modular Algebraic Specifications", Thèse d'Etat, LRI, May 1989.Google Scholar
  2. [BGM 87]
    Bidoit M., Gaudel M.-C. and Mauboussin A., "How to Make Algebraic Specifications more Understandable ? An Experiment with the PLUSS Specification Language", Proceedings of the METEOR Workshop on Algebraic Specifications, Passau, June 1987.Google Scholar
  3. [Dij 88]
    Dijkstra E.W, "Position Paper on "Fairness"", Software Engineering Notes, Vol 13, no2, April 1988, pp.18–20.Google Scholar
  4. [DHR 88]
    E. Dubois, J. Hagelstein and A. Rifaut, "Formal Requirements Engineering with ERAE", Philips Journal of Research, vol. 43, 3/4,1988, pp.393–414. (A revised version is available from the authors.)Google Scholar
  5. [Gau 85]
    Gaudel M.-C. "Towards Structured Algebraic Specifications", Esprit Technical Week, Bruxelles, September 1985, Proceedings of Esprit'85 Status Report, North-Holland, pp.493–510.Google Scholar
  6. [Hag 89]
    Hagelstein J., "The ERAE Language Definition", Philips Research Laboratory Brussels,June 1989.Google Scholar
  7. [KP 88]
    Kaplan S. and Pnueli A., "Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type Approach", Proceedings of the STACS 87 Conference, LNCS 247, Springer Verlag.Google Scholar
  8. [Kap 89]
    Kaplan S., "The Transit Node via Process Specifications", Draft, July 1989.Google Scholar
  9. [RU 71]
    N.Rescher and A.Urquhart, "Temporal logic", Springer Verlag,1971.Google Scholar
  10. [SL 88]
    Schneider F.B. and Lamport L., "Another Position Paper on "Fairness"", Software Engineering Notes, Vol 13, no3, July 1988, pp. 18–19.Google Scholar
  11. [TW 86]
    Tarlecki A. and Wirsing M., "Continuous Abstract Daa Types", Fundamenta Informaticae 9, 1986, pp.95–125.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • A. Mauboussin
    • 1
    • 2
  • H. Perdrix
    • 2
  • M. Bidoit
    • 3
  • M. -C. Gaudel
    • 3
  • J. Hagelstein
    • 4
  1. 1.Consultant from LIFUniversité Pierre et Marie CurieParis Cedex 05
  2. 2.Laboratoires de Marcoussis, CR-CGEMarcoussisFrance
  3. 3.LRI, CNRS US “Al Khowarizmi”Université de Paris-SudOrsay CedexFrance
  4. 4.Philips Research Laboratory BrusselsBrusselsBelgium

Personalised recommendations