您好,欢迎来到宝阳悦读网
VIP购买
分类页面广告
基于MDA的形式化模型转换技术
作者: 李宗花
格式:
mobi/epub/pdf/awz3
浏览量:
63次
扫描关注公众号
扫码关注公众号

温馨提示:书籍来自网络收集,版权归原作者所有,仅做学习试读,下载后请24小时内删除,侵权删(联系:1401211620@qq.com)

所属分类:
点击下载
收藏该图书
图书中部
图书详情
内容简介:
本书聚焦于模型驱动框架中的CIM抽象层次和PIM抽象层次,展开形式化模型自动转换的研究。全面系统地讲述了模型驱动框架(MDA)中的计算无关模型(CIM)、平台无关模型(PIM)以及平台相关模型(PSM)三个抽象层次模型。主要内容包括多层次的CIM建模方法研究,GSP模型形式化研究,CIM模型至PIM模型的转换研究,以及GSP多层次模型语义一致性和工作流视图下CIM模型与PIM模型语义的一致性研究。可作为软件工程专业或相关信息类专业的研究生教材,也可作为软件开发人员的参考用书。
详情数据包
0.237988s