The University of Southampton
University of Southampton Institutional Repository

On specification logics for algebra-coalgebra structures: reconciling reachability and observability

On specification logics for algebra-coalgebra structures: reconciling reachability and observability
On specification logics for algebra-coalgebra structures: reconciling reachability and observability
The paper builds on recent results regarding the expressiveness of modal logics for coalgebras in order to introduce a specification framework for coalgebraic structures which offers support for modular specification. An equational specification framework for algebraic structures is obtained in a similar way. The two frameworks are then integrated in order to account for structures comprising both a coalgebraic (observational) component and an algebraic (computational) component. The integration results in logics whose sentences are either coalgebraic (modal) or algebraic (equational) in nature, but whose associated notions of satisfaction take into account both the coalgebraic and the algebraic features of the structures being specified. Each of the logics thus obtained also supports modular specification.
algebraic specification, equational logic, coalgebraic specification, modal logic
82-97
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Nielsen, M.
d6a4a4bb-e50c-4cd3-9b70-b0e34cf59059
Engberg, U.
84e924cd-ffee-47e3-a0e3-1eebb4b61a29
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Nielsen, M.
d6a4a4bb-e50c-4cd3-9b70-b0e34cf59059
Engberg, U.
84e924cd-ffee-47e3-a0e3-1eebb4b61a29

Cirstea, Corina (2002) On specification logics for algebra-coalgebra structures: reconciling reachability and observability. Nielsen, M. and Engberg, U. (eds.) Foundations of Software Science and Computation Structures Conference, Grenoble, France. 10 - 12 Apr 2002. pp. 82-97 .

Record type: Conference or Workshop Item (Paper)

Abstract

The paper builds on recent results regarding the expressiveness of modal logics for coalgebras in order to introduce a specification framework for coalgebraic structures which offers support for modular specification. An equational specification framework for algebraic structures is obtained in a similar way. The two frameworks are then integrated in order to account for structures comprising both a coalgebraic (observational) component and an algebraic (computational) component. The integration results in logics whose sentences are either coalgebraic (modal) or algebraic (equational) in nature, but whose associated notions of satisfaction take into account both the coalgebraic and the algebraic features of the structures being specified. Each of the logics thus obtained also supports modular specification.

Text
lncs.pdf - Other
Download (200kB)

More information

Published date: 2002
Additional Information: Event Dates: 10-12 April 2002
Venue - Dates: Foundations of Software Science and Computation Structures Conference, Grenoble, France, 2002-04-10 - 2002-04-12
Keywords: algebraic specification, equational logic, coalgebraic specification, modal logic
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 259116
URI: http://eprints.soton.ac.uk/id/eprint/259116
PURE UUID: afcb8124-1a4b-4c87-8bb9-b38b902aeb4c
ORCID for Corina Cirstea: ORCID iD orcid.org/0000-0003-3165-5678

Catalogue record

Date deposited: 12 Mar 2004
Last modified: 15 Mar 2024 03:18

Export record

Contributors

Author: Corina Cirstea ORCID iD
Editor: M. Nielsen
Editor: U. Engberg

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×