【摘 要】
：
异常处理的可终止性是确保其正确性的重要基础,而现有面向服务软件中异常处理逻辑复杂度高,导致难以为其构建支持可终止性分析的模型。本文基于着色Petri网构建了面向服
【机 构】
：
武汉大学软件工程国家重点实验室 武汉 430072
【出 处】
：
2012年第三届中国计算机学会服务计算学术会议
论文部分内容阅读
异常处理的可终止性是确保其正确性的重要基础,而现有面向服务软件中异常处理逻辑复杂度高,导致难以为其构建支持可终止性分析的模型。本文基于着色Petri网构建了面向服务软件中异常处理逻辑模型(Exception Handling Logic Model for Termination Analysis,TA-EHLM),能为可终止性分析提供有效支持。为了建立该模型,提出了面向服务软件中异常处理的建模方法,给出了其形式化语义模型；根据该语义模型建模方法及模块组合思想,通过组合多个异常处理逻辑模块和正常业务逻辑模块,形成了TA-EHLM模型。并在此基础上,分析和检测了异常处理可终止性,结果说明了该模型的有效性。
其他文献
在动态、异构和自治的互联网环境中，对WEB服务组合的形式化分析与验证是保证面向服务计算软件应用实时可性的有效途径，寻找有效的形式化分析的方法和工具是热点领域。现有
5月8日,中国太平洋保险(集团)股份有限公司董事长王国良在上海市医疗急救中心举行的“太平洋保险向上海市卫生系统提供保险保障协议签字仪式”上宣布,代表太平洋保险全体员
在各种网络交换技术中，标签交换技术具有更快的速度。但受其自身因素的限制，标签交换过程中面临各种网络攻击的威胁。本文将来自不同源但有着相同目的的虚拟电路合并技术引
论著页实验性抓乙醇中毒时肾上腺皮质功能与肝混合功能氧化酶活性的某些关系···························……(1)对硫磷抑制Ca.‘认TPase的动力
将对天津市床单一厂印染车间211名工人及就业前933名人员的内科查体及血象检查(异常指标:血小板每立方毫米少于10万;血血球:每立方毫米少于4000;血色素:少于10克％)报告如下:
目的 研究细粒棘球绦虫cAMP依赖性蛋白激酶A(EgPKA)基因的生物信息学特征,分析其重组蛋白的免疫反应性.方法 利用细粒棘球绦虫全基因组测序数据设计特异性引物扩增EgPKA基因
2015-2018年按照全国食品安全风险监测鞍山地区的监测计划采集鞍山市四区三县市售海鱼样本,采用直接解剖法检测异尖线虫,对检出线虫进行分离鉴别.共采集海鱼样品60份12种303
“安全性、可控性、高效性”是网络发展至今所面临的重大课题，是网络进一步发展必然要解决的关键问题。本文从内网结构入手、对入侵检测手段和方法、主机隔离技术等方面进
数据服务为跨域数据集成提供了虚拟数据层，并且通过组合方式支持用户定义嵌套关系的视图。然而，当底层的数据服务输出的关系中的元组发生更新时，该更新需要自下而上经过多个