《基于MDA的形式化模型转换技术》/李宗花-宝阳悦读网

《基于MDA的形式化模型转换技术》/李宗花

作者：李宗花

格式：

mobi/epub/pdf/awz3

浏览量：

41次

扫码关注公众号

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

所属分类:

计算机网络 >> 互联网

点击下载

收藏该图书

内容简介:

本书聚焦于模型驱动框架中的CIM抽象层次和PIM抽象层次，展开形式化模型自动转换的研究。全面系统地讲述了模型驱动框架（MDA）中的计算无关模型（CIM）、平台无关模型（PIM）以及平台相关模型（PSM）三个抽象层次模型。主要内容包括多层次的CIM建模方法研究，GSP模型形式化研究，CIM模型至PIM模型的转换研究，以及GSP多层次模型语义一致性和工作流视图下CIM模型与PIM模型语义的一致性研究。可作为软件工程专业或相关信息类专业的研究生教材，也可作为软件开发人员的参考用书。