软件生态系统研究综述

软件生态系统加速软件产业的垂直分工和水平整合,改变了软件产业的商业生态.自2003年提出以来,软件生态系统吸引工业界和学术界的广泛关注.国内外知名IT企业深耕软件生态系统,形成许多具有广泛影响的软件生态系统.近年来,在云计算、移动应用开发、信息物理系统、区块链等新兴信息技术快速发展和软件生态系统应用领域不断拓展的双重作用下,软件生态系统新泛型不断涌现.人们对软件生态系统的认识与理解,随着研究深度和应用广度的不断变化而改变.直至2016年,学术界和工业界才对软件生态系统的定义趋于一致.软件生态系统是在特定的技术环境中软件企业、开发者、技术社区等涉众以软件产品、服务、数据和知识为媒介相互作用而形成的复杂系统.通常,研究人员使用2003年提出的软件生态系统研究内容七分类法把相关文献归类到过程与技术、定性分析、结构化分析模型、实证研究、工具及表示法、行业应用、技术报告等七大类中.由于软件生态系统的领域边界、关键特征较之2003年的情境已发生巨变,原有的七分类法有待修订.本文类比自然生态系统,建立软件生态系统元模型来描述软件生态的结构及特征.在软件生态系统研究内容七分类法的基础上,将“定性分析”和“结构化分析模型”整合为“分析方法与框架”,把“行业应用”和“实证研究”合并为“实证研究”,形成软件生态系统研究内容五分类法.然后,对2015~2017年软件生态系统的研究现状进行文献综述,从技术报告、分析方法与框架、过程与技术、实证研究、工具及表示法五个方面总结软件生态系统的研究现状,并展望研究趋势及发现面临的挑战.软件生态系统的需求工程、架构建模、模型驱动开发、能量机理、关键特征分析、信息量抽取与建模、生态网络分析、缺陷/代码坏味累积效应、CASE工具、软件生态系统新泛型等方面的研究有待进一步深入.     

基于数据切片度量JAVA内聚性

面向对象的程序切片在程序分析、程序理解、软件测试和调试以及软件维护方面有着广泛的用途.首先建立了抽象数据切片和类内切片的概念,然后基于这两种切片讨论了JAVA语言中存在的内聚问题,通过分析这些切片与数据、方法、类之间的关系来度量数据、方法以及类的内聚性问题.     

面向对象程序可视化过程中的一种布局算法

1 引言随着面向对象技术的广泛应用,对面向对象程序的理解也变得日益重要,理解方法之一就是软件可视化,通过对软件所有方面的属性及行为进行图形化显示,包括:设计和分析方法、系统、程序和算法,使软件理解更直观准确。和软件可视化相近的另一个概念是程序可视化,在八十年代后期提出时其意义和软件可     

基于优化逆问题的Web服务选择

为提高服务提供商的服务被选率,将优化逆问题应用到Web服务选择领域,提出了Web服务选择优化逆问题,描述了此问题的解决步骤,比较了割平面法和Huang法的优劣,给出了改进方法.为提高Web服务选择优化的求解效率和优度,基于Web服务选择优化逆问题,设计出Web服务选择优化算法--逆选择算法,为服务请求者提供最优或近似最优选择方案.实验结果表明:Web服务选择优化逆问题的解可有效提高服务被选率;逆选择算法可有效提高选择方案的求解效率和优度.     

CIMS环境下基于面向对象技术的信息集成研究

1 概述信息技术既给企业带来了严酷的市场竞争和挑战,也为企业带来了新的机遇。信息技术和现代化管理技术的结合可以为企业提供如下的生产模式、管理技术和设计、制造技术:①物料资源规划(MRP)、制造资源规划(MRP-Ⅱ)和企业资源规划(ERP)。这是西方制造业管理技术的精华。借助产品和部件的构成数据、工艺数据和设备状况数据,将市场对产品的需求转变为对加工过程和外购原材料、零部件的需求,这样,对企     

一种基于微分代数动态逻辑的CPS建模与验证方法

随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用,安全性已成为目前CPS理论和应用研究的核心问题.提出了一种基于微分代数动态逻辑的CPS安全性验证方法,该方法首先把HybridUML模型转换成微分代数程序,然后使用微分代数动态逻辑对系统安全性进行规约,最后依据微分代数动态逻辑推理规则对CPS进行安全性验证.通过对飞机空中避撞系统的实例研究,表明该方法能够有效地验证避撞策略的正确性,从而保证避撞系统的安全性.     

先导阀静态和动态特性计算

近几年来,液压先导操纵,即用先导阀操纵主换向阀,在各种工程机械中获得了广泛的应用。先导阀有各种类型,目前应用得最多的是压力反馈式(又称减压阀式)。本文讨论: 1.先导阀静态特性计算,并提出与主换     

一种基于分层切片模型思想的源程序信息分析方案

作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模型思想的程序信息提取方案。该方案已成功运用到一种Java程序切片工具模型JSTM（Java Slicing Tools Model)中。     

时间属性序列图:语法和语义

为了表示事件出现的时间约束,扩展属性序列图为时间属性序列图,使其继承属性序列图的优点,并且能够表示时间属性,定义了时间属性序列图的形式语法,并给出基于时间Büchi自动机的形式操作语义;用实时规约模式度量了时间属性序列图的表达力。最后,对时间属性序列图进行了实例研究,显示了其广泛的应用前景。     

基于程序窗口推理的精化演算

由于数据精化需要针对更大的程序块, 所以,它比一般的算法精化更加复杂.在精化演算中过程如何有效地进行数据精化是形式化 方法研究中的一个重要内容.该文介绍了相关的基本概念.在精化演算的基础上,构造了一种 数据精化算子,并提出一种基于数据精化演算和程序窗口推理的数据精化的方法.