SML is a language used by model designers to compose and validate models using formal analysis tool Alloy. SML is a simple relational language of first order. Its semantics are set in first order predicate logic. Each instruction has corresponding UML description.