Abstract
Most formal method notations are text based, while tools used in industry often use graphical notations, such as UML. This paper demonstrates how the power of both approaches can be combined by providing the automatic translation of VDM++ models to and from UML. The translation is implemented as a plugin for the popular Eclipse development environment by the open-source Overture initiative. Both UML class diagrams and sequence diagrams can be translated, the latter enabling the novel ability to link with the combinatorial test facility of Overture. © 2009 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Lausdahl, K., Lintrup, H. K. A., & Larsen, P. G. (2009). Connecting UML and VDM++ with open tool support. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5850 LNCS, pp. 563–578). https://doi.org/10.1007/978-3-642-05089-3_36
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
