Advanced Client-service Compatibility Assessment via Analysis of References to Service-side FSMs
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.
SOA formal verification compatibility domain-specific language service-side FSM
Aurelio Akira Mello Matsui Hitoshi Aida
Department of Electrical Engineering and Information Systems University of Tokyo Tokyo, Japan
国际会议
2011 International Conference on Information and Computer Networks(ICICN 2011)(2011年信息与计算机网络国际会议)
贵阳
英文
69-77
2011-01-26（万方平台首次上网日期，不代表论文的发表时间）