首页
|
本学科首页
官方微博
|
高级检索
全部学科
医药、卫生
生物科学
工业技术
交通运输
航空、航天
环境科学、安全科学
自然科学总论
数理科学和化学
天文学、地球科学
农业科学
哲学、宗教
社会科学总论
政治、法律
军事
经济
历史、地理
语言、文字
文学
艺术
文化、科学、教育、体育
马列毛邓
全部专业
中文标题
英文标题
中文关键词
英文关键词
中文摘要
英文摘要
作者中文名
作者英文名
单位中文名
单位英文名
基金中文名
基金英文名
杂志中文名
杂志英文名
栏目中文名
栏目英文名
DOI
责任编辑
分类号
杂志ISSN号
一种基于Petri网的软件定义构造方法
*
作者姓名:
何志均
应晶
吴朝晖
高济
作者单位:
浙江大学人工智能研究所杭州310027;浙江大学人工智能研究所杭州310027;浙江大学人工智能研究所杭州310027;浙江大学人工智能研究所杭州310027
基金项目:
本文研究得到国家863高科技项目基金资助.
摘 要:
本文描述一种支持MHSC方法论的软件需求定义构造的Petri网方法.基于提供的需求描述模型,可形成Petri网表达的软件定义结构,通过变换与求精方法,逐步生成实现层的功能模型.利用支持不同粒度功能模拟的仿真机制对定义进行证实与验证.论文提出一种新的定义框架,并为软件自动生成的研究从定义层的描述机制出发提供一种新思路.
关 键 词:
Petri网,软件定义,高层构造.
收稿时间:
1996-01-08
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页
|
免责声明
|
关于勤云
|
加入收藏
Copyright
©
北京勤云科技发展有限公司
京ICP备09084417号