【摘 要】
：
随着模型驱动技术的重要性与日俱增,一系列基于模型的软件开发策略也日益被提出.提出一种模型驱动的原型生成方法,即从包含类模型与形式化约束的UML模型自动生成原型.该方法
【基金项目】
：
向对本文的工作给予支持和建议的同行,尤其是北京航空航天大学软件工程研究所的老师和同学表示感谢.
论文部分内容阅读
随着模型驱动技术的重要性与日俱增,一系列基于模型的软件开发策略也日益被提出.提出一种模型驱动的原型生成方法,即从包含类模型与形式化约束的UML模型自动生成原型.该方法基于UML模型与OCL约束的形式化表示,对UML模型特别是静态结构部分作出形式化表示,并通过示例给予分析.基于类模型及形式化约束,原型按以下步骤生成:首先从类模型中生成实体对象集合(entityobject set,EOS);然后从类模型中生成包含操作按钮的原型界面;最后生成操作及约束的处理程序.为生成原型,须将类模型及约束条件转换成可执行的
其他文献
《论语》中涉及到“君子”一词的章句甚多,但是对“君子”含义的理解却不尽相同,杨伯峻先生在《论语译注》中,将“君子”分为“有德者”和“有位者”。本文重点分析身份地位
在当前素质教育的大环境下，初中物理课程与教学中的STS教育就显得尤为重要。为了进一步认识STS教育，探索STS融入到物理教育中的途径，笔者在文中先分析了初中物理教学中渗透STS教
目的探讨甲状腺功能减退对妊娠期糖尿病(GDM)患者糖脂代谢水平的影响。方法选取GDM患者180例,其中合并甲状腺功能减退42例(甲减组)、单纯GDM患者138例(GDM组),选取同期正常妊
给出了中等规模的ISP为拨号用户提供上网接入服务的设计方案,包括对网络的拓扑设计、设备的选型、IP地址的分配以及路由配置等。方案中应用了帧中继技术、以太网技术以及VLAN技术等,为拨号用户提供了可靠性高、通信速度快和具有良好扩展能力的接入服务。
从当代大学生的心理健康问题出发,对中美大学生心理健康服务模式进行了多渠道比较研究,提出确立以促进大学生心理成长为中心的服务目标,加强使用网络作为心理健康服务的有效
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
研究灰铸铁化学成分对质量系数Qi的影响,应该侧重于的参数排序的综合影响方面。采用灰色理论详细分析了灰铸铁化学成分对质量系数的影响及其排序。通过大量计算,得到了灰铸铁
推动新旧动能转换是新常态下保持经济持续健康稳定发展的必然要求。文章从新动能概念出发,构建经济新旧动能转换程度指标体系,利用正则法对武汉及14个副省级及以上城市2017年
在用“一般到特殊”方法建立模型时，首先应对初始模型的随机误差项进行异方差和自相关的检验。对模型的其他检验都应建立在随机误差项是一个白噪声序列的基础之上。在检验约束
本文探究了全反力的定向条件与应用,对于中学物理中的静力学平衡问题及动力学问题的解决均有一定的应用价值,同时通过应用可以提高学生的思维能力.
This paper explores the