小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2013年
3期
461-465
,共5页
黄贻望%何克清%李征%黄颖%袁科
黃貽望%何剋清%李徵%黃穎%袁科
황이망%하극청%리정%황영%원과
RGOWL-S%Pi演算%进程%RGPS
RGOWL-S%Pi縯算%進程%RGPS
RGOWL-S%Pi연산%진정%RGPS
在动态、异构和自治的互联网服务环境中,对WEB服务组合的形式化分析与验证是保证按需服务应用的有效途径,寻找有效的形式化分析方法和工具是热点领域.针对现有研究主要是集中于服务组合流程和静态结构方面,而在动态反映用户需求的服务组合及支持服务的动态耦合存在不足.本文从服务本体的语义层面,通过对OWL-S进行RGPS属性扩充,研究SOA架构模型映射到Pi演算的进程模型,对动态耦合的按需服务组合进行形式化分析并用Pi演算验证工具MWB进行验证.实验结果表明方法的可行性,为按需动态服务组合的有效性分析提供了一种验证方法.
在動態、異構和自治的互聯網服務環境中,對WEB服務組閤的形式化分析與驗證是保證按需服務應用的有效途徑,尋找有效的形式化分析方法和工具是熱點領域.針對現有研究主要是集中于服務組閤流程和靜態結構方麵,而在動態反映用戶需求的服務組閤及支持服務的動態耦閤存在不足.本文從服務本體的語義層麵,通過對OWL-S進行RGPS屬性擴充,研究SOA架構模型映射到Pi縯算的進程模型,對動態耦閤的按需服務組閤進行形式化分析併用Pi縯算驗證工具MWB進行驗證.實驗結果錶明方法的可行性,為按需動態服務組閤的有效性分析提供瞭一種驗證方法.
재동태、이구화자치적호련망복무배경중,대WEB복무조합적형식화분석여험증시보증안수복무응용적유효도경,심조유효적형식화분석방법화공구시열점영역.침대현유연구주요시집중우복무조합류정화정태결구방면,이재동태반영용호수구적복무조합급지지복무적동태우합존재불족.본문종복무본체적어의층면,통과대OWL-S진행RGPS속성확충,연구SOA가구모형영사도Pi연산적진정모형,대동태우합적안수복무조합진행형식화분석병용Pi연산험증공구MWB진행험증.실험결과표명방법적가행성,위안수동태복무조합적유효성분석제공료일충험증방법.