• DocumentCode
    2853483
  • Title

    Analyzing Workflow Based on Restraints Using TLA

  • Author

    Bian, Ji

  • Author_Institution
    Sch. of Comput. Sci. & Technol., Shandong Univ., Jinan, China
  • fYear
    2009
  • fDate
    11-13 Dec. 2009
  • Firstpage
    1
  • Lastpage
    5
  • Abstract
    In this paper, a method for analyzing workflow based on the restriction of limited resources is presented, which is expressed by Temporal Logic Action, after a brief review of TLA.
  • Keywords
    temporal logic; workflow management software; TLA; temporal logic action; workflow analysis; Algorithm design and analysis; Computer science; Insurance; Logic; Modeling; Reactive power; Real time systems; Research and development; Specification languages; System recovery;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
  • Conference_Location
    Wuhan
  • Print_ISBN
    978-1-4244-4507-3
  • Electronic_ISBN
    978-1-4244-4507-3
  • Type

    conf

  • DOI
    10.1109/CISE.2009.5365546
  • Filename
    5365546
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2853483