Results 1 
3 of
3
Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language
 JOURNAL OF UNIVERSAL COMPUTER SCIENCE
, 2003
"... 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 alge ..."
Abstract

Cited by 5 (3 self)
 Add to MetaCart
(Show Context)
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 statebased Rosetta quite straightforward. For nonstatebased 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.
(中山大 学 计算机科学系,广 东 广 州 510275) A Survey on the Coalgebraic Methods in Computer Science
"... ..."
(Show Context)
Modular Semantics for ModelOriented Design by
"... Modern systems engineering mandates the integration of heterogeneous models in design and analysis. This has given rise to the notion of modeloriented design where specifications can be defined, translated, and composed. A common aspect that modelcentered tools and languages share is the capabili ..."
Abstract
 Add to MetaCart
(Show Context)
Modern systems engineering mandates the integration of heterogeneous models in design and analysis. This has given rise to the notion of modeloriented design where specifications can be defined, translated, and composed. A common aspect that modelcentered tools and languages share is the capability of using different models of computation together. As a result, the heterogeneous components of a particular system can be expressed in their most natural representation. We propose a framework that supports the representation of a variety of computational models. An important part to any representation is the provision of a formal semantics that defines its correctness. We accordingly define a precise and modular semantics that uses the notion of institutions to provide meaning to wellformed syntactic elements. Institutions relate specifications to mathematical models such as algebras and coalgebras. The formal semantics thus defined allows us to derive consistency of designs and to reason about system specifications. These specifications are written in the Rosetta language. Rosetta supports describing the ontology of a formalism or model of