Model Checking Technologies for Web Services

  • Authors:

  • Hai Huang;Rick A. Mason

  • Affiliations:

  • Component Automation Systems, Intel Corp.;Component Automation Systems, Intel Corp.

  • Venue:
  • SEUS-WCCIA '06 Proceedings of the The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the Second International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06)
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

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.