 It was a rather limited object modeling language.Succeeding iterations of the language "added quantifiers, higher arity relations, polymorphism, subtyping, and signatures".The mathematical underpinnings of the language were heavily influenced by the Z notation, and the syntax of Alloy owes more to languages such as Object Constraint Language.