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

通知公告

交大新闻

过刊浏览

04 现在的位置：首页 > 期刊导读 > 2013 > 04 >

【作者】蒋曹清 [1,2] ; 应时 [1] ; 文静 [1] ; 贾向阳 [1] ; 王一兵 [3]

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

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

上一篇：二进制偏移载波最小均方误差预滤波无模糊跟踪方法
下一篇：一种采用神经网络PID控制的自适应资源分配方法

04 现在的位置：首页 > 期刊导读 > 2013 > 04 >

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

【作者】 蒋曹清 [1,2] ; 应时 [1] ; 文静 [1] ; 贾向阳 [1] ; 王一兵 [3]

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

【作者】蒋曹清 [1,2] ; 应时 [1] ; 文静 [1] ; 贾向阳 [1] ; 王一兵 [3]

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