A Tool for Automatic Transformation between SOFL Class Specifications and UML Diagrams

S. Liu and S. Kagiyama (Japan)


Formal specification, specification visualization, SOFL, UML, specification understanding.


The successful application of formal specification tech niques in practice requires support for improving the read ability and understandability of formal specifications. In this paper, we describe our latest work on the construction of a software tool to support an automatic transformation between SOFL class specifications and UML diagrams. It includes the transformations from SOFL class specifica tions to UML class diagrams, from SOFL explicit speci fications to UML activity diagrams, and from UML class diagrams to SOFL class specifications. We also present a case study using the tool for an ATM system to evaluate the performance of the tool1 .

Important Links:

Go Back