Object-Oriented White Papers

Formal Proof From UML Models

Overview This paper presents a practical approach to a formal analysis of UML-based models. This is achieved by an underlying formal representation in Z, which allows one to pose and discharge conjectures to analyse models. This paper shows how the approach allows one to consistency-check UML models, and model analysis by simply drawing snapshot diagrams.

Further White Paper Details
PublisherUniversity of York File FormatPDF, requires Acrobat Rdr 5
Date PublishedJuly 2004 Downloads60
FormatWhite Papers   
Topics

Quick Sitemap Links: