Chapter 14. The Facet Algebra

The facet algebra is a collection of operations for composing facets from one or more domains. The facet product and sum operations define classical conjunctive and disjunctive composition operations. Taking the product of two facets defines a new facet that satisfies both of the original specifications. Similarly, taking the sum of two facets defines a new facet that satisfies either of the original specifications. Using facet product and sum provides direct language support for concurrent engineering where multiple specifications must be simultaneously valid.

The if, case and let forms define the mechanisms for selecting between models and defining local models respectively. Facet-typed applications of if and case ...

Get System-Level Design with Rosetta now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.