Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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
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).
Gerhart S.L., "AFFIRM Reference Manual", UCS-Report (Marina del Rey), 1981.
Amar P., "Winnie: un éditeur de textes multifenêtres extensible", Actes des Journées BIGRE (Le Cap d'Agde), 1983.
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.
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.
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.
Bidoit M., "Algebraic specification of exception handling and error recovery by means of declarations and equations", Proc. 11th ICALP, Antwerp, 1984.
Bidoit M., Choppy C., Kaplan S., "ASSPEGIQUE: un environnement de spécification algébrique", Proc. 2nd AFCET Software Engineering Conference, Nice, 1984, pp357–371
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.
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.
Broy M., Wirsing M., "Partial Abstract Data Types" Acta Informatica, Vol. 18-1, Nov 1982.
Burstall R., Goguen J., "The semantics of CLEAR, a specification language", in Abstract Software Specifications, D. Bjorner Ed., LNCS 86, Springer-Verlag, 1979.
CIP language group "Report on a wide spectrum language for program specification and development", Rapport TUM-I8104 (Munich), 1981.
Choppy C., "Tools and techniques for building rapid prototypes", AFCET Workshop on "Prototypage, Maquettage et Génie Logiciel", Lyon, January 1985.
"The programming language ADA — Reference Manual" United States Department of Defense, January 1983.
"Les éditeurs dirigés par la syntaxe", Journées d'Aussois — INRIA Ed. (Rocquencourt — France), 1983.
Gaudel M.-C., "Proposition pour un Langage d'Utilisation de Spécifications Structurées: PLUSS", C.G.E. Research Report, 1983.
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.
Goguen J.A., "Abstract errors for abstract data types" in Formal Description of Programming Concepts, E.J. NEUHOLD Ed., North Holland, New York 1977.
Goguen J.A., "Exception and Error Sorts, Coercion and Overloading Operators" S.R.I. Research Report, 1978.
Goguen J.A., Parsaye-Ghomi K., "Algebraic denotational semantics using parameterized modules", Tech. Report CSL-119, SRI International, UCLA, 1981.
Goguen J.A., "Parameterized Programming", Proc. Workshop on Reusabibility in Programming, Stratford CT, USA, 1983.
Guttag J.V., Horning J.J., "An introduction to the LARCH shared language", Proc. IFIP 83, REA. Mason ed., North Holland Publishing Company, 1983.
Kaplan S., "Un langage de spécification de types abstraits algébriques", Thèse de 3ème cycle, LRI (Orsay — France), 1983.
Plaisted D., "An initial algebra semantics for error presentations" Unpublished Draft, 1982.
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.
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.
Wirsing M., "Structured algebraic specifications", Proc. AFCET Symp. on Mathematics for Computer Science, Paris, France, 1982.
Wirsing M., "Structured algebraic specifications: A kernel language", PhD. Thesis, Munchen, Germany 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bidoit, M., Choppy, C. (1985). ASSPEGIQUE: An integrated environment for algebraic specifications. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds) Formal Methods and Software Development. TAPSOFT 1985. Lecture Notes in Computer Science, vol 186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15199-0_16
Download citation
DOI: https://doi.org/10.1007/3-540-15199-0_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15199-9
Online ISBN: 978-3-540-39307-8
eBook Packages: Springer Book Archive