基于EHA的异常处理模型检验方法

摘要：

本文提出在整个Java程序开发链中通过使用UML Statecharts对异常处理建模,对Statechart进行模型检验,完成代码生成.首先将Statecharts转换为EHA,然后给出其操作语义,根据操作语义映射到一个自动机.使用基于自动机理论的模型检验方法来验证基于EHA的异常处理模型是否满足某些关键性质,最后自动产生相关代码.

关键词：异常处理、模型检验、EHA

所属期刊栏目：35

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

资助基金：海南省教育厅高校科研项目Hjkj200603

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

页数：共3页

页码：280-282