Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language

Cindy Kong, Perry Alexander, Catherine Menon

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)


Rosetta is a systems level design language that allows algebraic specification
of systems through facets. The usual approach to formally describe a specification is to define an algebra that satisfies the specification. Although it is possible to formally describe Rosetta facets with the use of algebras, we choose to use the dual of algebra, i.e. coalgebra, to do so. Coalgebras are particularly suited for describing statebased systems. This makes formally defining state-based Rosetta quite straightforward. For non-state-based Rosetta, the formalization is not as direct, but can still be done with coalgebras by focusing on the behaviors of systems specified. We use denotational semantics to map Rosetta syntactic constructs into a language understood by the coalgebras.
Original languageEnglish
JournalJournal of Universal Computer Science
Publication statusPublished - Nov 2003


Dive into the research topics of 'Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language'. Together they form a unique fingerprint.

Cite this