Formal approaches to deadlock analysis in competitions of shared web resources

Ding Jieqi; Zhu Han; Zhu Huibiao; Li Qin

doi:10.1109/TASE.2009.27

Formal approaches to deadlock analysis in competitions of shared web resources

Ding Jieqi^*
, Zhu Han
, Zhu Huibiao
, Li Qin

^*Corresponding author for this work

Software Engineering Institute

East China Normal University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
Pages	327-328
Number of pages	2
DOIs	https://doi.org/10.1109/TASE.2009.27
State	Published - 2009
Event	2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 - Tianjin, China Duration: 29 Jul 2009 → 31 Jul 2009

Publication series

Name	Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

Conference

Conference	2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
Country/Territory	China
City	Tianjin
Period	29/07/09 → 31/07/09

Keywords

CSP
Deadlock
Shared web resources

Access to Document

10.1109/TASE.2009.27

Cite this

Jieqi, D., Han, Z., Huibiao, Z., & Qin, L. (2009). Formal approaches to deadlock analysis in competitions of shared web resources. In Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 (pp. 327-328). Article 5198534 (Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009). https://doi.org/10.1109/TASE.2009.27

@inproceedings{e63c27474afe49f0b235eaecd437f706,

title = "Formal approaches to deadlock analysis in competitions of shared web resources",

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 = "CSP, Deadlock, Shared web resources",

author = "Ding Jieqi and Zhu Han and Zhu Huibiao and Li Qin",

year = "2009",

doi = "10.1109/TASE.2009.27",

language = "英语",

isbn = "9780769537573",

series = "Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009",

pages = "327--328",

booktitle = "Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009",

note = "2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 ; Conference date: 29-07-2009 Through 31-07-2009",

}

Jieqi, D, Han, Z, Huibiao, Z & Qin, L 2009, Formal approaches to deadlock analysis in competitions of shared web resources. in Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009., 5198534, Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009, pp. 327-328, 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009, Tianjin, China, 29/07/09. https://doi.org/10.1109/TASE.2009.27

Formal approaches to deadlock analysis in competitions of shared web resources. / Jieqi, Ding; Han, Zhu; Huibiao, Zhu et al.
Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009. 2009. p. 327-328 5198534 (Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formal approaches to deadlock analysis in competitions of shared web resources

AU - Jieqi, Ding

AU - Han, Zhu

AU - Huibiao, Zhu

AU - Qin, Li

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - CSP

KW - Deadlock

KW - Shared web resources

UR - https://www.scopus.com/pages/publications/71049130174

U2 - 10.1109/TASE.2009.27

DO - 10.1109/TASE.2009.27

M3 - 会议稿件

AN - SCOPUS:71049130174

SN - 9780769537573

T3 - Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

SP - 327

EP - 328

BT - Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

T2 - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

Y2 - 29 July 2009 through 31 July 2009

ER -

Jieqi D, Han Z, Huibiao Z , Qin L. Formal approaches to deadlock analysis in competitions of shared web resources. In Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009. 2009. p. 327-328. 5198534. (Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009). doi: 10.1109/TASE.2009.27

Formal approaches to deadlock analysis in competitions of shared web resources

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this