开放软件系统的基础理论与关键技术

开放软件系统已被广泛地应用于载人航天、电子对抗、导弹拦截和网络交易等领域。这些应用要求开放软件系统必须是正确的、可靠的和安全的系统。如何构建这样一个开放软件系统已成为科学界关注的挑战性课题。本项目拟将基于模型驱动的开发方法与测试、仿真和验证技术有机结合，以保障开放软件系统的正确性和可靠性。主要研究：构建开放软件系统的模型驱动理论与方法，包括需求获取与建模、模型演化与确认、服务构建与验证和服务组合与优化；以及适合开放软件系统的测试、仿真与验证理论与方法，并将其融入到开放软件系统开发过程的各个阶段。并以网络拍卖云计算系统的开发为示范，展示本项目所建立的理论与技术在实际中的应用。

开放软件系统已被广泛地应用于载人航天、电子对抗、导弹拦截和网络交易等领域。这些应用要求开放软件系统必须是正确的、可靠的和安全的系统。如何构建这样一个开放软件系统已成为科学界关注的挑战性课题。项目以模型驱动为基础，研究了保障开放软件系统的正确性和可靠性的开发方法与测试、仿真和验证技术。主要研究了构建开放软件系统的模型驱动理念与方法中需求获取与建模、模型演化与确认、服务构建与验证和服务组合与优化，以及开放软件系统的测试、仿真与验证理论与方法。取得了APTL逻辑系统及其逻辑规则、EMSVL、PTL的符号模型检测算法、MSVL形式语义和公理系统、基于抽象精化的模型检测理论与方法、基于CF的PPTL判定算法等重要成果。在IEEE Transactions on Software Engineering， Theoretical Computer Science，Formal Aspects of Computing等著名国际期刊，和ICSE、IJCAI等重要国际会议发表或录用论文118篇，其中SCI检索32篇，EI检索110篇；培养优青1名、博士8名、硕士研究生62名；授权专利20项，正在申请的专利13项；项目期内组织国内会议2次、合作组织国际会议5次、邀请国内外知名学者讲学29人次、参加国际会议数十次；出版学术专著1部；获得教育部自然科学一等奖1项、陕西省科学技术进步一等奖1项；获得软件著作权3项。