From graphical representations to formal specifications and return: translation algorithms in the Harmony environment

Author

Dascalu, Sergiu M. ; Hitchcock, Peter ; Debnath, Narayan C. ; Klempau, Andrew

Author_Institution

Dept. of Comput. Sci., Nevada Univ., Reno, NV, USA

fYear

2004

fDate

8-10 Nov. 2004

Firstpage

215

Lastpage

221

Abstract

We introduce the translation algorithms that support the combination of semiformal graphical representations with formal notations in the Harmony environment for software specification. Background information is presented about the Harmony approach and details of both formalization and deformalization processes are provided. Even though the algorithms described are focused on UML to Z++ translations, their underlying principles and rules can be adapted and reused for other combinations of modeling notations, in particular for combinations that involve UML for the graphical representation of software models. Several directions of enhancing the existing translation algorithms are also discussed.

Keywords

Unified Modeling Language; formal specification; object-oriented methods; object-oriented programming; programming environments; Harmony environment; UML; Z++ translations; formal specifications; semiformal graphical representations; software specification; translation algorithms; Computer science; Embedded software; Formal specifications; Mathematical model; Software design; Software engineering; Software testing; Terminology; Unified modeling language; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Reuse and Integration, 2004. IRI 2004. Proceedings of the 2004 IEEE International Conference on

Print_ISBN

0-7803-8819-4

Type

conf

DOI

10.1109/IRI.2004.1431463

Filename

1431463