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 language | English |
|---|---|
| Title of host publication | INTEGRATED FORMAL METHODS, PROCEEDINGS 2999: |
| Publisher | Unknown Publisher |
| Pages | 187 - 206 |
| Number of pages | 20 |
| ISBN (Print) | 3-540-21377-5 |
| Publication status | Published - 2004 |
| Event | 4th International Conference on Integrated Formal Methods (IFM 2004) - Canterbury, Kent Duration: 1 Jan 2004 → … |
Conference
| Conference | 4th International Conference on Integrated Formal Methods (IFM 2004) |
|---|---|
| City | Canterbury, Kent |
| Period | 1/01/2004 → … |