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