Rosetta-lang
Within computing, 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.