Model checking technologies for Web services

Recent research surrounding Web services has introduced a new software development paradigm, service-oriented architecture (SOA). SOA allows rapid service composition and service dynamic reconfiguration. The efficiency and effectiveness of SOA in software development puts accordingly heavy demands for validation, verification, and evaluation on Web services. In answering various verification demands, novel model checking technologies have been devised for and applied to Web services. This paper surveys existing technologies and discusses the rationale underlying them. Different rationale shape diverse visions toward Web services, which in turn shape correspondingly a variety of modeling, specification, and verification techniques