摘要
在软件方法学领域已有研究成果的基础上,提出了面向对象代数的Petri模型。该模型支持面向对象的概念,支持面向对象软件系统分析和建模,把代数理论、Petri理论以及面向对象方法和技术结合在一起,为形式化和智能化软件工程环境的建立提供了一种有效方法,提高了并发系统动态建模和复杂系统的高级建模的能力。
We present the Object-Oriented Algebraic Petri-Nets model（OOAPN） based on the achievements in software methodology. OOAPN supports the Object-Oriented concepts, the system analysis and modeling of Object-Oriented software. As a hybrid of algebraic and Petri-Nets theories and Object-Oriented technology, OOAPN proves to be a effective method in the development of formatting and intelligent software environments, it also enhances the abilities of dynamic modeling of concurrent systems and advanced modeling of complicated systems.
出处
《吉林大学学报（工学版）》
EI
CAS
CSCD
北大核心
2006年第3期382-386,共5页
Journal of Jilin University:Engineering and Technology Edition
基金
国家自然科学基金资助项目(60273080
60473003)
吉林省杰出青年基金资助项目(20030107)
