Defining a formal coalgebraic semantics for the rosetta specification language
Issue Date
2003Author
Kong, Cindy
Alexander, Perry
Menon, Catherine
Publisher
Graz University of Technology, Institut für Informationssysteme und Computer Medien
Type
Article
Article Version
Scholarly/refereed, publisher version
Published Version
http://hdl.handle.net/2440/1356Metadata
Show full item recordAbstract
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 state-based 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.
Description
This is the published version. Copyright 2003 Graz University of Technology, Institut für Informationssysteme und Computer Medien
Collections
Citation
Kong, Cindy, Perry Alexander, and Catherine Menon. "Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language." Journal of Universal Computer Science 9.11 (2003): 1322-349. http://hdl.handle.net/2440/1356
Items in KU ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
We want to hear from you! Please share your stories about how Open Access to this item benefits YOU.