Abstract
In many recent applications of algebraic paradigms to formal specification methodologies, already known algebraic frameworks are endowed with features tailored for special purposes ([4, 7, 8, 2]). Although it is often the case that these new features are parametric on the underlying framework and that the same construction applies to any sufficiently expressive formalism, in practice ad hoc theories are developed. This lack of generality is conflicting with the ability of changing the basic formalism, and hence with the reuse of methodologies, seen as high-level theoretical tools for the software development.
This work has been partially supported by Esprit-BRA W.G. n.6112 Compass, Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo of C.N.R. (Italy), MURST-40% Modelli e Specifiche di Sistemi Concorrenti
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Tarlecki. Quasi-varieties in abstract algebraic institutions. J. of Comp. and Syst. Science,(33), 1986.
R. Burstall and R. Diaconescu. Hiding and behaviour: an institutional approach. Tech. Rep. ECS-LFCS-92-253, Univ. of Edinburgh, 1992.
M. Cerioli and G. Reggio. Institutions for very abstract specifications. Submitted.
G. Costa and G. Reggio. Abstract dynamic data types: a temporal logic approach. In Proc. MFCS’91, number 520 in L.N.C.S. Springer Verlag, 1991.
J. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. T.C.S., 105(2), 1992.
M. Broy, C. Pair, and M. Wirsing. A systematic study of models of abstract data types. T.C.S.,(33), 1984.
G. Reggio. Entities: an institution for dynamic systems. In Recent Trends in Data Type Specification, number 534 in L.N.C.S. Springer Verlag, 1991.
G. Reggio. Event logic for specifying abstract dynamic data types. In Recent Trends in Data Type Specification, number 655 in L.N.C.S. Springer Verlag, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Cerioli, M., Reggio, G. (1994). Algebraic-Oriented Institutions. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds) Algebraic Methodology and Software Technology (AMAST’93). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3227-1_20
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3227-1_20
Publisher Name: Springer, London
Print ISBN: 978-3-540-19852-9
Online ISBN: 978-1-4471-3227-1
eBook Packages: Springer Book Archive