【摘 要】
：
统一建模语言(UML)是业界公认的主流面向对象建模语言,为系统开发提供了丰富的建模元素。由于UML不同建模元素之间缺乏准确定义的关系,因此UML模型往往会出现不一致性问题。
【基金项目】
：
国家自然科学基金资助项目(编号:60573096)
论文部分内容阅读
统一建模语言(UML)是业界公认的主流面向对象建模语言,为系统开发提供了丰富的建模元素。由于UML不同建模元素之间缺乏准确定义的关系,因此UML模型往往会出现不一致性问题。针对该问题,提出了一种基于规则的检验方法。该方法把UML设计模型和一致性条件分别映射为规则系统的事实库和规则库,如果事实库与规则库不匹配,则表示设计模型中存在不一致性。我们使用自主开发的一种“面向对象-规则语言系统”作为检验一致性的规则系统,它集成了面向对象语言和规则语言两种范型,有利于统一使用C++语言来设计并实现一致性检验工具,提高一致性检验效率。
其他文献
<正> 财政专项结转资金,是指财政已作安排,但当年没有支出,可以结转下年继续使用的资金。按理,在当前财政资金供需矛盾突出的情况下,这项结转资金应当是很有限的,然而实际情
药物研发具有费用高、周期长和风险大的特点。而以往的新药研发决策往往没有将新药的特点和市场信息结合起来进行考量,这就使企业的新药研发决策存在着很大的不确定性。如果
选择具有典型代表性的苏北沿海城市公园——连云港苍梧绿园,通过野外踏查公园内现有的树种组成、群落配置、林相结构、景观特征等,在对调查结果进行分析的基础上,建立绿化树
【主持人语】在北宋五子中,后学最盛者当推二程兄弟。正是通过程门弟子,洛学在北宋中末期至南宋这一宋明理学最为重要的传播期,成为一些基于不同依据划分的许多学派的重要母
目的:探讨冠心病稳定型心绞痛(SAP)患者基质金属蛋白酶-9(MMP-9)、可溶性E选择素(sE-se-lectin)及组织型纤溶酶原激活物抑制剂-1(tPAI-1)表达变化。方法:采用液相芯片分析系
本文着重介绍了国内外高级机器人的发展趋势，讨论了发展智能机器人技术的对策，有助于对机器人的现状和未来发展的进一步了解
增值税是我国税收中最大的收入来源,其转型和改革会给我国社会的经济生活带来广泛和重要的影响,对煤炭企业来说,更是探讨的热点问题。下面本文主要从增值税进行转型的具体意
目前,在大学英语教学中存在着中国文化失语现象。教师在传授英语知识的同时,把语言所承载的英语文化等一并传授而无视中国文化。这种名副其实的英语语言文化教学使中国学生在
<正>日本学者唐五代汉藏对音译音研究,高田时雄《敦煌资料にょる中国语史の研究》(简称《语史》,创文社,1988)有所提及,有:羽田亨《汉番对音千字文の断简》(《东洋学报》13:3
目的:就近几年对原发性骨质疏松症有关致病基因研究进行总结。资料来源:检索Medline1998-01/2004-05关于原发性骨质疏松症与候选基因多态性的关系的相关文章,检索词为“osteo