小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2007年
4期
742-747
,共6页
于守健%李卫民%吴国文%乐嘉锦
于守健%李衛民%吳國文%樂嘉錦
우수건%리위민%오국문%악가금
业务流程%Web服务组合%有限状态自动机%BPEL
業務流程%Web服務組閤%有限狀態自動機%BPEL
업무류정%Web복무조합%유한상태자동궤%BPEL
提出了一个基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统.
提齣瞭一箇基于有限狀態自動機的Web服務自動組閤方法,該方法能夠自動實現BPEL中抽象業務流程與Web服務的綁定.以有限狀態自動機模型形式化地定義瞭業務流程的外模式和內模式,將Web服務組閤問題轉化為有限狀態自動機問題.利用有限狀態自動機的笛卡兒積運算,得齣瞭組閤服務存在性的判定依據,進一步給齣瞭組閤服務的計算方法,設計併實現瞭一箇縯示繫統.
제출료일개기우유한상태자동궤적Web복무자동조합방법,해방법능구자동실현BPEL중추상업무류정여Web복무적방정.이유한상태자동궤모형형식화지정의료업무류정적외모식화내모식,장Web복무조합문제전화위유한상태자동궤문제.이용유한상태자동궤적적잡인적운산,득출료조합복무존재성적판정의거,진일보급출료조합복무적계산방법,설계병실현료일개연시계통.