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.
Extending the notation of Rational Rose 98 for use with formal methods
2000-01-01
764509 byte
Conference paper
Electronic Resource
English
Extending the Notation of Rational Rose 98 for Use With Formal Methods
British Library Conference Proceedings | 2000
|Notation, Method, Tool: A Conceptual Framework for the Application of Formal Methods
British Library Conference Proceedings | 2001
|Elsevier | 1964
From Natural Language to Semi-Formal Notation Requirements for Automotive Safety
British Library Conference Proceedings | 2015
|From Natural Language to Semi-Formal Notation Requirements for Automotive Safety
SAE Technical Papers | 2015
|