基于第三方的电子商务可信软件在线度量方法及集成研究

E-commerce systems are a representative type of network software. Software trustworthiness issues are caused by various reasons: the robustness of system’s internal control over multi-tenant system parameter is not strong; the quality of the cross-border or cross-domain process control is not high; the trading rules are complex and various; the rule representations are various, incomplete and redundancy; the trustworthiness of services provided by e-commerce systems are difficult to be guaranteed; the behavior of multi-tenant e-commerce systems are randomly changing; the assurance of user behavior trustworthiness is inadequate while the system cannot proactively prevent errors. Faced with the above challenges, the project will propose an software trustworthiness index and correlation analysis approach which have four levels including software subject, data parameter, trading rules and behavioral processes”, three dimensions including “safety, dependability and survivability”, as well as variable granularity. The project will also propose a trustworthiness index based dynamic multi-attribute combinations evaluation model which can conduct real-time collections of data parameters, data flow, trading rules and operation behaviors based on “data mining, knowledge mining, process mining, as well as complete third party online authentication mechanisms, early alert platform design. The.proposed approach build on top of the previous research achievements, verify the proposed approach using "bulk stock e-trading system". The research results will effectively support critical bulk stock e-trading applications in industry.

电子商务系统是网络软件的典型代表，软件可信的问题在于系统对多租户参数内控的体系健壮性不强；服务跨界跨域的过程控制质量不高，交易规则复杂多变，规则表示存在不确定、不完整，冗余等情况，电子商务系统提供的服务可信性很难得到保障；同时电子商务系统的多租户行为的随机多变，用户行为可信性保障不足，而系统又不能主动预防。面对挑战，本项目将在以往项目研究成果的基础上，以“大宗商品电子交易系统”为验证背景，研究基于“软件主体、数据参数、交易规则和行为过程”四个层面、“安全性、可信赖性和可生存性”三个维度，以及可变粒度的软件可信度量指标及相关性分析方法，开展基于Petri网行为建模分析，建立基于“可信指数”的动态多属性组合评价模型，开展基于“挖掘”等方法的数据参数及数据流、交易规则、操作行为的实时采集和分析，完成以服务为基础的第三方在线验证机制、预警平台设计。其研究成果将有效支撑大宗商品交易行业的关键应用。

本项目自实施以来，按照项目计划任务书的有关要求，以“大宗商品电子交易系统”为背景，重点开展了网络软件的可信性度量及分析方法等问题的研究。主要包括：建立了网络软件行为过程的Petri网模型，解决了软件主体的逻辑过程、参数依赖和交易规则的形式化验证问题；研究了网络软件的服务组合的可信性指标的评价模型，分析了动态多属性服务组合的效率及可靠性等服务质量，建立了网络服务组合的可信性动态变化及评价方法；建立了云环境下的网络软件可信状态的资源分配优化、可变粒度的任务调度模型，解决了网络软件的资源可信配置问题；基于以上理论及模型，开展了基于智能量体的服装在线定制电子商务系统的第三方可信性验证及评价，开发了第三方电子商务在线验证、商品推荐、检索及预警平台。.项目实施以来，共发表论文28篇，其中SCI检索27篇，EI检索18篇，北大中文核心1篇，培养硕士研究生21人，先后同北京大学、清华大学、天津大学、南京理工大学、重庆大学、青岛理工大学、兰州大学、广西大学、上海交通大学、北京信息科技大学、山东科技大学、泰山信息科技有限公司、山东蓝光软件有限公司、科大讯飞等单位在高可信软件理论、信任认证机制等方面进行了合作研究，并邀请国内外专家学者来校交流访问。同时，安排项目组成员到去马德里理工大学进行学术交流和访问。