计算机科学 ›› 2008, Vol. 35 ›› Issue (4): 280-282.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: 本文提出在整个Java程序开发链中通过使用UML Statecharts对异常处理建模,对Statechart进行模型检验,完成代码生成。首先将Statecharts转换为EHA,然后给出其操作语义,根据操作语义映射到一个自动机。使用基于自动机理论的模型检验方法来验证基于EHA的异常处理模型是否满足某些关键性质,最后自动产生相关代码。
关键词: 异常处理 模型检验 EHA
Abstract: This paper proposes an approach of handling exception throughout the entire development chain of Java programs by modeling exception handling in the UML statechart model, then model checking statecharts and utilizing automatic code generators for implemen
Key words: Exception handling,Model checking,EHA
. 基于EHA的异常处理模型检验方法[J]. 计算机科学, 2008, 35(4): 280-282. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I4/280
Cited