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

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2025-07-09

- 面向服务软件中异常处理的形式化建模方法
- Issue 4, Pages: 118-124(2013)
- 作者机构：
  
  1. 武汉大学软件工程国家重点实验室
  2. 广西财经学院信息与统计学院
  3. 第二炮兵指挥学院三系
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311.52
- Published：2013
- 稿件说明：
移动端阅览
[J]. 2013, (4): 118-124.
DOI：

[J]. 2013, (4): 118-124. 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.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

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

Influence of Structural Parameters on the Summer Operational Characteristics of a Three-Tower-in-One Indirect Air-Cooling System

Study on the Thermodynamic Properties in the Anomalous Region of Supercritical Water

A Fast Calculation Method for Thermal Flow Fields in Transformer Windings Based on PI-DeepONet

Effects of Steam Addition on the Swirl Combustion and Emission Characteristics of Cracked Ammonia

Related Author

陈峰

李伟华

陈昊

吕正

Related Institution

西北工业大学计算机学院

西北大学信息科学与技术学院

⁰