面向可信的构件本体建模研究

来源 :南京大学学报:自然科学版 | 被引量 : 0次 | 上传用户:jianbin0703
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
构件可信度表示用户对软件构件信任的程度,其本质是构件的安全和时效问题.保证构件的可信必须有面向可信切实可行的构件建模方法和技术,目标是通过构件接口建模、协议建模、静态结构建模、动态行为建模等模型之间的一致性验证来保证构件的可信度.目前构件建模方法关于对象之间关系的概念存在着模糊性,为构件接口设计和构件复用带来隐患,直接影响了软件构件的可信度.因此将本体论引入构件建模,对构件对象的关系进行本体分析,目的在于为构件对象建立清晰、完整的本体模型,提供系统模型的一致性约束和正确性验证.
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
“少阳为枢”即少阳位于半表半里,阳气可出可入,为阳气运行的枢纽。颈部位于头和躯干的连结处,气血皆由此入头面,颈部经脉气血受阻或局部气血失调,均可致头痛。颈源性头痛的
2001年中国开始进行基础教育改革,2009年云南省开始使用新课程教材。新课程在课程理念、课程模式、内容目标和知识呈现等方面都发生了较大的变化,新课程的设置希望学生的科学
失眠症是一种以失眠为主的睡眠质量不满意的症状。中医称之为不寐、不得眠或不得卧。失眠症可引起患者焦虑、抑郁或恐惧,并导致精神活动效率下降,严重影响工作效率和生活质量,加
中生代是华北地台金矿床的最重要成矿时期,该时期的金矿床与煌斑岩和花岗岩类密切伴生.煌斑岩以富金和富LILE为特征,而花岗岩的金含量则甚低.金矿床的铅、氢、氧和硫同位素组
目的研究灵猫方对HepG2.2.15和HepAD38细胞cccDNA、pgRNA、sRNA和La-mRNA抑制作用,探讨灵猫方抗乙肝病毒(HBV)的作用机制。方法制备灵猫方水提物,500 mg/L和1 000 mg/L灵猫方
中国企业与美国、日本等发达国家的企业相比,无论在资金、规模,还是在技术、管理等方面都存在着明显差距.因此,中国企业从现在起应牢牢树立集群、联盟、供应链管理、信息化四
结合医学研究生教育的需求,文章系统介绍了生物样本库的概念和应用,生物样本库在研究生培养中面临的问题和对策,生物样本库在医学研究生复合型人才培养中的效果。生物样本库
第二次世界大战后,上海,这座远东第一城,曾经纸醉金迷的繁华盛景早已被颓唐破败的城市景象所冲淡。八年战争,出于或避祸或出逃或投奔的目的,四百万人涌进上海,导致城市原本精巧华贵