Title :
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
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;
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
DOI :
10.1109/NAECON.2000.894890
