【摘 要】
：
针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入
【机 构】
：
武汉大学软件工程国家重点实验室,广西财经学院信息与统计学院,第二炮兵指挥学院三系
【基金项目】
：
国家“九七三”重点基础研究发展规划资助项目(2007CB310800);国家自然科学基础重点资助项目(91118003,61272113,61272108);国家自然科学基金资助项目(61070012,61170022)
论文部分内容阅读
针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持。
其他文献
南极陨石不但是宝贵的科学研究资源,而且对探索和研究冰盖演化历史具有重要的指示作用。自1998年第15次南极科学考察以来,中国南极陨石搜集工作取得了重大突破,发现了一个陨
转眼间,中国农冃丰收节已经走过了三个年头。在成立之初,中国农民丰收节就曾引起多方关注,因为这是第一个在国家层面专门为农民设立的节曰。设立一个节曰,由中央政治局常委会
在分析国内外灾难搜救机器人研究现状的基础上，设计制作了一款探测、越障、智能控制探测车。介绍了探测车的组成和工作原理，同时运用UG软件及Adams软件对探测车进行三维建模、
基于现代设计方法和可靠性设计理论,建立了多目标约束优化数学模型,根据动态加速常数和速度自适应的改进粒子群算法（PSO）,用编写的程序代码实现了数学模型的数值化求解。同时研