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

摘要：

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

关键词：面向服务软件、异常处理、形式化建模、建模方法

所属期刊栏目：47

分类号：TP311(计算技术、计算机技术)

资助基金：国家"九七三"重点基础研究发展规划资助项目2007CB310800;国家自然科学基础重点资助项目91118003,61272113,61272108;国家自然科学基金资助项目61070012,61170022

在线出版日期：2013-07-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：118-124