作　　者： ; ; ; ;

机构地区： 电子科技大学计算机科学与工程学院

出　　处： 《软件学报》 2009年第12期3101-3116,共16页

摘　　要： 为获得一种既易于实现又能满足用户多样化需求的服务组合的有效途径,提出一种基于事件的服务组合方法.首先定义了一种基于ECA(event-condition-action)规则的语言——简单服务事件语言.在这种语言基础上,通过模块化方法构造的用于描述组合服务的组合方案,不但解决了采用AI规划(artificial intelligent planning)时服务组合域表示困难的问题,而且解决了采用UML(unified modeling language)等技术时描述能力不足的问题.随后,为有效地表示组合方案,完成了它的语义定义以及answer set程序编码工作.最后利用answer set编程(answer set programming)技术实现了对组合轨迹的表示. To obtain a service composition approach that satisfies the multiple requirements of users and can be easily realized, a novel method based on events is proposed in this paper. Firstly, a simple event language for services is introduced, which can be regarded as a language based on ECA （event-condition-action） rule. Secondly, a composite scheme that describes the composite services is constructed with the modularizing method based on the rule language. The scheme can not only solve the representation problem of services composition domain when adopting AI planning （artificial intelligent planning）, but also the insufficiency problem in description capability when the technologies such as UML （unified modeling language） are adopted. Thirdly, to effectively present the composite scheme, the paper accomplishes the scheme＇s semantics definition and codes the scheme with answer set programs. Finally, the ASP （answer set programming） technology is utilized to present the composite trajectory.

关 键 词： 简单服务事件语言 编程 组合方案 组合轨迹 前序服务集 互斥约束

领　　域： [自动化与计算机技术] [自动化与计算机技术]