Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language

Простая страница элемента
dc.creatorKong,Cindy
dc.creatorAlexander,Perry
dc.creatorMenon,Catherine
dc.date2003
dc.date.accessioned2024-02-06T12:52:38Z
dc.date.available2024-02-06T12:52:38Z
dc.descriptionRosetta 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.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-009-11-1322
dc.identifierhttps://lib.jucs.org/article/28135/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/8438
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 9(11): 1322-1349
dc.subjectcoalgebra
dc.subjectstate-based
dc.subjectsystem behavior
dc.subjectalgebraic specification
dc.subjectsystem level design language
dc.subjectformal semantics
dc.subjectdenotational semantics
dc.titleDefining a Formal Coalgebraic Semantics for The Rosetta Specification Language
dc.typeResearch Article
Файлы
Коллекции
Публикации в журналах НИЯУ МИФИ