home > publications > Z | OO > Formal Proof from UML Models

Nuno Amálio, Susan Stepney, Fiona Polack.
Formal Proof from UML Models.

ICFEM'04, Seattle, USA, 2004 . LNCS 3308, pp 418-433. Springer, 2004.

Abstract:

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.

Full paper : PDF 318K 

@inproceedings(SS-ICFEM04,
  author = "Nuno Am\'{a}lio and Susan Stepney and Fiona Polack",
  title = "Formal Proof from UML Models",
  pages = "418-433",
  crossref = "ICFEM04"
)

@proceedings(ICFEM04,
  editors = "Jim Davies and Wolfram Schulte and Mike Barnett",
  title = "ICFEM'04, Seattle, USA, 2004",
  booktitle = "ICFEM'04, Seattle, USA, 2004",
  series = "LNCS",
  volume = 3308,
  publisher = "Springer",
  year = 2004
)