计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2012年
10期
111-114
,共4页
有界模型检测%服务组合%线性时态逻辑%适定性问题
有界模型檢測%服務組閤%線性時態邏輯%適定性問題
유계모형검측%복무조합%선성시태라집%괄정성문제
大规模服务自动组合问题是Web Service技术的主要瓶颈.传统的服务组合技术灵活性差并且适用的服务规模有限.在用有限状态自动描述机服务的输入、输出、操作等活动的基础上,提出用有界模型检测技术对大规模服务进行建模,将用户请求翻译为线性时态逻辑公式,采用适定性问题求解技术快速求解限定长度的服务组合解.实验结果表明有界模型检测技术应用在自动服务组合中是可行的.
大規模服務自動組閤問題是Web Service技術的主要瓶頸.傳統的服務組閤技術靈活性差併且適用的服務規模有限.在用有限狀態自動描述機服務的輸入、輸齣、操作等活動的基礎上,提齣用有界模型檢測技術對大規模服務進行建模,將用戶請求翻譯為線性時態邏輯公式,採用適定性問題求解技術快速求解限定長度的服務組閤解.實驗結果錶明有界模型檢測技術應用在自動服務組閤中是可行的.
대규모복무자동조합문제시Web Service기술적주요병경.전통적복무조합기술령활성차병차괄용적복무규모유한.재용유한상태자동묘술궤복무적수입、수출、조작등활동적기출상,제출용유계모형검측기술대대규모복무진행건모,장용호청구번역위선성시태라집공식,채용괄정성문제구해기술쾌속구해한정장도적복무조합해.실험결과표명유계모형검측기술응용재자동복무조합중시가행적.