[发明专利]基于面向对象Petri网的并发软件开发方法和系统无效
| 申请号： | 200910088870.8 | 申请日： | 2009-07-21 |
| 公开（公告）号： | CN101630253A | 公开（公告）日： | 2010-01-20 |
| 发明（设计）人： | 任爱华;牛锦中;丛佩政;于秀宾;原攀峰 | 申请（专利权）人： | 任爱华 |
| 主分类号： | G06F9/44 | 分类号： | G06F9/44;G06F9/455 |
| 代理公司： | 北京中原华和知识产权代理有限责任公司 | 代理人： | 寿 宁;张华辉 |
| 地址： | 100191北京市海*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明是有关于一种基于面向对象Petri网的并发软件开发方法和系统，该方法包括：对于待描述的并发系统，根据用户需求，创建OOPN模型系统；对已建立的OOPN模型系统进行死锁检测分析；对已建立的OOPN模型系统进行模型转化；对转化后的OOPN模型系统进行定制代码；对转化及定制后生成的OOPN模型系统代码进行编译及语法检测；以及对已建立的OOPN模型系统进行系统仿真。该系统包括建模模块、死锁检测模块、代码转换模块、编译模块、OOPN代码库以及仿真模块。本发明以图形方式描述并发系统的不同需求，可自动生成并发系统控制程序，降低开发成本。 | ||
| 搜索关键词： | 基于 面向 对象 petri 并发 软件 开发 方法 系统 | ||
【主权项】：
1、一种基于面向对象Perti网的并发软件开发方法，其特征在于其包括以下步骤：步骤(10)：对于待描述的并发系统，根据用户需求，创建OOPN模型系统；步骤(20)：对已建立的OOPN模型系统进行死锁检测分析；步骤(30)：对已建立的OOPN模型系统进行模型转化；步骤(40)：对转化后的OOPN模型系统进行定制代码；步骤(50)：对转化及定制后生成的OOPN模型系统代码进行编译及语法检测；以及步骤(60)：对已建立的OOPN模型系统进行系统仿真。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于任爱华，未经任爱华许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200910088870.8/，转载请声明来源钻瓜专利网。
- 上一篇：一种用于热轧带钢生产线的冷却设备
- 下一篇：吸入式收尘和除渣装置
