摘要
为了提高软件开发的质量,尽量在编写代码和执行软件系统之前找出错误,减少软件开发的费用,在软件开发的过程中引入了既有形式化的描述方法又有图形表达能力的工具有色Petri网.在介绍了有色Petri网的形式化定义及其图形表示后,提出了引入有色Petri网后的软件开发框架,最后介绍了一个应用实例.
In order to improve the quality of software development, detect the errors before coding and implementing the system, and reduce the cost of software development, colored Petri nets, with the ability of formalization description and graphic expression is introduced into the software development. The definition of formalization and graphic expression of colored Petri nets is introduced first, then the frame of software development with the introduced colored Petri nets is put forward, and finally an application illustration is given.
出处
《兰州理工大学学报》
CAS
北大核心
2004年第3期88-91,共4页
Journal of Lanzhou University of Technology
基金
国家科技攻关项目(2001BA201A32)
关键词
有色PETRI网
软件开发
形式化描述
图形表达
colored Petri nets
software development
formalization description
graphic expression
