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
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;
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
DOI :
10.1109/TASE.2009.27
