@InProceedings{Gogolla:2001:AWRE, author = "Martin Gogolla", title = "Using {OCL} for Defining Precise, Domain-Specific {UML} Stereotypes", booktitle = "Proc. 6th Australian Workshop on Requirements Engineering (AWRE'2001)", year = "2001", editor = "Aybuke Aurum and Ross Jeffery", pages = "51--60", publisher = "Centre for Advanced Software Engineering Research (CAESER), University of New South Wales, Sydney", isbn = "0-7334-1859-7", abstract = "This paper studies the extension mechanisms of the Unified Modeling Language UML. It introduces a new appproach for defining UML stereotypes and shows its usefulness by considering domain-specific requirements for databases. The stereotypes introduced possess a precise meaning by translating them into expressions formulated in the Object Constraint Language\~OCL. Apart from proposing a general framework for stereotype definition, this work is also one step in the development of a domain-specific requirements language for information systems.", }