书目详细信息
： 基于MDA的形式化模型转换技术
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-305-24771-2:CNY49.80 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 320000 |
| 题名责任者项： | 基于MDA的形式化模型转换技术/.李宗花著 |
| 出版发行项： | 南京:,南京大学出版社:,2022 |
| 载体形态项： | 186页:;+图:;+24cm |
| 丛编项： | 知识前沿文库 |
| 一般附注： | 本书的出版得到了国家自然科学基金青年科学基金项目 (6190214) 国家自然科学基金面上项目 (编号：41471425) 教育部人文社会科学研究青年基金项目 (编号：19YJCZH095) 江苏高校“青蓝工程”优秀青年骨干教师人才项目联合资助 |
| 提要文摘： | 本书聚焦于模型驱动框架中的CIM抽象层次和PIM抽象层次，展开形式化模型自动转换的研究。全面系统地讲述了模型驱动框架 (MDA) 中的计算无关模型 (CIM)、平台无关模型 (PIM) 以及平台相关模型 (PSM) 三个抽象层次模型。主要内容包括多层次的CIM建模方法研究，GSP模型形式化研究，CIM模型至PIM模型的转换研究，以及GSP多层次模型语义一致性和工作流视图下CIM模型与PIM模型语义的一致性研究。 |
| 并列题名： | Formal model transformation technology based on MDA eng |
| 题名主题： | 软件开发 |
| 索书号： | TP311.52/L45 |
| 中图分类： | TP311.52 |
| 个人名称等同： | 李宗花 著 |
| 记录来源： | CN 百万庄 20220513 |