软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2009年
12期
3101-3116
,共16页
李鑫%程渤%杨国纬%刘启和
李鑫%程渤%楊國緯%劉啟和
리흠%정발%양국위%류계화
简单服务事件语言%answerset编程%组合方案%组合轨迹%前序服务集%互斥约束
簡單服務事件語言%answerset編程%組閤方案%組閤軌跡%前序服務集%互斥約束
간단복무사건어언%answerset편정%조합방안%조합궤적%전서복무집%호척약속
simple event language for service%answer set programming%composite scheme%composite trajectory%preorder service set%mutually exclusive constraint
为获得一种既易于实现又能满足用户多样化需求的服务组合的有效途径,提出一种基于事件的服务组合方法.首先定义了一种基于ECA(event-condition-action)规则的语言--简单服务事件语言.在这种语言基础上,通过模块化方法构造的用于描述组合服务的组合方案,不但解决了采用AI规划(artificial intelligent planning)时服务组合域表示困难的问题,而且解决了采用UML(unified modeling language)等技术时描述能力不足的问题.随后,为有效地表示组合方案,完成了它的语义定义以及answer set程序编码工作.最后利用answer set编程(answer set programming)技术实现了对组合轨迹的表示.
為穫得一種既易于實現又能滿足用戶多樣化需求的服務組閤的有效途徑,提齣一種基于事件的服務組閤方法.首先定義瞭一種基于ECA(event-condition-action)規則的語言--簡單服務事件語言.在這種語言基礎上,通過模塊化方法構造的用于描述組閤服務的組閤方案,不但解決瞭採用AI規劃(artificial intelligent planning)時服務組閤域錶示睏難的問題,而且解決瞭採用UML(unified modeling language)等技術時描述能力不足的問題.隨後,為有效地錶示組閤方案,完成瞭它的語義定義以及answer set程序編碼工作.最後利用answer set編程(answer set programming)技術實現瞭對組閤軌跡的錶示.
위획득일충기역우실현우능만족용호다양화수구적복무조합적유효도경,제출일충기우사건적복무조합방법.수선정의료일충기우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.