• DocumentCode
    607383
  • Title

    From UML activity diagrams to CPN: An automatic transforming method

  • Author

    Lianzhang Zhu ; Yibin Wang

  • Author_Institution
    Coll. of Comput. & Commun. Eng., China Univ. of Pet., Qingdao, China
  • fYear
    2012
  • fDate
    3-5 Dec. 2012
  • Firstpage
    955
  • Lastpage
    959
  • Abstract
    Software performance evaluation has been taken into considerations in order to avoid failure of final software´s performance, diminishing the risk of software development. This requires the method of evaluation effective and practical. CPN is good at simulating and verifying the dynamic behaviors of systems but limited by unignorable defects which researchers introduce UML to remedy. Unfortunately, because of the semantic separation between CPN and UML, the directly transforming work from the latter to the former has to rely on manual intervention, remaining old flaws unsolved and bringing new problems. This paper shows an approach that can convert UML activity diagrams to CPN models automatically via a specific intermediate model, which is being improved and will support all UML dynamic diagrams in the future.
  • Keywords
    Petri nets; Unified Modeling Language; program verification; software fault tolerance; software performance evaluation; CPN models; UML activity diagrams; automatic transforming method; dynamic behaviors; semantic separation; software development risk; software performance evaluation; CPN; UML 2 activity diagram; automatic conversion; intermediate model; performance evaluation model;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computing and Convergence Technology (ICCCT), 2012 7th International Conference on
  • Conference_Location
    Seoul
  • Print_ISBN
    978-1-4673-0894-6
  • Type

    conf

  • Filename
    6530472