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
2002
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.
.
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.
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
Catalogue record
Date deposited: 12 Mar 2004
Last modified: 15 Mar 2024 03:18
Export record
Contributors
Author:
Corina Cirstea
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