Wikipedia
Rosetta-lang
The Rosetta system-level specification language is a design language for complex, heterogeneous systems. Specific language design objectives include:
- Constraint representation
- Heterogeneous system representation and specification composability
- Well-defined formal semantics and support for formal analysis
- Scalability to large designs
Rosetta was undergoing standardization at various times.