• DocumentCode
    2641057
  • Title

    Towards the verification of scenarios with time Petri-nets

  • Author

    Lee, Jonathan ; Pan, Jiann-I ; Kuo, Jong-Yih ; FanJiang, Yong-Yi ; Yang, Stephen

  • Author_Institution
    Dept. of Comput. Sci. & Inf. Eng., Nat. Central Univ., Chung-Li, Taiwan
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    503
  • Lastpage
    508
  • Abstract
    The focus of the paper is on the use of time Petri nets to serve as the verification mechanism for acquired scenarios. Use cases are used to elicit the user needs and to derive the scenarios. After specifying all possible scenarios, each of them can be transformed into its corresponding time Petri nets model (TPN). Through the analysis of these TPN models, wrong information and missing information in scenarios can be detected. The proposed approach is illustrated by a course registration problem domain
  • Keywords
    Petri nets; program verification; temporal logic; TPN models; acquired scenarios; course registration problem domain; missing information; scenario verification; time Petri nets; timed Petri nets; use cases; user needs; verification mechanism; wrong information; Application software; Computer applications; Computer science; Information analysis; Information management; Programming; Software systems; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International
  • Conference_Location
    Taipei
  • ISSN
    0730-3157
  • Print_ISBN
    0-7695-0792-1
  • Type

    conf

  • DOI
    10.1109/CMPSAC.2000.884773
  • Filename
    884773
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2641057