Formal Verification of UML Diagrams: A First Step Towards Code Generation
Jeffrey E. Smith, Mieczyslaw K. Kokar, Kenneth Paul Baclawski · 2001
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.