论文部分内容阅读
描述了系统需求元模型的概念体系,提出了系统需求元模型的内容,描述了系统需求定义与分析的流程,最后采用了一种层次描述法与Petri网描述法相结合的形式化描述方法对系统需求的结果进行描述。
工作流理论中系统需求模型及其形式化描述
【摘 要】
：
描述了系统需求元模型的概念体系,提出了系统需求元模型的内容,描述了系统需求定义与分析的流程,最后采用了一种层次描述法与Petri网描述法相结合的形式化描述方法对系统需求的结果进行描述。
【机 构】
：
武汉大学空间信息与数字工程研究中心
【出 处】
：
武汉大学学报(信息科学版)
【发表日期】
：
2005年03期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
通过对各种时空数据模型和时空推理模型的比较,把面向对象技术与实际生产需要相结合,构造了基于超图理论的时空数据模型和时空推理模型,并将该模型应用到云南省红河州数字烟草系统对地块的管理中。实践证明,该时空推理模型实现了时空一体化,具有完整的时空内涵。
主要介绍了微孔二氧化硅的制备方法,分析并与常规大孔二氧化硅进行了对比,表明微孔二氧化硅应用在UV固化涂料、喷墨打印以及塑料薄膜等领域时,更具优势。
本文针对目前中医证候量表研制过程中存在的关键问题如概念界定、理论框架构建、条目量化分级及统计学方法运用等,提出在明确证候诊断、证候评价、疾病诊断三者之间区别的基
介绍了煤化工产业存在的环境问题,详细分析了煤化工和石油化工产品在组分组成、工艺途径及治理设备工艺材料适应性3方面的差异,对当前有机物气体排放限值严苛条件下,煤化工有
目的:探讨早期运动康复护理干预对经皮冠状动脉介入术(PCI)后患者心功能及生活质量的影响。方法:将2016年2月~2017年2月在我院接受PCI治疗的98例冠心病患者随机等分成观察组
20世纪初表现主义建筑在对玻璃的使用上呈现出独特的魅力。布鲁诺.陶特作为当时柏林最主要的建筑师和建筑组织的创建者之一,他的作品展现了表现主义"玻璃"建筑最主要的特点。
提出了一种基于打印机模型和视觉模型的阶调误差扩散算法。这种基于模型的半色调方法是利用打印机的特征和人类的视觉特性使打印图像的质量达到最佳。为了保证根据阶调不同获得最优矩阵,使用基于人眼视觉模型的误差算法对半色调结果进行评价。
近年来,随着轻质油藏高压注空气技术成功地在美国进行商业化实施,注空气正作为有效的提高采收率被国内外学者广泛关注和研究。空气资源取之不尽用之不竭,可就地取材,价格低廉
介绍了不变矩的概念。结合实例,基于机载激光扫描测高的三维点云数据,用不变矩实现了规则房屋的模型重建。对不变矩重建房屋模型的精度进行了讨论和分析,得出了一些有益的结论。