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

蒋曹清; 应时; 文静; 贾向阳; 王一兵

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2025-07-09

- 面向服务软件中异常处理的形式化建模方法
- 暂无标题
- 西安交通大学学报 2013年第4期页码：118-124
- 作者机构：
  
  1. 武汉大学软件工程国家重点实验室
  2. 广西财经学院信息与统计学院
  3. 第二炮兵指挥学院三系
- 作者简介：
- 基金信息：
  
  国家“九七三”重点基础研究发展规划资助项目(2007CB310800);国家自然科学基础重点资助项目(91118003,61272113,61272108);国家自然科学基金资助项目(61070012,61170022)
- DOI：
  中图分类号： TP311.52
- 纸质出版：2013
- 稿件说明：
移动端阅览
蒋曹清, 应时, 文静, 等. 面向服务软件中异常处理的形式化建模方法[J]. 西安交通大学学报, 2013,(4):118-124.
蒋曹清, 应时, 文静, 等. 面向服务软件中异常处理的形式化建模方法[J]. 西安交通大学学报, 2013,(4):118-124. DOI：

DOI：

摘要

针对面向服务软件中异常处理难以建模的问题

基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模

给出了各成分的层次化的形式语义模型

来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证

结果表明

所提方法能够充分利用着色Petri网的层次和数据类型的建模能力

为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模

为异常处理性质的分析与验证提供支持。

Abstract

关键词

Keywords

references

蒋曹清,应时,文静,贾向阳,管华.面向服务软件异常处理过程的可终止性验证[J].计算机科学与探索,2012(03).

门鹏,段振华.基于着色Petri网的BPEL建模与验证[J].西北大学学报(自然科学版),2007(06).

孙瑞志,史美林.工作流异常处理的形式描述[J].计算机研究与发展,2003(03).

舒斌,殷国富,戈鹏,龙红能.基于知识的敏捷工作流系统建模方法的研究[J].西安交通大学学报,2002(07).

Chun Ouyang,Eric Verbeek,Wil M.P. van der Aalst,Stephan Breutel,Marlon Dumas,Arthur H.M. ter Hofstede.Formal semantics and analysis of control flow in WS-BPEL[J].Science of Computer Programming,2007(2).

Kurt Jensen,Lars Michael Kristensen,Lisa Wells.Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.[J].STTT,2007.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

采用模型检测器的软件安全模型验证方法

混合电解槽阵列协同的风光耦合制氢系统双层多目标优化

离子液体改性燃料的电流体动力学效应研究

隧道内燃料电池汽车氢气泄漏扩散特性及影响因素

语义区分和子图整合驱动的知识图谱表示学习方法