潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

南京:南京大学出版社,2022

ISBN及定价:

978-7-305-24771-2/CNY49.80

载体形态项:

186页:图;24cm

并列正题名:

Formal model transformation technology based on MDA

丛编项:

知识前沿文库

个人责任者:

李宗花 著

学科主题:

软件开发

中图法分类号:

TP311.52

一般附注:

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

责任者附注:

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

书目附注:

有书目 (第167-184页)

提要文摘附注:

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

使用对象附注:

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

豆瓣简介：