检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]清华大学国家CIMS工程技术研究中心,北京100084
出 处:《计算机集成制造系统》2010年第3期462-468,475,共8页Computer Integrated Manufacturing Systems
基 金:国家"十一五"科技支撑计划资助项目(2006BAH02A20;2008BAH24B01;2008BAH24B03);北京市自然科学基金资助项目(4082017);国家自然科学基金资助项目(60905041)~~
摘 要:在面向服务架构下,为了让更多的相关服务请求者使用用户设计的服务而不发生死锁,提出了一种基于消息状态树的方法,该方法由外部交互消息序列逆向设计无环有限次交互的服务。在设计服务时,首先由服务设计者按照一定的方法生成消息状态树,然后通过一个算法将该消息状态树转换为服务自动机,再将服务自动机自动转换成业务过程执行语言服务,并在最后给出了一个可供服务注册中心使用的服务匹配算法来进行服务匹配与否的判断,同时分析了该算法的可行性和复杂度。最后,以一个自动贩卖机为例,说明了如何使用该方法进行设计服务。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.
关 键 词:服务 逆向设计 消息状态树 服务自动机 匹配算法
分 类 号:TP311.51[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.38