梅宏，男，1963年出生，信息科学技术学院副院长，教授

1984.7 南京航空航天大学 学士  论文 线切割机微机控制系统的实现

1987.4 南京航空航天大学 硕士  论文 交互式计算机辅助排料系统ICANS

1992.10 上海交通大学 博士 论文  函数式面向对象程序设计语言FOPL—设计及实现

1992.12－1994.10计算机科学技术系计算机软件专业博士后

研究项目方向

国家“八五”科技攻关课题：“集成化软件工程开发环境（CASE）的标准化与实用化（85－712－1）”，课题主要骨干，技术组成员，JB2系统集成组组长。

863计划课题：“面向对象的智能化软件原型生产技术及系统（863－306－02－03－3）”，技术负责人。

博士后基金A等资助课题：“面向对象的软件过程模型研究”，课题负责人。

研究工作主要涉及新型程序设计语言、软件工程及软件开发环境、面向对象技术、软件复用及软件构件技术等方面。这些研究方向均是当前国际上的研究前沿和热点，特别是软件开发环境和软件复用技术研究被许多国家列为关键技术，被视为实现软件工程化、工业化生产，推动软件产业发展的主要手段；面向对象技术被认为是90年代的主流软件技术。本人在这几方面先后参与或主持了10多项国家级项目的研究工作，研制了多个原型或实用系统，提出了一些原创性的思想和技术途径，在国内外学术杂志和会议上发表学术论文90多篇，取得了突出成绩。成果具有较高理论意义、学术价值和应用前景。

主要研究成果和创新可分为如下三个方面：

1．新型程序设计语言

在函数式语言、面向对象语言及二者的合成技术研究方面，提出了富有创造性的见解和思想，特别是对语言形式语义的研究富有特色和创新，将函数语言良好的数学性质和面向对象的概念相结合，进行了对象的说明型形式语义模型的探索，构建了一个基于二阶λ重写系统的形式化系统，严格区分类和类型，区分行为规约继承和实现继承，并同时考虑继承、子类型关系和客户关系；设计了合成型语言FOPL，研究了其操作语义、指称语义和操作语义对指称的保持问题。这些研究思路已为近几年的国际研究趋势所认同，成为国际上在此方向的研究主流。申请者较早地就把握住了主流方向，表现出较敏锐的洞察力。研究成果居国内外同类研究的先进水平。

在863课题研究中，设计实现了支持多种OO语言（Smalltalk、C++、CLOS）混合编程，支持主动对象和并发程序设计，具有规约、设计能力，支持异质类复用的合成型语言BDOL。该语言的设计基于统一的对象模型框架，实现上采用了程序变换技术，达到了多种OO语言在语义级上的无缝合成，同时，保证了语言较好的实用性。此外，基于E. Amiel的成果，提出了一种改进的、更为高效的多方法分派算法。科技查新结果表明，该成果具有独创性，国际上尚无“与本课题内容基本相同的文献”报道。

围绕这些研究已有多篇论文发表于国内一级学术刊物。

2．软件工程和软件开发环境

在青鸟系统的研制过程中，申请者负责JB2环境的集成工作，创造性地解决了大量技术问题，特别是在保持环境的开放性和紧密集成度方面的创造性工作，克服了软件体系结构不匹配的问题，成功地实现了外来工具向环境的有效集成（JB2环境由支持数据集成、表示集成及控制集成的环境机制和27个各类工具构成，同时支持结构化和面向对象开发方法，并易于裁剪以形成特定应用平台）；采用Client/Server结构，实现了工具和环境的跨平台集成，使得微机平台上的工具能方便地挂接到环境机制上，使用环境机制所提供的各类服务。为这项由全国20多所大学、研究所和企业单位承担的大型科研项目的顺利集成和最终完成做出了突出贡献。青鸟系统是国际上为数不多的几个大型软件开发环境之一，是我国在支撑软件技术方面的重大成果和突破，对我国软件产业的发展具有重要的战略性意义，它的出现为我国软件企业提供了先进的装备和生产手段，有力地推动了我国的软件工程化、工业化生产进程和软件产业的发展。该系统获“95电子十大科技成果”、“国家“八五”科技攻关重大科技成果”、“1996年电子工业部科技进步特等奖”、“电子行业国家“八五”科技攻关重大科技成果”、“1998年国家科技进步二等奖”等奖项。

3．软件复用和软件构件技术

在863课题中对基于面向对象技术的软件复用进行了研究，同时，研究了对OO程序的计算机辅助理解，通过程序理解，实现了可复用类的识别和提取。从而，建造了一个以可复用类库为核心，以BDOL语言为主线（支持可复用类的规约和复合），以可复用类提取工具为外围的支持基于复用的软件开发途径的原型系统。这是国内在此领域研究的优秀工作之一，成果水平“国内领先，国际先进”。这些工作除以文章形式发表外，还成功地转化到青鸟工程中，成为青鸟系统的技术储备和产品原型。

在“九五”攻关一期工程中，配合杨芙清院士关于软件生产线（基于构件、构架模式）的思想，参与提出了青鸟构件模型，从形态、表示和层次三维来描述构件，该模型可以描述类、类树、框架、模式等OO构件和系统构架，通过构件、构架的复合来构造应用系统，该模型在统一框架下解决了多种形态构件的规约问题，具有较大的创新思想，同时也和当前国际上主要构件模型兼容；作为主要制定者制定了青鸟构件技术规范，包括“青鸟可复用构件制作指南”、“青鸟构件模型”、“青鸟构件描述语言”、“青鸟构件库概念模型”、“基于构件复用的软件过程模型”等，这些技术规范保持了和国际标准规范接轨，又具有自身特色和创新，是“九五”科技攻关课题顺利完成的基础和前提。同时，在第一线组织了支持“基于构件、构架模式的软件开发技术”的青鸟软件生产线系统的实现。由于突出的贡献，本人被列为“九五”一期攻关成果的第二完成人。而“九五”一期成果也是1998年国家科技进步二等奖的重要构成成分。

     在“九五”攻关二期工程中，主要致力于青鸟软件生产线系统的发展、完善以及示范工程。研究重点包括：软件再工程技术及支撑环境、软件构件库管理系统、领域工程及基于分布对象技术的构件自动（半自动）组装技术等。在此期间，本人作为访问科学家到美国著名研究机构贝尔实验室软件生产技术研究中心工作一年，主要进行软件复用和软件构件技术方面的基础性理论研究工作。在参与对方科研项目（主要是结合开发部门进行5ESS系统的产品线工程）的同时，根据自己在长期的青鸟工程攻关中积累的第一手资料和经验，背靠贝尔实验室良好的科研条件及氛围，开始考虑青鸟工程理论体系的建立问题。一方面保持和国际主流技术的一致，另一方面需融入自身的创新和特色。研究工作总结于3篇技术报告中，后又分别整理发表于“ACM SIGSOFT Software Engineering Notes (USA)”、“Annals of Software Engineering (USA)”、“WCC2000/ICS2000”和“Science in China (Series F)”等杂志和会议上。

论文、专著名称

全部作者署名顺序

发表或出版时间

刊物或出版社名称

扩展G－machine以支持OO机制

梅宏

1993.5

中国博士后首届学术大会论文集，北京，国防工业出版社

一种基于ADT的函数语言及其操作语义模型

梅宏，孙永强

1994年第6期，Vol.5

软件学报

函数式面向对象语言FOPL的指称语义

梅宏，孙永强

1994年第7期，Vol.17

计算机学报

合成型智能语言FOPL的语义研究

梅宏，孙永强

1995年，No.2，Vol.23

电子学报

函数式面向对象程序设计语言FOPL

梅宏，孙永强

1995年第4期，Vol.18

计算机学报

行为规范作为类型

梅宏，孙永强

1995年5期，Vol.6

软件学报

面向对象的CASE环境青鸟Ⅱ型的研制

杨芙清，邵维忠，梅宏

1995，Vol.25，No.5

中国科学（A辑）

合成语言FOPL基于方程逻辑的语义

梅宏，孙永强

1995年，No.7，Vol.6

软件学报

面向对象程序设计语言研究现状

梅宏，王立福，杨芙清

1995，NO.10，Vol.23

电子学报

面向对象语言BDOL及其支撑环境

杨芙清，梅宏，朱冰

1996， No.2，Vol.24

电子学报

多种OOPL的统一框架模型

朱冰，梅宏，杨芙清

1996，No.3，Vol.19

计算机学报

Integration Technigues in the CASE Environment JB2

Yang Fuqing, Wang Lifu, Shao Weizhong, Mei Hong

1996, Vol.5，No.1

Chinese Journal of  Electronics,

BDCom-C++: a C++ program understanding system

Mei Hong, Yuan Wanghong, Wu Qiong, Yang Fuqing

Vol.6, No.2, 1997

Chinese Journal of Electronics

An approach to software development based on reuse of heterogeneous components

Yang Fuqing, Mei Hong, Wu Qiong, Zhu Bing

Vol.40，No.4, 1997

Science in China(E)

Experiences writing C++ Compiler Front End

Yang Fuqing, Mei Hong, Yuang Wanghong, Wu Qiong

Vol.33，No.9, 1998

ACM SIGPLAN Notices

子类型的指称语义

梅宏，黄柏素，张路

Vol.27，No.8，1999

电子学报

Smalltalk程序理解辅助系统BDCom-ST

梅宏，吴穹，袁望洪，杨芙清

Vol.23, No.8, 2000

计算机学报

青鸟系统中可复用软件构件的表示与查询

常继传，李克勤，郭立峰，梅宏，杨芙清

Vol.28，No.8，2000

电子学报

青鸟构件库的构件度量

梅宏，谢涛，袁望洪，杨芙清

Vol.11，No.5, 2000

软件学报

JBOOMT: Jade Bird Object-Oriented Metrics Tool

Xie Tao, Yuan Wanghong, Mei Hong, Yang Fuqing

Vol.9，No.2，2000

Chinese Journal of  Electronics,

A Complementary Approach to Requirements Engineering--Software Architecture Orientation

Hong Mei

Vol.25, No.2, 2000

ACM SIGSOFT Software Engineering Notes

A Component Model for Perspective Management of Enterprise Software Reuse

Hong Mei

11(1)，2001

Annals of Software Engineering

A Software Configuration Management Model for Supporting Component-Based Software Development

Hong Mei, Zhang Lu, Yang Fuqing

26(2), 2001

ACM SIGSOFT Software Engineering Notes

Software Component Composition based on ADL and Middleware

Hong Mei, Jichuan Chang, Fuqing Yang

44(2)， 2001

Science in China(F)

Reused-based Software Production Technology

Yang Fuqing, Wang Qianxiang, Mei Hong, Chen Zhaoliang

Vol.44，No.1, 2001.1

Science in China (Series F)

A Component-based Software Configuration Management Model and its Supporting System

Hong Mei，Lu Zhang，Fuqing Yang

Vol.17, No.4, 2002

Journal of Computer Science and Technology

A Model-based Approach to Object-Oriented Software Metrics

Hong Mei, Tao Xie, Fuqing Yang

Vol.17, No.6, Nov. 2002

Journal of Computer Science and Technology

Building Enterprise Reuse Program -- A Model-based Approach

Hong Mei，Fuqing Yang

45(3)，2002

Sciences in China (Series F)

特征交互问题导论

梅宏，黄罡，邢岩，彭枫

Vol.30, No.12A,