Title :
Advanced client-service compatibility assessment via analysis of references to service-side FSMs
Author :
Matsui, Aurelio Akira Mello ; Aida, Hitoshi
Author_Institution :
Dept. of Electr. Eng. & Inf. Syst., Univ. of Tokyo, Tokyo, Japan
Abstract :
In a service oriented environment, service contracts play an important role to provide interoperation between clients and services. As contracts are the de facto insulation layer between clients and services, we argue that contracts should not only present specifications of method formats, but also pre and post-conditions that could provide more sophisticated client-service interactions. We have proposed that service contracts should contain specifications of service-side finite state machines (FSM). The immediate benefits of pre and post-conditions in distributed services are less defensive source codes in both sides, and avoidance to execute remote service with invalid parameters, which translates into rationalization of resources. But we argue that FSMs can also be used to provide client-service synchronization and advanced compatibility assessment, if the client source code is specially prepared to support these features. In other words, if the client source code contains constructs that are specific to deal with distributed services that follow this format. In this paper, we provide a framework for such extensions and present details about our implementation.
Keywords :
Web services; client-server systems; finite state machines; service-oriented architecture; source coding; client source code; client-service compatibility assessment; client-service synchronization; de facto insulation layer; distributed services; finite state machines; service contracts; service oriented architecture; SOA; compatibility; domain-specific language; formal verification; service-side FSM;
Conference_Titel :
Communication Software and Networks (ICCSN), 2011 IEEE 3rd International Conference on
Conference_Location :
Xi´an
Print_ISBN :
978-1-61284-485-5
DOI :
10.1109/ICCSN.2011.6014007