• DocumentCode
    2880400
  • Title

    Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources

  • Author

    Ding, Jieqi ; Zhu, Han ; Zhu, Huibiao ; Li, Qin

  • Author_Institution
    Software Eng. Inst., East China Normal Univ., Shanghai, China
  • fYear
    2009
  • fDate
    29-31 July 2009
  • Firstpage
    327
  • Lastpage
    328
  • Abstract
    Competitions of shared Web resources have been widely concerned today. Under the circumstances of networks, no central supervisor can be implemented, which makes it more complicated to avoid deadlock problems. This paper describes the interactions of Web services and shared web resources using CSP method. Deadlocks can be analyzed based on the formal model.
  • Keywords
    Web services; communicating sequential processes; concurrency control; program diagnostics; CSP method; Web service; deadlock analysis; formal approach; program tracing; shared Web resource competition; Centralized control; Environmental management; Formal verification; Internet; Research and development; Resource management; Silicon compounds; Software engineering; System recovery; Web services; CSP; Deadlock; Shared web resources;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on
  • Conference_Location
    Tianjin
  • Print_ISBN
    978-0-7695-3757-3
  • Type

    conf

  • DOI
    10.1109/TASE.2009.27
  • Filename
    5198534
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2880400