@inproceedings{35216cb20b164a38a5bd3e95ec6eacd1,
title = "Formal modeling and verifications of deadlock prevention solutions in web service oriented system",
abstract = "Competitions of shared web resources have been widely concerned today. Under the circumstances of networks, especially in distributed systems, central supervisor can hardly be implemented, which makes it more complicated to prevent deadlock problems. This paper describes the competitions of web services for shared web resources using CSP method. Deadlocks can be analyzed based on the formal model by means of the trace semantics. The capability of deadlock prevention solutions which have been applied in industry can be proved theoretically under this approach. Moreover, the FDR which is a model checking tool for CSP can be used to automate the verifications.",
keywords = "CSP method, Deadlock, Shared web resources, Web environment",
author = "Jieqi Ding and Han Zhu and Huibiao Zhu and Qin Li",
year = "2010",
doi = "10.1109/ECBS.2010.48",
language = "英语",
isbn = "9780769540054",
series = "17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010",
pages = "335--343",
booktitle = "17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010",
note = "17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010 ; Conference date: 22-03-2010 Through 26-03-2010",
}