Formal Proof from UML Models

Abstract. We present a practical approach to a formal analysis of UMLbased 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.

• Type: Conference
• Year: 2004
• Where: ICFEM
• Authors: Nuno Amálio, Susan Stepney, Fiona Polack
• Keywords: Formal Analysis, ICFEM 2004, Practical Approach, UMLbased Models