Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bidoit M., "PLUSS a Language for the Development of Modular Algebraic Specifications", Thèse d'Etat, LRI, May 1989.
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.
Dijkstra E.W, "Position Paper on "Fairness"", Software Engineering Notes, Vol 13, no2, April 1988, pp.18–20.
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.)
Gaudel M.-C. "Towards Structured Algebraic Specifications", Esprit Technical Week, Bruxelles, September 1985, Proceedings of Esprit'85 Status Report, North-Holland, pp.493–510.
Hagelstein J., "The ERAE Language Definition", Philips Research Laboratory Brussels,June 1989.
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.
Kaplan S., "The Transit Node via Process Specifications", Draft, July 1989.
N.Rescher and A.Urquhart, "Temporal logic", Springer Verlag,1971.
Schneider F.B. and Lamport L., "Another Position Paper on "Fairness"", Software Engineering Notes, Vol 13, no3, July 1988, pp. 18–19.
Tarlecki A. and Wirsing M., "Continuous Abstract Daa Types", Fundamenta Informaticae 9, 1986, pp.95–125.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mauboussin, A., Perdrix, H., Bidoit, M., Gaudel, M.C., Hagelstein, J. (1991). From an ERAE requirements specification to a PLUSS algebraic specification: A case study. 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_30
Download citation
DOI: https://doi.org/10.1007/3-540-53912-3_30
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