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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    Noe, P.A. (author) / Hartrum, T.C. (author)


    Publication date :

    2000-01-01


    Size :

    764509 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Extending the Notation of Rational Rose 98 for Use With Formal Methods

    Hartrum, T. C. / IEEE | British Library Conference Proceedings | 2000


    Notation, Method, Tool: A Conceptual Framework for the Application of Formal Methods

    Horste, M. M. z. / Parthasarathy, S. / Schnieder, E. et al. | British Library Conference Proceedings | 2001


    Notation

    Elsevier | 1964


    From Natural Language to Semi-Formal Notation Requirements for Automotive Safety

    Krammer, Martin / Stirgwolt, Philip / Martin, Helmut | British Library Conference Proceedings | 2015


    From Natural Language to Semi-Formal Notation Requirements for Automotive Safety

    Martin, Helmut / Krammer, Martin / Stirgwolt, Philip | SAE Technical Papers | 2015