论文部分内容阅读
业务模型与系统模型都是模型驱动架构(MDA)中的关键模型,而它们之间的转换效率直接关系到待开发系统的质量。本文在深入研究两个模型的转换规则之后,提出了一种基于OCL形式化表示这两种模型之间的转换规则的方法,该方法有效的增加企业软件的开发效率以及质量,实现软件产业工业化生产。
基于OCL的业务模型转换到系统模型的研究
【摘 要】
：
业务模型与系统模型都是模型驱动架构(MDA)中的关键模型,而它们之间的转换效率直接关系到待开发系统的质量。本文在深入研究两个模型的转换规则之后,提出了一种基于OCL形式化
【机 构】
：
东南大学南京航空航天大学应天职业技术学院江苏南京江苏南京2
【出 处】
：
科技资讯
【发表日期】
：
2008年17期
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
作为民族诗人的海子,其诗歌虽是以汉语的形式存在的,但却与丰富博大的西方诗学传统有着密切的关系。其宏大的＂大诗＂追求也是力图要调和诗与哲学的千年之争,完成维柯式的＂诗与真
建构主义应用于教学过程,形成了全新的学习理论,这一理论指导下的教学模式,强调了学生的主体地位.学生主体地位的形成,是现代教育最富民主性的精华,无论是教学模式的重组、教
湖南临武县近日一瓜农在与城管争执中倒地身亡，再次引发人们对“城管到底干什么”、“暴力执法何时休”的追问。应该说，随着近年来对此类事件的围观和反思，人们对城管与小贩的矛
Y/△降压启动与△/YY变极调速接法是电机常见的两种接法,有相似之处亦不同之处。本文从两种接法的主电路图及其元件布置图进行比较。
根据学校的特点对过刊装订的利与弊进行分析,提出取消过刊装订的建议,并简单阐述取消过刊装订后对过期期刊的处理方法。
吉林省身处中国的北方,受地理条件、气候条件的影响,它有着自己独特的经济特色。自经济结构调整以来,吉林省的经济水平也在逐年提高,虽然算不上全国的一线省市,其进步的程度
《电脑迷》第5期中《多个Word文档自由切换》一文介绍了一个切换文档的方法,笔者还有几个快速切换多个文档的方法。 1．可以在“窗口”菜单中选择具体文档名来切换到不同的窗口
随着高等教育改革的不断深入,加强高校财务管理,提高财务管理水平已成为高校发展中一个重要组成部分。本文结合吉林省高校的实际情况,从高校财务管理中存在的问题入手进行分