【摘 要】
：
模型驱动工程（model-driven engineering,简称MDE）已成为软件工程领域的研究热点之一,它的核心基础是模型驱动架构（model-driven architecture,简称MDA）。本文在深入研究问题框架
【机 构】
：
广西师范大学计算机科学与信息工程学院
【基金项目】
：
国家自然科学基金资助项目（61262004）, 广西自然科学基金资助项目（2012GXNSFCA053010）, 北京大学高可信软件技术教育部重点实验室开放课题（HCST201102）, 2013年广西研究生教育创新计划项目（YC-SZ2012059）
论文部分内容阅读
模型驱动工程（model-driven engineering,简称MDE）已成为软件工程领域的研究热点之一,它的核心基础是模型驱动架构（model-driven architecture,简称MDA）。本文在深入研究问题框架方法的基础上,结合模型驱动架构理论提出并开发了一种面向问题的领域和需求模型变换技术及辅助支持工具,并且通过一个案例研究来展示该技术的实际应用过程。结果表明,所开发的计算机辅助软件工程工具既实现了模型的可视化变换,又实现了需求文本的同步自动变换,从而增强了工具在实际使用时的交互性和易理
其他文献
目的探讨多烯紫杉醇（DTX）联合反义miR-21（AS-miR-21）对胰腺癌细胞增殖及凋亡的影响及其可能的作用机制。方法采用7种浓度DTX筛选对人胰腺癌Mia Pa Ca-2细胞增殖抑制最佳的IC50（15
本文主要研究差分方程xn＋1=∑i=1^taixn-mi/q＋∑i=1^tcixn-mi＋∑k=1^sbkxn-nk,n=0，1，…的全局性质，记A=∑i=1^tai,B=∑k=1^tbk,C=∑i=1^tci和l=max{xt,ns}，其中ai〉0，ci〉0（i=1，2，…，t），bk
一个图Γ称为1-正则图,如果图Γ的图自同构群Aut（Γ）作用在它的弧集上正则.本文给出了点稳定子为Z4×Z2的8度1-正则Cayley图的一个完全分类。
目的观察405例糖尿病患者弓形虫感染情况及其对患者血糖、肝肾功能的影响。方法选择405例糖尿病患者（DM组）和150例健康体检者（对照组）,检测两组血清弓形虫特异性抗体（Ig G、Ig M）和
通勤乘客是在早晚高峰出行并具有一定出行规律的人群,准确地从公交刷卡数据中识别通勤人群,对采取措施缓解早晚高峰交通拥堵和整个城市公交线网规划和调整具有重要意义。本文
对于反三角矩阵M=（PQI0）的群逆和Drazin逆的研究,总是在块矩阵满足不同条件下进行的。本文在新的条件下获得了一些结论,即：当子块矩阵P可逆或ind（Q）≤1时,研究了M存在群逆的充要条
具有切向边界的无散度小波在向量场的数值模拟中扮演着重要的角色.鉴于Hardin-Marasovich小波函数的零边值性质和简单结构,主要研究一类利用Hardin-Marasovich小波函数构造的
有限环的结构与其零因子数目有密切的关系。本文在前人的基础上,通过利用半单环的结构定理、环的单位群的性质、有限环的Jacobson根的阶与环的阶及环的单位群的阶的关系等,完
目的探讨银杏内酯A（GA）对脂多糖（LPS）诱发肝细胞损伤的保护作用及可能机制。方法将大鼠肝细胞随机分为6组：正常组、LPS组、LPS＋CLI-095组、LPS＋GA 20μmol/L组、LPS＋GA 10μmol/L组、
随着电动汽车的不断普及和发展，其配套设施也受到了越来越多的关注，尤其是充电站的建设已经提到发展日程上来，如何对充电站进行快速准确定位成为驾驶员最为关注的问题之一。针对