Composition Semantics Of The Rosetta Specification Language