面向服务软件中异常处理的形式化建模方法

• 作者: 应时 文静 王一兵 蒋曹清 贾向阳
• 来源期刊: 西安交通大学学报
• 关键词: 面向服务软件 异常处理 形式化建模 建模方法
• 年，卷（期）: 2013,（4）
• 页码范围: 118-124
• 页数: 7页
• 分类号: TP311
• 语种: 中文
• DOI: 10.7652/xjtuxb201304020

摘要

针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法.该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程.结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	应时	武汉大学软件工程国家重点实验室	100	849	10.0	26.0
2	文静	武汉大学软件工程国家重点实验室	22	159	7.0	12.0
3	蒋曹清	武汉大学软件工程国家重点实验室	9	38	4.0	5.0
7	贾向阳	武汉大学软件工程国家重点实验室	27	115	6.0	8.0
8	王一兵	第二炮兵指挥学院三系	5	27	3.0	5.0