By the same authors

Formal Proof from UML Models

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2004
Original languageUndefined/Unknown


We present a practical approach to a formal analysis of UML-based models. This is achieved by an underlying formal representation in Z, which allows us to pose and discharge conjectures to analyse models. We show how our approach allows us to consistency-check UML models, and model analysis by simply drawing snapshot diagrams.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations