检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]桂林电子科技大学计算机与控制学院,广西桂林541004 [2]东南大学计算机科学与工程系,南京210096
出 处:《微计算机信息》2010年第27期198-200,共3页Control & Automation
基 金:基金申请人:钱俊彦;项目名称:基于依赖公式抽象的软件模型检测研究;颁发部门:国家自然科学基金委(60663005)
摘 要:目前模型驱动架构(MDA)中的平台无关模型(PIM)对构件的描述缺少精确的形式化语义,对构件的建模支持已经远远落后构件技术的发展。结合模型驱动和构件开发的优点,通过UML的扩展机制,提出了一个基于MDA的构件开发模型框架,扩充了对构件模型的建模开发,使得MDA对构件描述的PIM层更为精确,从而达到MDA和构件开发相结合以改进软件开发的目的。Currently, Model Driven Architecture (MDA)'s independent platform model (PIM) is lack of accurate description in the formal semantics for component, the support on modeling of components has far behind the development of component technology. Combining the merit of the driver component with that of model development, and adopting the UML Profile, we prose a component development framework based on MDA, which expands component modeling development, makes description about the component in PIM layer using MDA more precisely, and to achieve the purpose of improving software development through the combination of MDA and components development.
关 键 词:模型驱动构架 构件开发 统一建模语言扩展 平台独立模型
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:13.59.234.246