The precise UML group

main details

 
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.

home