Title :
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System
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, 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 :
Web services; communicating sequential processes; formal verification; operating systems (computers); CSP method; Web service oriented system; deadlock prevention solutions; distributed systems; formal modeling; formal verifications; Computer architecture; Conferences; Electrical equipment industry; Internet; Mechanical factors; Resource management; Software engineering; System recovery; Systems engineering and theory; Web services; CSP Method; Deadlock; Shared Web Resources; Web Environment;
Conference_Titel :
Engineering of Computer Based Systems (ECBS), 2010 17th IEEE International Conference and Workshops on
Conference_Location :
Oxford
Print_ISBN :
978-1-4244-6537-8
Electronic_ISBN :
978-1-4244-6538-5
DOI :
10.1109/ECBS.2010.48
