Extending the notation of Rational Rose 98 for use with formal methods

Author

Noe, Penelope A. ; Hartrum, Thomas C.

Author_Institution

HQ Air Force Personnel Center, Randolph AFB, TX, USA

fYear

2000

fDate

2000

Firstpage

43

Lastpage

50

Abstract

The Unified Modeling Language (UML) has been incorporated into the CASE tool, Rational Rose98, offering the user the capability of specifying systems using UML notation, Booch notation, or Rumbaugh notation. Through this research effort, Rose98 has been extended to allow formal notation to be entered in the class diagram text fields. Rose scripts were developed to transform the resulting extended Rose model into Z (zed) specifications in LATEX format. Z specifications are developed for the object model, dynamic model, and functional model based on information gathered from the class diagram and state transition diagram of the Rose model. These specifications can then be parsed into a tool supporting formal methods and Ada code can be automatically generated

Keywords

aerospace computing; computer aided software engineering; formal specification; software tools; specification languages; Ada code; Booch notation; CASE tool; LATEX format; Rational Rose 98; Rumbaugh notation; UML notation; Z specifications; class diagram text fields; dynamic model; formal methods; functional model; object model; state transition diagram; Computer aided software engineering; Graphical user interfaces; Laboratories; Personnel; Software engineering; Software systems; Software tools; Typesetting; Unified modeling language; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

National Aerospace and Electronics Conference, 2000. NAECON 2000. Proceedings of the IEEE 2000

Conference_Location

Dayton, OH

Print_ISBN

0-7803-6262-4

Type

conf

DOI

10.1109/NAECON.2000.894890

Filename

894890