UML to B: Formal verification of object-oriented models

E A Boiten, J Derrick, G Smith (Editor)

Research output: Chapter in Book/Report/Conference proceedingConference paper

50 Citations (Scopus)

Abstract

The integration of UML and formal methods such as B and SMV provides a bridge between graphical specification techniques usable by mainstream software engineers, and precise analysis and verification techniques, essential for the development of high integrity and critical systems. In this paper we define a translation from UML class diagrams into B, which is used to verify the consistency of UML models and to verify that expected properties of these models hold.
Original languageEnglish
Title of host publicationINTEGRATED FORMAL METHODS, PROCEEDINGS 2999:
PublisherUnknown Publisher
Pages187 - 206
Number of pages20
ISBN (Print)3-540-21377-5
Publication statusPublished - 2004
Event4th International Conference on Integrated Formal Methods (IFM 2004) - Canterbury, Kent
Duration: 1 Jan 2004 → …

Conference

Conference4th International Conference on Integrated Formal Methods (IFM 2004)
CityCanterbury, Kent
Period1/01/2004 → …

Fingerprint

Dive into the research topics of 'UML to B: Formal verification of object-oriented models'. Together they form a unique fingerprint.

Cite this