|
|||||
|
|
| 面向服务软件中异常处理的形式化建模方法 | |
| 引用本文： | 蒋曹清,应时,文静,贾向阳,王一兵.面向服务软件中异常处理的形式化建模方法[J].西安交通大学学报,2013,47(4):118-124. |
| 作者姓名： | 蒋曹清 应时 文静 贾向阳 王一兵 |
| 作者单位： | 1. 武汉大学软件工程国家重点实验室,430072,武汉;广西财经学院信息与统计学院,530003,南宁 2. 武汉大学软件工程国家重点实验室,430072,武汉 3. 第二炮兵指挥学院三系,430012,武汉 |
| 基金项目： | 国家"九七三"重点基础研究发展规划资助项目，国家自然科学基础重点资助项目，国家自然科学基金资助项目 |
| 摘 要： | 针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持。 |
| 关 键 词： | 面向服务软件 异常处理 形式化建模 建模方法 |
A Modeling Approach for Exception Handling in Service-Oriented Software |
|
| JIANG Caoqing , YING Shi , WEN Jing , JIA Xiangyang , WANG Yibing.A Modeling Approach for Exception Handling in Service-Oriented Software[J].Journal of Xi'an Jiaotong University,2013,47(4):118-124. | |
| Authors: | JIANG Caoqing YING Shi WEN Jing JIA Xiangyang WANG Yibing |
| Institution: | 1.State Key Laboratory of Software Engineering,Wuhan University,Wuhan 430072,China;2.College of Information and Statistics,Guangxi University of Financial and Economics,Nanning 530003,China;3.No.3 Department, The Second Artillery Command College,Wuhan 430012,China) |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |