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

A Modeling Approach for Exception Handling in Service-Oriented Software

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

机构地区：[1]武汉大学软件工程国家重点实验室,武汉430072 [2]广西财经学院信息与统计学院,南宁530003 [3]第二炮兵指挥学院三系,武汉430012

出　　处：《西安交通大学学报》2013年第4期118-124,共7页Journal of Xi'an Jiaotong University

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

摘　　要：针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持。Aiming at the difficulty of modeling exception in service-oriented software,a formal modeling approach is proposed to solve the problem based on colored Petri nets（CPN）.With the proposed approach,exception handling constructs in service-oriented software are modeled to cover exception throwing,capturing,handling,return and propagation.Then,the formal semantics are specified for the hierarchical models of exception handling constructs to describe the exception handling process clearly.A case study is given to verify the effectiveness and soundness of the proposed modeling approach.The results show that the approach can fully take advantage of modeling capabilities of colored Petri net for hierarchy and data type to effectively model data flow and control flow in a service-oriented software,to establish a hierarchical model of exception handling in large-scale service-oriented software,and to provide support for the analysis and verification of properties relating to exception handling.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]