Runtime verification of composite Web services
Software industry is moving into distributive and collaborative problem-solving, which is made possible by the vast and quickly-growing technologies of web- and grid-service architectures. Service oriented refers to an architecture where applications are composed of services made available over the internet. Services developed at one institution can be used by other institutions. An example is the NSF-sponsored geoinformatics grid Geoscience Network (GEON). ^ Ensuring the quality of services in distributed software architectures is difficult. Runtime verification provides a way of assessing the quality of a software system, in particular the service currently in use. By ensuring that certain software properties are satisfied during the execution of the service helps ensure the quality of the service used. Runtime verification is a fine approach for assuring the quality of web services. ^ This thesis describes the application of an existing runtime monitoring system, ReqMon, to the problem of monitoring service quality for geoinformatics grid services. The main focus in this thesis is on the timeout property of services to ensure completion of composite services.^
John, Sheline Anna, "Runtime verification of composite Web services" (2008). ETD Collection for University of Texas, El Paso. AAI1453803.