机读格式显示(MARC)

• 000 01865nam 2200325 450

• 001 0000568274

• 005 20220821163100.0

• 010 __ |a 978-7-305-24771-2 |d CNY49.80

• 100 __ |a 20220720d2022 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 320000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 基于MDA的形式化模型转换技术 |A ji yu MDA de xing shi hua mo xing zhuan huan ji shu |d = Formal model transformation technology based on MDA |f 李宗花著 |z eng

• 210 __ |a 南京 |c 南京大学出版社 |d 2022

• 215 __ |a 186页 |c 图 |d 24cm

• 225 2_ |a 知识前沿文库 |A zhi shi qian yan wen ku

• 300 __ |a 本书的出版得到了国家自然科学基金青年科学基金项目 (61902141) 国家自然科学基金面上项目 (编号: 41471425) 教育部人文社会科学研究青年基金项目 (编号: 19YJCZH095) 江苏高校“青蓝工程”优秀青年骨干教师人才项目联合资助

• 314 __ |a 李宗花, 工学博士, 淮阴师范学院副教授, 重庆丰都人, 江苏省高校“青蓝工程”优秀青年骨干教师, 主持国家自然科学基金、教育部人文社会科学研究青年基金项目等6项。

• 320 __ |a 有书目 (第167-184页)

• 330 __ |a 本书聚焦于模型驱动框架中的CIM抽象层次和PIM抽象层次, 展开形式化模型自动转换的研究。全面系统地讲述了模型驱动框架 (MDA) 中的计算无关模型 (CIM)、平台无关模型 (PIM) 以及平台相关模型 (PSM) 三个抽象层次模型。主要内容包括多层次的CIM建模方法研究, GSP模型形式化研究, CIM模型至PIM模型的转换研究, 以及GSP多层次模型语义一致性和工作流视图下CIM模型与PIM模型语义的一致性研究。

• 333 __ |a 本书可供业务流程管理、软件需求分析、软件设计、软件开发等相关领域的科学研究人员、工程技术人员、软件项目管理人员及大专院校、科研院所师生应用和参考。

• 410 _0 |1 2001 |a 知识前沿文库

• 510 1_ |a Formal model transformation technology based on MDA |z eng

• 606 0_ |a 软件开发 |A ruan jian kai fa

• 690 __ |a TP311.52 |v 5

• 701 _0 |a 李宗花 |A li zong hua |4 著

• 801 _0 |a CN |b 北京京城新安 |c 20220819

• 905 __ |a WFKJXY |d TP311.52/113

• 920 __ |a 4370400 |z 1