Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources

摘要：

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.

关键词： Deadlock Shared web resources CSP

作者: Jieqi Ding Han Zhu Huibiao Zhu Qin Li

作者单位: Software Engineering Institute, East China Normal University 3663 Zhongshan Road (North), Shanghai, China, 200062

会议类型: 国际会议

会议名称: Third International Symposium on Theoretical Aspects of Software Engineering TASE 2009(第三届软件工程理论国际研讨会)

会议地点: 天津

会议语种:英文

页码: 327-328

在线出版日期: 2009-07-29（万方平台首次上网日期，不代表论文的发表时间）