MDA开发中的模型一致性检验

来源 :重庆工学院学报 | 被引量 : 0次 | 上传用户:hzsbf
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构——MDA,该结构将应用模型分为平台无关模型(PIN)和平台相关模型(PSM),通过融合UML用例图、类图、序列图,得到了需求模型和设计模型,给出了类图和序列图的形式化语义,以及模型间的协调性条件,并在此基础上进行一致性检测,为模型驱动的开发提供了基础.
其他文献
众所周知,赖氨酸是一种人类和动物必需的氨基酸之一,学名二氨基己酸。按其光学活性可分为L型(左旋)、D型(右旋)和DL型(消旋)3种构型,其中只有L型赖氨酸才能为生物体所利用。通常所说的
随着近年生物技术的发展,新型的生物技术越来越受到了人们的关注,生物技术的应用也有力地促进了传统动物营养技术的发展。养殖业是一种资源转化的行业,目前能量与蛋白资源成
尊敬的罗文德主席、陈流汀副主任:上午好!各位专家、学者:今天,我怀着十分激动的心情,在纪念毛泽东同志诞辰110周年之际,代表"重庆市<资本论>与社会主义市场经济研究会"向与
期刊
试验以牛卵泡内卵丘-卵母细胞复合体(COCs)为材料,探讨了牛卵丘细胞包裹程度对卵母细胞体外成熟(IVM)和孤雌胚胎(PAEs)发育的影响。试验1,将COCs随机分为2组,在开展IVM前,将其中一组COC
我国社会主义市场经济体制的建立、巩固和发展,要求参与市场竞争者应为彼此相互独立、法律地位平等的自然人、法人或其它经济组织。大家在经济交往中均不得将自己的意志强加
本文基于目前南方肉牛生产的基本状况,针对不同规模、水平和条件的肉牛饲养企业、专业养殖户及散养户如何提高肉牛生产效益,从市场定位、产品出产目标、养殖方式方法和技术控制
目前,随着市场经济的建立和发展,我国的期货交易市场得到迅速发展,由于我国期货立法滞后,有关管理制度的法律、法规不健全,加之期货交易市场是一种高级的市场交易方式,专业性
何谓严肃执法,我觉得至少包括这样一些内容:(一)司法机关和司法人员能够排除各种干扰,独立地、不折不扣地依法办案。(二)对于任何法律关系主体的合法权益都平等地给予司法上
试验以mTCM-199添加抗生素为对照组,以分别添加0.1μg/mL小檗碱(berberine,BR)和0.5μg/mL川芎嗪(ligustrazine,Lig)为试验组,比较各组卵母细胞体外成熟中一氧化氮(NO)生成量和卵母
选用2.5岁体重相近,安装永久性瘤胃瘘管的内蒙古白绒山羊羯羊18只,采用完全随机试验设计。分成6组,每组3只。分别饲喂中性洗涤纤维(NDF)水平为49%、52%、55%、59%、62%和65%日粮,预试期14