A coalgebraic equational approach to specifying observational structures. (English) Zbl 1002.68095

Summary: A coalgebraic, equational approach to the specification of observational structures allowing for a choice in the result type of observations is presented. Observers whose result type is structured as a coproduct of basic types are considered, and notions of covariable, coterm and coequation, dual to the algebraic notions of variable, term and equation are used to specify the associated structures. A sound and complete deduction calculus for reasoning about observational structures is then formulated. Finally, the approach is extended in order to account for the availability of a fixed data universe in the specification of such structures.


68Q65 Abstract data types; algebraic specification
Full Text: DOI


[1] Borceux, F., Handbook of categorical algebra, vol. II, (1994), Cambridge University Press Cambridge · Zbl 0911.18001
[2] C. Cı̂rstea, Integrating observations and computations in the specification of state-based, dynamical systems, Ph.D. Thesis, University of Oxford, 2000.
[3] Corradini, A., A completeness result for coequational deduction in coalgebraic specification, (), 190-205 · Zbl 0903.08007
[4] Goguen, J.; Burstall, R., Institutions: abstract model theory for specification and programming, J. ACM, 39, 1, 95-146, (1992) · Zbl 0799.68134
[5] Jacobs, B., Objects and classes, coalgebraically, (), 83-103
[6] Jacobs, B., Invariants, bisimulations and the correctness of coalgebraic refinements, (), 276-291
[7] Meseguer, J., General logics, (), 275-329
[8] Moss, L.S., Coalgebraic logic, Ann. pure appl. logic, 96, 277-317, (1999) · Zbl 0969.03026
[9] Reichel, H., An approach to object semantics based on terminal coalgebras, Math. struct. comput. sci., 5, 129-152, (1995) · Zbl 0854.18006
[10] M. Rößiger, From modal logic to terminal coalgebras, Tech. Report, Technical University Dresden, 1998.
[11] J. Rutten, Universal coalgebra: a theory of systems, Tech. Report CS-R9652, CWI, 1996. · Zbl 0951.68038
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.