System-Level Design with Rosetta

Chapter 9. Facet Basics

Thus far, our exploration of Rosetta has concentrated on the Rosetta expression language used to define Rosetta items and state mathematical properties over those items. Although the expression language is useful in its own right, it does not provide a mechanism for defining models where multiple properties hold simultaneously over multiple system observers. Nor does it provide mechanisms for modeling how properties change over time.

We look now at the facet language for defining the fundamental Rosetta modeling construct used to define system and component models. A facet is a parameterized, declarative structure that defines the properties of a system. Each facet definition consists of four major elements:(i)adomain,(ii)parameters,(iii)local ...