Rosetta Composition Semantics

View Sample PDF

Author(s): Megan Peck (University of Kansas, USA)and Perry Alexander (University of Kansas, USA)
Copyright: 2014
Pages: 39
Source title: Advances and Applications in Model-Driven Engineering
Source Author(s)/Editor(s): Vicente García Díaz (University of Oviedo, Spain), Juan Manuel Cueva Lovelle (University of Oviedo, Spain), B. Cristina Pelayo García-Bustelo (University of Oviedo, Spain)and Oscar Sanjuán Martinez (University of Carlos III, Spain)
DOI: 10.4018/978-1-4666-4494-6.ch010

Keywords: Computer Science & IT / Information Science Reference / Systems & Software Design / Systems and Software Engineering

Purchase

View Rosetta Composition Semantics on the publisher's website for pricing and purchasing information.

Abstract

The Rosetta specification language aims to enable system designers to abstractly design complex heterogeneous systems. To this end, Rosetta allows for compositional design to facilitate modularity, separation of concerns, and specification reuse. The behavior of Rosetta components and facets can be viewed as systems, which are well suited for coalgebraic denotation. The previous semantics of Rosetta lacked detail in the denotational work, and had no firm semantic basis for the composition operators. This thesis refreshes previous work on the coalgebraic denotation of Rosetta. It then goes on to define the denotation of the composition operators. Several Rosetta examples using all types of composition serve as a demonstration of the power of composition as well as the clean modular abstraction it affords the designer.

The IRMA Community

Research IRM

Rosetta Composition Semantics

Purchase

Abstract

Related Content

IRMA Sponsors