Title :
Model checking technologies for Web services
Author :
Huang, Hai ; Mason, Rick A.
Author_Institution :
Component Autom. Syst., Intel Corp., Santa Clara, CA
Abstract :
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
Keywords :
Internet; formal specification; formal verification; software performance evaluation; Web service composition; Web service evaluation; Web service specification; Web service validation; Web service verification; model checking technology; service dynamic reconfiguration; service-oriented architecture; software development; Communication standards; Conferences; Mathematical model; Object oriented modeling; Programming; Service oriented architecture; Shape; Simple object access protocol; Web services; XML;
Conference_Titel :
Software Technologies for Future Embedded and Ubiquitous Systems, 2006 and the 2006 Second International Workshop on Collaborative Computing, Integration, and Assurance. SEUS 2006/WCCIA 2006. The Fourth IEEE Workshop on
Conference_Location :
Gyeongju
Print_ISBN :
0-7695-2560-1
DOI :
10.1109/SEUS-WCCIA.2006.29
