Alloy Annotation Language (AAL) är ett språk (under utveckling) för att kommentera Java kod baserat på legering modellering språk. Det erbjuder en syntax liknande Java Modelling Language (JML), och samma möjligheter för generering av run-time påståenden. Dessutom erbjuder AAL möjligheten till helautomatisk kompilering-tid analys. Flera typer av analyser stöds, bland annat: kontroll av kod för en metod mot dess specifikation, kontroll av att specifikationen av en metod i en underklass är förenlig med specifikationen i superklassen, och kontroll egenskaper relaterade metod kräver olika objekt, såsom att lika metoder för en klass (och dess överordnade) inducerar en likvärdighet. Med hjälp av partiella modeller i stället för kod, är det också möjligt att analysera objektorienterade mönster i det abstrakta: undersöka till exempel en vy relation mellan objekt. I dokumentet ges exempel på kommentarer och sådana analyser. Den presenterar (informellt) en systematisk översättning av kommentarer till legering, en enkel första ordningens logik med närstående operatörer. Genom att göra det gör den Alloys automatiska analys, som är baserad på toppmoderna SAT-lösare, tillämplig på analysen av objektorienterade program, och visar kraften i en enkel logik som grund för ett anteckningsspråk.
Alloy Annotation Language (AAL) REF är ett språk för att kommentera Java kod med en syntax som liknar JML.
An analyzable annotation language
{'venue': "OOPSLA '02", 'journal': None, 'mag_field_of_study': ['Computer Science']}