基于OOAPN模型的代码逆向生成*
2014-09-07李金友于江涛
通化师范学院学报 2014年2期
关键词:模型
李金友,于江涛
(通化师范学院计算机学院,吉林通化 134002)
Petri网(Petri Net)是一种高效的建模和分析工具,近年来得到了快速的发展.但是Petri网是一种纯理论工具,并不能适合所有领域的应用需求.很多学者针对不同领域的研究对象,提出了各种各样改进的Petri网理论.如近年来得到普遍应用的随机Petri网、着色 Petri网、模糊 Petri网、代数 Petri网、面向对象Petri网和面向对象代数Petri网模型等.
面向对象代数Petri网模型OOAPN(Object Oriented Petri Net)模型支持面向对象的概念,支持面向对象软件系统分析和建模,把代数理论、Petri理论以及面向对象方法和技术结合在一起,为形式化和智能化软件工程环境的建立提供了一种有效方法,可以提高并发系统动态建模和复杂系统的高级建模的能力,实现系统的动态建模和不确定建模,完善现有建模方法的不足.
1 OOAPN模型建模工具系统分析
OOAPN模型建模工具旨在为人们提供一套科学的工程化的软件开发工具系统,有效的管理分析、设计、编码和测试的全过程,生成高效、正确的代码.集成化思想与建模工具紧密地结合在一起,形成了具有强有力的逆向代码自动生成的可编程和测试的集成化建模工具.OOAPN建模工具主要作用有:一个具有专用资源和早期查错功能的交互式开发环境、对软件的开发和维护过程中的许多环节实现了自动化、通过一个强有力的图形接口,实现了直观的程序设计.
基于OOAPN模型的建模工具,提出了模型驱动模板MDT(Model Driven Template)设计模式.模型驱动模板MDT(Model Driven Template)设计模式主……
登录APP查看全文
