%0 Book Section %1 am'alio_04_formal %A Am'alio, Nuno %A Stepney, Susan %A Polack, Fiona %D 2004 %J Formal Methods and Software Engineering %K _to_download_springer 2004 _no_doi proof uml %P 418--433 %T Formal Proof from UML Models %U http://www.springerlink.com/content/ftvf454b2yqyj751 %X 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. Keywords: UML, Z, model analysis, formal proof, consistency checking.

@incollection{am'alio_04_formal, 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. Keywords: UML, Z, model analysis, formal proof, consistency checking.}, added-at = {2009-02-11T21:04:47.000+0100}, author = {Am'{a}lio, Nuno and Stepney, Susan and Polack, Fiona}, biburl = {https://www.bibsonomy.org/bibtex/2325107e791cbb8210d628e98b090e2a1/leonardo}, citeulike-article-id = {3783453}, interhash = {a270e1b26c107bb993fd3ac9f4bd6dcb}, intrahash = {325107e791cbb8210d628e98b090e2a1}, journal = {Formal Methods and Software Engineering}, keywords = {_to_download_springer 2004 _no_doi proof uml}, pages = {418--433}, posted-at = {2008-12-12 23:47:52}, priority = {2}, timestamp = {2009-02-11T21:04:47.000+0100}, title = {Formal Proof from UML Models}, url = {http://www.springerlink.com/content/ftvf454b2yqyj751 }, year = 2004 }