【摘 要】
：
文中提出用层次着色Petri网和自顶向下、自底向上的结构化方法,对问题需求功能进行分解、组合的形式化模型。将整个系统按照需要实现的功能自顶向下层层分解,直到功能层次分
【基金项目】
：
国家自然科学基金项目(60463002);云南大学重点教改项目(WX070142)
论文部分内容阅读
文中提出用层次着色Petri网和自顶向下、自底向上的结构化方法,对问题需求功能进行分解、组合的形式化模型。将整个系统按照需要实现的功能自顶向下层层分解,直到功能层次分解树中树叶节点的功能可以通过三种基本功能结构实现为止,然后将这些基本功能结构自底向上层层组合,最终完成整个系统需求功能。该模型既有严格的数学基础,又有直观的图形表示,既表示了每一个需求的功能,又表示了父子需求的耦合接口,有利于系统分析人员和用户的理解、交流,为系统的可靠设计、开发提供了精确的形式化模型,减少需求表达的二义性。
其他文献
7542是勐海茶厂30多年延续不断生产的常规性产品,我们现在还能够寻找到不同时期的7542,在时间维度上看生茶在后发酵历程上的不同变化,让现在存茶的人看到所存的茶在未来发展
基于彝族服饰的款式、色彩、装饰与纹样、面料、工艺五个方面的符号构成,从符号语义的角度分析,彝族服饰具有指示性语义和社会文化语义双重语义功能,指示着人们性别、年龄、
<正>最近几年来,中国文坛特别引人注目的文学现象之一,就是所谓非虚构文学的异军崛起。说到非虚构文学,必然面临的一个问题,恐怕就是非虚构文学与报告文学这两个文学概念之间
<正>北大荒第一代作家中,郑加真虽然不是作品最先引起轰动的作家,但他是涉猎体裁最广、数量最多、被读者长久关注的元老级作家。他的纪实文学代表作《黑龙江省志·国营农场志
茶叶是我国传统的出口产品,自20世纪90年代以来,中国茶叶的国际竞争力不断下降。文章运用FAO的统计资料,选择国际市场占有率、显示性比较优势、单产评价等指标,分析了中国、
目前我国室内空气污染最主要的原因是室内装修。预防、控制装饰污染引起的室内空气污染应该从装修前和装修后两个阶段来考虑。提出了具体的措施。
本文简述了目前动态称重采用的几种方法的优缺点,详细分析了汽车动态称重信号的频谱特性,提出速度对低通数字滤波的截止频率参数选择的影响。并在此基础上,使用二分梯形法改
政府购买社会服务已成为世界性潮流与制度性安排,学界对这一问题的研究多侧重于概念界定、理论基础,以及模式、机制、范围、风险和评估等问题。未来研究还需要从以下几方面入
改革开放以来,尤其是近十多年来,南宁市城镇化取得了很大的成效,如城镇化进程加快发展,城市发展空间进一步拓展,城镇规模、发展方式更趋合理,城乡公共服务进一步完善。但同时
《灵枢·百病始生》:"积之始生,得寒乃生,厥乃成积也。"《素问·举痛论》:"寒气客于小肠募原之间,络血之中,血泣不得注于大经,血气稽留不得行,故宿昔而成积矣。"《素问·至真