Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/1356
Type: | Journal article |
Title: | Defining a formal coalgebraic semantics for the rosetta specification language |
Author: | Kong, Cindy Alexander, Perry Menon, Catherine |
Citation: | Journal of Universal Computer Science, 2003; 9(11):1322-1349 |
Publisher: | Institute for Information Processing and Computer Supported New Media, Graz University of Technology |
Issue Date: | 2003 |
ISSN: | 0948-6968 |
Statement of Responsibility: | Cindy Kong and Perry Alexander, Catherine Menon |
Abstract: | 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. |
Published version: | http://www.jucs.org/jucs_9_11/defining_a_formal_coalgebraic/Kong_C.pdf |
Appears in Collections: | Computer Science publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Kong_C.pdf | 254.75 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.