Baclawski: Formal Verification of UML Diagrams: A First Step Towards Code Generation OOPSLA???99
| Author(s) : | Kenneth Baclawski Mieczyslaw Kokar Jeffrey Smith, |
| Publisher : | N/A |
| Publication Date : | 1999 |
| ISSN : | N/A |
| Abstract : | Abstract. UML diagrams can be used for code generation. Such code should carry the meaning embedded in a diagram. The goal of this paper is to show a process in which such translation can be formally verified. To achieve this goal, the whole checking process has to be formalized. In this paper we show such a verification process and example., |