ASSPEGIQUE: An integrated environment for algebraic specifications

  • Michel Bidoit
  • Christine Choppy
Colloquium On Software Engineering Rigorous Approaches To Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 186)


In this paper, we describe ASSPEGIQUE, an integrated environment for the development of large algebraic specifications. We first describe the underlying specification language, PLUSS-E, based on the specification-building primitives of ASL and E,R-algebras, a formal framework for exception handling. We then describe the design and organization of the specification environment. This environment allows the user to introduce specifications in a hierarchized library, to edit them through a special purpose editor (with a graphical interface), to compile them and to debug them. A symbolic evaluator and theorem proving tools completes ASSPEGIQUE into an environment suitable for rapid prototyping.


Specification Language Error Recovery Exception Handling Grammar Generator Error Handling 
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.

VI — References

  1. [ADJ 76]
    Goguen J., Thatcher J., Wagner E., "An Initial Algebra approach to the specification, correctness, and implementation of abstract data types" in Current Trends in Programming Methodology, Vol.4, Yeh Ed. Prentice Hall, 1978 (also IBM Report RC 6487, October 1976).Google Scholar
  2. [AFF 81]
    Gerhart S.L., "AFFIRM Reference Manual", UCS-Report (Marina del Rey), 1981.Google Scholar
  3. [AMA 83]
    Amar P., "Winnie: un éditeur de textes multifenêtres extensible", Actes des Journées BIGRE (Le Cap d'Agde), 1983.Google Scholar
  4. [BBGGG 84]
    Bidoit M., Biebow B., Gaudel M.-C., Gresse C., Guiho G., "Exception handling: formal specification and systematic program specification", Proc. 7th I.C.S.E., Orlando, USA, 1984.Google Scholar
  5. [BEA 83]
    Beaudouin-Lafon M., "Petripote: a graphic system for Petri-Nets design and simulation" Proc. of 4th European Workshop on Applications and Theory of Petri Nets, Toulouse, France, 1983.Google Scholar
  6. [BID 82]
    Bidoit M., "Proofs by induction in "fairly" specified equational theories" Proc. 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, Springer-Verlag IFB 58, 1982.Google Scholar
  7. [BID 84]
    Bidoit M., "Algebraic specification of exception handling and error recovery by means of declarations and equations", Proc. 11th ICALP, Antwerp, 1984.Google Scholar
  8. [BCK 84]
    Bidoit M., Choppy C., Kaplan S., "ASSPEGIQUE: un environnement de spécification algébrique", Proc. 2nd AFCET Software Engineering Conference, Nice, 1984, pp357–371Google Scholar
  9. [BGG 83]
    Bidoit M., Gresse C., Guiho G., "CATY: Un système d'aide au développement de programmes", Actes des Journées BIGRE 83 (Le Cap d'Agde), 1983.Google Scholar
  10. [BGG 84]
    Bidoit M., Gaudel M.-C., Guiho G. "Towards a systematic and safe programming of exception handling in ADA" Proc. of Ada-Europe/Ada TEC Conf., Brussels, June 1984.Google Scholar
  11. [B&W 82]
    Broy M., Wirsing M., "Partial Abstract Data Types" Acta Informatica, Vol. 18-1, Nov 1982.Google Scholar
  12. [B&G 79]
    Burstall R., Goguen J., "The semantics of CLEAR, a specification language", in Abstract Software Specifications, D. Bjorner Ed., LNCS 86, Springer-Verlag, 1979.Google Scholar
  13. [CIP 81]
    CIP language group "Report on a wide spectrum language for program specification and development", Rapport TUM-I8104 (Munich), 1981.Google Scholar
  14. [CHO 85]
    Choppy C., "Tools and techniques for building rapid prototypes", AFCET Workshop on "Prototypage, Maquettage et Génie Logiciel", Lyon, January 1985.Google Scholar
  15. [DOD 83]
    "The programming language ADA — Reference Manual" United States Department of Defense, January 1983.Google Scholar
  16. [EDS 83]
    "Les éditeurs dirigés par la syntaxe", Journées d'Aussois — INRIA Ed. (Rocquencourt — France), 1983.Google Scholar
  17. [GAU 83]
    Gaudel M.-C., "Proposition pour un Langage d'Utilisation de Spécifications Structurées: PLUSS", C.G.E. Research Report, 1983.Google Scholar
  18. [GDLE 83]
    Gogolla M., Drosten K., Lipeck U., Ehrich H., "Algebraic and operational semantics of specifications allowing exceptions and errors" Proc. 6th GI-Conference on Theoretical Computer Science, LNCS 145, 1983, Springer-Verlag.Google Scholar
  19. [GOG 77]
    Goguen J.A., "Abstract errors for abstract data types" in Formal Description of Programming Concepts, E.J. NEUHOLD Ed., North Holland, New York 1977.Google Scholar
  20. [GOG 78]
    Goguen J.A., "Exception and Error Sorts, Coercion and Overloading Operators" S.R.I. Research Report, 1978.Google Scholar
  21. [GOG 81]
    Goguen J.A., Parsaye-Ghomi K., "Algebraic denotational semantics using parameterized modules", Tech. Report CSL-119, SRI International, UCLA, 1981.Google Scholar
  22. [GOG 83]
    Goguen J.A., "Parameterized Programming", Proc. Workshop on Reusabibility in Programming, Stratford CT, USA, 1983.Google Scholar
  23. [G&H 83]
    Guttag J.V., Horning J.J., "An introduction to the LARCH shared language", Proc. IFIP 83, REA. Mason ed., North Holland Publishing Company, 1983.Google Scholar
  24. [KAP 83]
    Kaplan S., "Un langage de spécification de types abstraits algébriques", Thèse de 3ème cycle, LRI (Orsay — France), 1983.Google Scholar
  25. [PLA 82]
    Plaisted D., "An initial algebra semantics for error presentations" Unpublished Draft, 1982.Google Scholar
  26. [S&W 83]
    Sanella D., Wirsing M., "A Kernel Language for Algebraic Specification and Implementation", to appear in Int. Conf. on Foundations of Computing Theory, Bergholm, Sweden, 1983.Google Scholar
  27. [VOI 84]
    Voisin F., "CIGALE: un outil de construction incrémental de grammaire et d'analyse d'expression", Thèse de 3ème cycle, Orsay (France), 1984.Google Scholar
  28. [WIR 82]
    Wirsing M., "Structured algebraic specifications", Proc. AFCET Symp. on Mathematics for Computer Science, Paris, France, 1982.Google Scholar
  29. [WIR 83]
    Wirsing M., "Structured algebraic specifications: A kernel language", PhD. Thesis, Munchen, Germany 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Michel Bidoit
    • 1
  • Christine Choppy
    • 1
  1. 1.Laboratoire de Recherche en InformatiqueUniversité de Paris-SudOrsay — CedexFrance

Personalised recommendations