Generating JML Specifications from UML State Diagrams
Engelbert Hubbers, Martijn Oostdijk · 2003
We describe our work on the prototype AutoJML tool which automatically derives JML (Java Modelling Language) specifications from UML state diagrams. UML is widely used for modelling Object-Oriented systems on an abstract level. It should be possible to test whether concrete program code actually implements a UML model. The generated JML specifications can be used for this. There exist tools to verify whether Java code conforms to a JML specification. 1