• DocumentCode
    2363936
  • Title

    Formal management of object behavior with statechart DNA

  • Author

    De Leeuw, Benjamin ; Hoogewijs, Albert

  • Author_Institution
    Univ. Gent, Ghent
  • fYear
    2007
  • fDate
    26-28 Sept. 2007
  • Firstpage
    1
  • Lastpage
    7
  • Abstract
    We introduce and explore a new statechart (sc) abstraction method. We define simplified statecharts (ssc) and discuss the use of action abstraction in ssc models. We isolate sc DNA from UML sc models, and show how this sc DNA can be used to define behavior model metrics and more generally, to manage object behavior.
  • Keywords
    DNA; Unified Modeling Language; biocomputing; DNA; UML; behavior model metrics; formal management; statechart abstraction method; Algebra; Automata; DNA computing; Documentation; Encapsulation; Mathematics; Object oriented modeling; Read-write memory; Software systems; Unified modeling language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    AFRICON 2007
  • Conference_Location
    Windhoek
  • Print_ISBN
    978-1-4244-0987-7
  • Electronic_ISBN
    978-1-4244-0987-7
  • Type

    conf

  • DOI
    10.1109/AFRCON.2007.4401522
  • Filename
    4401522
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2363936