Referenced Items are not available for this document.
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.
Published in:
Engineering of Computer Based Systems (ECBS), 2010 17th IEEE International Conference and Workshops on
Date of Conference: 22-26 March 2010
- Page(s):
- 335 - 343
- E-ISBN :
- 978-1-4244-6538-5
- Print ISBN:
- 978-1-4244-6537-8
- INSPEC Accession Number:
- 11284340
- Conference Location :
- Oxford
- Digital Object Identifier :
- 10.1109/ECBS.2010.48
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
