The precise UML (pUML) group was created in 1997 to bring together international researchers and practitioners who share the aim of developing the Unified Modelling Language (UML) as a precise (i.e. well defined) modelling language. It is particularly concerned with the development of new theories and practices required to:

• clarify and make precise the semantics of UML.
• reason with properties of UML models.
• verify the correctness of UML designs.
• construct tools to support the rigorous application of UML

Over the last 5 years, many of its members have been involved in the UML standardisation process and have organised a variety of workshops and conferences relating the development of UML as a precise modelling language.


Whilst some progress has been made, there is still a significant way to go towards fully precise modelling. MDA (the model-driven architecture - www.omg.org/mda) offers significant hope in building some of the foundations for precision, and many pUML members and past members are currently involved in this area of work.