计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
9期
119-125
,共7页
王志坚%李雯睿%杨种学%张鹏程
王誌堅%李雯睿%楊種學%張鵬程
왕지견%리문예%양충학%장붕정
模态顺序图%Web服务组合%模型检验
模態順序圖%Web服務組閤%模型檢驗
모태순서도%Web복무조합%모형검험
手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法.如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题.鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义.以Web服务组合OJA为实例,使用uMSD来图形化地表示组合服务的时态性质,展示了uMSD的可行性.实验分析表明,该验证方法能够有效地检测组合服务中的逻辑错误.
手工分析組閤服務相噹睏難和耗時,為此提齣瞭一種基于uMSD的Web服務組閤的模型檢驗方法.如何簡單和直觀地錶示Web服務組閤的時態性質是該方法的關鍵問題.鑒于uMSD在簡單性和錶達力之間找到瞭一箇平衡點,定義瞭uMSD的形式語法和語義.以Web服務組閤OJA為實例,使用uMSD來圖形化地錶示組閤服務的時態性質,展示瞭uMSD的可行性.實驗分析錶明,該驗證方法能夠有效地檢測組閤服務中的邏輯錯誤.
수공분석조합복무상당곤난화모시,위차제출료일충기우uMSD적Web복무조합적모형검험방법.여하간단화직관지표시Web복무조합적시태성질시해방법적관건문제.감우uMSD재간단성화표체력지간조도료일개평형점,정의료uMSD적형식어법화어의.이Web복무조합OJA위실례,사용uMSD래도형화지표시조합복무적시태성질,전시료uMSD적가행성.실험분석표명,해험증방법능구유효지검측조합복무중적라집착오.
