Title :
Translating Fusion/UML to Object-Z
Author :
Bittner, Margot ; Kammüller, Florian
Author_Institution :
Inst. fur Softwaretechnik und Theor. Informatik, Technische Univ. Berlin, Germany
Abstract :
We present an extension of the development method Fusion/ UML that translates the results of analysis and design into the formal specification language Object-Z. The extended process establishes a consistency relationship between analysis and design. Furthermore, a formal specification for the implementation is produced.
Keywords :
formal specification; program interpreters; specification languages; Fusion/UML language; Object-Z language; consistency relationship; development method; formal specification language; language translation; Education; Embedded system; Formal specifications; Guidelines; Object oriented modeling; Software design; Software systems; Specification languages; Systems engineering and theory; Unified modeling language;
Conference_Titel :
Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. First ACM and IEEE International Conference on
Conference_Location :
Mont Saint Michel, France
Print_ISBN :
0-7695-1923-7
DOI :
10.1109/MEMCOD.2003.1210087
