计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2008年
6期
50-54
,共5页
Web服务%有色Petri网%自动Web服务合成%模型
Web服務%有色Petri網%自動Web服務閤成%模型
Web복무%유색Petri망%자동Web복무합성%모형
提出了一个基于有色Petri网的自动Web服务合成模型,为Web服务的合成提供语义支持,提高合成服务的可靠性和可维护性.该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构.给出了Web服务基于有色Petri网的形式化定义.定义了一个封闭的Web服务合成算法,通过算法获得的框架能够对Web服务进行说明性的合成.定义了一个自动Web服务合成算法,通过该算法,可以对Web服务进行有人工指导的半自动合成和无人工指导的自动合成.
提齣瞭一箇基于有色Petri網的自動Web服務閤成模型,為Web服務的閤成提供語義支持,提高閤成服務的可靠性和可維護性.該模型將服務的閤成結構分成順序、併髮、選擇、循環、置換5種閤成結構.給齣瞭Web服務基于有色Petri網的形式化定義.定義瞭一箇封閉的Web服務閤成算法,通過算法穫得的框架能夠對Web服務進行說明性的閤成.定義瞭一箇自動Web服務閤成算法,通過該算法,可以對Web服務進行有人工指導的半自動閤成和無人工指導的自動閤成.
제출료일개기우유색Petri망적자동Web복무합성모형,위Web복무적합성제공어의지지,제고합성복무적가고성화가유호성.해모형장복무적합성결구분성순서、병발、선택、순배、치환5충합성결구.급출료Web복무기우유색Petri망적형식화정의.정의료일개봉폐적Web복무합성산법,통과산법획득적광가능구대Web복무진행설명성적합성.정의료일개자동Web복무합성산법,통과해산법,가이대Web복무진행유인공지도적반자동합성화무인공지도적자동합성.
