Model checking technologies for Web services

Author

Huang, Hai ; Mason, Rick A.

Author_Institution

Component Autom. Syst., Intel Corp., Santa Clara, CA

fYear

2006

fDate

27-28 April 2006

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SEUS-WCCIA.2006.29

Filename

1611738