东南大学学报（自然科学版）
東南大學學報（自然科學版）
동남대학학보（자연과학판）
JOURNAL OF SOUTHEAST UNIVERSITY
2011年
2期
305-311
,共7页
Web组合服务%UML建模%模型验证%SPIN
Web組閤服務%UML建模%模型驗證%SPIN
Web조합복무%UML건모%모형험증%SPIN
为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为,并简单地考虑了BPEL中的异常处理机制.在此基础上,将模型转换为Promela程序,利用模型检测工具SPIN对服务组合流程相关属性进行验证.实例分析表明,基于UML顺序图的服务组合建模和验证方法是有效的.
為瞭更好地理解和分析Web組閤服務的過程及其相關屬性,針對箇體服務的WSDL文檔和服務組閤規約BPEL,提齣瞭基于UML的Web組閤服務建模和驗證方法.從服務的WSDL中提取消息、操作等基本元素,用類圖構建靜態模型,以便攷慮Web組閤服務數據相關屬性;用順序圖對業務流程構建動態模型,以形象易理解的方式刻畫組閤服務的行為,併簡單地攷慮瞭BPEL中的異常處理機製.在此基礎上,將模型轉換為Promela程序,利用模型檢測工具SPIN對服務組閤流程相關屬性進行驗證.實例分析錶明,基于UML順序圖的服務組閤建模和驗證方法是有效的.
위료경호지리해화분석Web조합복무적과정급기상관속성,침대개체복무적WSDL문당화복무조합규약BPEL,제출료기우UML적Web조합복무건모화험증방법.종복무적WSDL중제취소식、조작등기본원소,용류도구건정태모형,이편고필Web조합복무수거상관속성;용순서도대업무류정구건동태모형,이형상역리해적방식각화조합복무적행위,병간단지고필료BPEL중적이상처리궤제.재차기출상,장모형전환위Promela정서,이용모형검측공구SPIN대복무조합류정상관속성진행험증.실례분석표명,기우UML순서도적복무조합건모화험증방법시유효적.
