过程蓝图程序表示模型与视图导出方法

来源 :计算机工程 | 被引量 : 0次 | 上传用户:xiaojing795130
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对传统程序技术长期存在的表示分离、开发低效、质量欠佳、维护困难等问题,提出一种跨越分析、设计和构造阶段的多阶段程序过程表示模型。采用概念、逻辑和实现3层抽象视图、控制流和数据流二级映射的架构及视图导出方法,通过建立映射约束规则和对应关系,实现视图间的联系与统一,保证导出制品的一致性和有效性,使增量迭代、逐步求精的模型驱动设计过程规范化,有效提高程序生产率与可维护性。
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
校企合作培养是实现"卓越工程师"目标的重要途径。文章分析了我校校企全程合作实施"卓越计划"的校企生三方激励机制、产学研结合的培养模式、校企合作的主要环节及校企合作保
文章首先简要回顾了欧洲发达国家乡村从生产主义向后生产主义转型的背景和内涵。然后,以比利时弗拉芒地区典型村镇为例,从微观角度总结后生产主义时代欧洲乡村空间的发展特征
在全球气候变暖、资源危机日渐严峻的形势下,本文好的建造提出了低碳的新思路。
变功率改造RTX型台车式电阻炉北京重型电机厂甘龙元,邓竞成北京重型电机厂有色分厂是一个年耗电在85万kWh以上的耗能大户,有70%以上的重点能耗设备是60~70年代生产的台车式电阻炉。该分厂总结、
<正> 一、加强工业循环冷却水管理的必要性据统计北京工业冷却水占总用水量的60%~80%,钢铁工业用冷却水通常占其用水量的60%~70%,化工行业冷却水则占80%,此外,冷却水还广泛用在
以转型经济背景下金融体系的主要问题作为切入点,中国渐进式金融改革是一个体制变迁的过程,这一变迁滞后于经济的发展,抑制了经济的发展。改革以来金融体制的变迁,落后于经济多元
2009年卫生部下发了《关于在公立医院施行预约诊疗服务工作的意见》,意见中要求从2009年10月开始,所有三级医院都要开展预约诊疗服务。
8424西瓜为中熟小型西瓜品种,从第一雌花始花期着生于第5~7片叶,一般在坐果后45 d左右成熟。因生长周期短,一次性定植,可全年多次采收,经济效益较好。本文针对西瓜8424品种特