关键词: 服务, 逆向设计, 消息状态树, 服务自动机

Abstract: In order to provide service which could be used by more requesters without dead-locks under the service-oriented architecture, a method based on a message state tree was proposed to realize the reverse design of services by interactive message sequences. During the service design process, a message state tree was generated by service designer according to specific methods. Then, an algorithm was introduced to realize the conversion from the tree to service automation and a method was presented to transform service automation into business process execution language. Thirdly, a service mapping algorithm was put forward to judge mapping of the service. Finally, the feasibility and complexity of the deadlock-free decision algorithm were analyzed. Also, an example of vending machine was used to illustrate how to design a universal service.

Key words: service, reverse design, message state tree, service automata, matching algorithm