我校参加成果申报2018年度高等学校科学研究优秀成果奖项目的公示(五)

     发布日期:2018-07-17 阅读次数:

      我校参加完成的成果“服务软件开发的关键理论与支撑平台”拟申报2018年度高等学校科学研究优秀成果奖自然科学奖,特进行公示。公示期:2018年7月17日至2018年7月24日,公示内容见附件。

   公示期内如对公示内容有异议,请您向科技处反映。根据相关要求,为了便于核实、查证,确保实事求是、公正地处理异议,提出异议的单位或者个人,应当表明真实身份,凡匿名异议和超出期限的异议一般不予受理。联系人及联系电话:刘蓉,51684647。

  特此公示

  北京交通大学科技处

  2018年7月17日

附件:公示材料:

项目名称:服务软件开发的关键理论与支撑平台

推荐单位:北京科技大学

项目简介:

如何通过复用与组装标准的软件单元、提升软件开发自动化程度,从而实现高效的软件开发,一直是软件工程追求的主要目标。面向服务的架构(SOA)已经成为云计算环境下主流的应用程序开发范型,较好解决了异构分布式环境下数据集成、应用集成、系统集成等难题,与此同时也面临适应性、可靠性与性能方面的新挑战。如何应对快速变化的业务需求、动态开放的网络环境、增强服务软件的适应性、如何保证服务软件的可靠性与一致性是服务软件开发领域亟需解决的重要问题。

该项目在国家自然科学基金、北京市自然科学基金、教育部博士点基金等项目资助下,围绕新型服务软件开发中的适应性、一致性、可靠性等关键问题,系统探索了适应性垂直服务组装理论、服务组装中事务集成与管理理论、面向服务软件的新型测试与调试理论,取得了一系列原创性研究成果。主要有:

(1)在服务软件的适应性设计方面:提出了基于可变性管理的适应性服务组装方法,将服务组装中的可变因素作为第一类设计对象,系统研究了适应性服务组装的框架、语言、方法、过程和支持平台,提出了一个解决服务软件适应性设计的系统化解决方案,开辟了适应性服务组装的一个新方向。

(2)在服务软件的事务集成与管理方面:提出了事务感知的服务开发框架、两种面向服务组装的事务集成与管理方法,系统研究了在Web服务层与服务组装层支持事务的集成与管理问题,有效解决了服务软件的可靠性保证问题。

(3)在服务软件的测试方面:系统研究了将蜕变测试和变异测试用于服务软件的关键问题,提出了面向SOA的蜕变测试框架,解决了SOA软件突出的测试预期问题;提出了面向服务组装的变异测试框架及优化技术,提供了适用于服务组装层的高效测试方法。

(4)在服务软件的调试方面:提出了基于块的BPEL程序故障定位框架、基于谓词切换与程序切片的BPEL程序故障定位方法,解决了如何对新型服务组装程序进行故障定位的难题。

该项目在服务计算和软件测试领域权威期刊和重要学术会议上发表论文60篇,SCI/EI收录49篇,申请国家发明专利6项(已授权4项)、登记计算机软件著作权21项、出版译著3部。10篇代表性论文平均影响因子2.16,SCI他引44次,他引85次。相关工作被IEEE/ACM Transactions、ICSE等顶级国际期刊和会议论文应用,相关工作得到法国LORIA研究部、西班牙塞维利亚大学、美国国防大学、IBM中国研究中心、中国科学院软件研究所、香港城市大学、复旦大学等著名研究机构,发表的论文被本领域著名学者引用,包括香港大学教授T.H. Tse、香港城市大学W.K. Chan、西班牙Rafael Capilla、加拿大语义技术研究主席Dragan Gasevic、荷兰格罗宁根大学教授Paris Avgeriou等。

项目成果被高度评价:“聚焦于面向服务的系统的一个重要主题,提出的VxBPEL是该领域一个有价值的贡献”、“把事务管理引入Web服务的方法,有较好的应用前景”、“创新而且有意义的研究工作”等。1篇论文入选IST2009年以来25篇高被引论文,相关成果应邀在国内与国际会议、科研院所进行学术报告10余次,推动了服务软件工程学科的发展。

主要完成人情况表:

姓    名

孙昌爱

排    名

1

技术职称

教授

工作单位

北京科技大学

完成单位

北京科技大学 北京交通大学

曾获科技奖励情况

MT4WS:面向Web服务的蜕变测试系统,软件服务创新大赛,二等奖,2017年9月,1/4;VxSaaS:基于可变性模型的可定制SaaS软件支撑平台,"医慧杯"首届软件服务创新大赛,一等奖,2016年9月,1/4;μBPEL:一个面向BPEL服务组装程序的变异测试系统,第三届全国软件研究成果原型竞赛,二等奖,2015年11月,1/3;基于可变性管理的适应性服务组装支持平台,第二届全国软件研究成果原型竞赛,三等奖,2014年11月,1/5。

对本项目技术创造性贡献

作为主要完成人参与“重要科学发现”中所列的4项重要科学发现的全过程,10篇代表性论文的第一/通讯作者,是4项重要科学发现的主要完成人和贡献者。提供研究思路,提出解决方案,领导课题组完成各项研究。提出了服务软件开发关键理论的总体学术思想和研究方案,发现并提出了适应性垂直服务组装理论、服务软件中事务集成与管理理论、面向服务软件的新型测试与调试理论,解决服务软件开发中的适应性、一致性、可靠性等关键问题,并开发了相应的支撑平台。

 

 

代表性论文专著目录:

序号

论文、专著

名称/刊名/作者

影响因子

年卷页码

年(卷):页码

发表年月

通讯作者/第一作者(中文名)

SCI他引次数

他引总次数

是否国内完成

1

Modeling and Managing Variability of Web Service-based Systems. Journal of Systems and Software. Chang-ai Sun, Rowan Rossing, Marco Sinnema, Pavel Bulanov, Marco Aiello.

2.401

2010年83卷502-516页

2010-03

孙昌爱

13

21

2

VxBPEL: Supporting Variability for Web Service in BPEL. Information and Software Technology. Michiel Koning, Chang-ai Sun, Marco Sinnema, Paris Avgeriou.

2.768

2009年51卷258-269页

2009-02

孙昌爱

15

38

3

Transaction Management in Service-Oriented Systems: Requirements and a Proposal. IEEE Transactions on Services Computing. Chang-ai Sun, Elie el Khoury, Marco Aiello.

4.574

2011年4卷167-180页

2011-04

孙昌爱

6

10

4

Integrating Transactions into BPEL Service Compositions: An Aspect-based Approach. ACM Transactions on the Web. Chang-ai Sun, Xin Zhang, Yan Shang, Marco Aiello.

1.826

2015年9卷9:1-9:31页

2015-05

孙昌爱

1

1

5

Automated Testing of WS-BPEL Service Compositions: A Scenario-Oriented Approach. IEEE Transactions on Services Computing. Chang-ai Sun, Yan Zhao, Lin Pan, Huai Liu, T. Y. Chen.

4.574

2015年XXX卷1-1页

2015-08

孙昌爱

0

0

6

BPELDebuger: An effective BPEL-specific fault localization framework. Information and Software Technology. Chang-ai Sun, Yimeng Zhai, Yan Shang, Zhenyu Zhang.

2.768

2013年55卷2140-2153页

2013-12

孙昌爱

0

1

7

A Transformation-based Approach to Testing Concurrent Programs using UML Activity Diagrams. Software: Practice and Experience. Chang-ai Sun, Yan Zhao, Lin Pan, Xiao He, Dave Towey.

1.41

2016年46卷551-576页

2015-04

孙昌爱

0

0

8

A Metamorphic Relation-Based Approach to Testing Web Services without Oracles. International Journal on Web Service Research. Chang-ai Sun, Guan Wang, Baohong Mu, Huai Liu, Zhaoshun Wang, T. Y. Chen.

0.602

2012年9卷51-73页

2012-01

孙昌爱

8

13

9

A Property-based Testing Framework for Encryption Programs. Frontiers of Computer Science. Chang-ai Sun, Zuoyi Wang, Guan Wang.

0.967

2014年8卷478-489页

2014-06

孙昌爱

1

1

10

VxBPELEngine: 一种变化驱动的适应性服务组装引擎. 计算机学报. 孙昌爱, 薛铁恒, 胡长军.

2.77

2013年36卷2441-2454页

2013-12

孙昌爱

0

0