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. © 2006 IEEE.
Cite
CITATION STYLE
Huang, H., & Mason, R. A. (2006). Model checking technologies for web services. In Proc. - The Fourth IEEE Workshop on Software Technol. for Future Embedded and Ubiquitous Syst., SEUS 2006 andthe Second Int. Workshop on Collaborative Comput., Integr., and Assur., WCCIA 2006 (Vol. 2006, pp. 217–222). https://doi.org/10.1109/SEUS-WCCIA.2006.29
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
