任务状态敏感的访问控制模型及其有色网仿真

针对现有主动访问控制模型中授权流与工作流同步粒度不够精细的问题,提出一种任务状态敏感的访问控制模型.根据任务实例的不同状态对多个执行角色进行差异化授权,施加相应的职责分离约束,并给出一种有色网仿真分析方法.概念模型可以优化工作流中的数据利用,充分增强业务中的角色协作.仿真分析方法可跟踪工作流执行时的安全状态,并发现潜在的死锁问题.通过一个软件工作流验证了其协作与访问控制概念的可行性及其分析方法的有效性.     

基于信息熵的软件维护风险度量

 针对软件维护过程中不确定信息难以量化的问题,使用信息熵定量度量软件的维护风险.基于信息熵,引入信息熵定量分析算法,提出了软件维护风险模型,使用信息熵算法定量计算软件维护过程中的不确定程度和损失度.仿真结果表明,基于软件维护风险模型,使用信息熵算法能够定量度量软件的维护风险.     

基于CMMI的软件过程质量度量模型及应用

通过分析软件过程质量度量方法和目前软件开发的特点,以CMMI理论模型为基础,参考GQM模型设计了一个软件过程质量度量模型,分析模型中主要元素间的关系,并介绍了基于该模型的软件过程质量度量实施流程。该度量模型的应用使软件质量具有可控性和可测性,对软件企业进行软件过程改进有很大帮助,从而开发出高质量的软件。     

基于信任和属性的云服务访问控制模型研究

针对云计算环境下访问控制的高度动态化问题,在基于属性的访问控制(ABAC-Attributebased access control)模型的基础上,引入上下文环境管理进行扩展,给出一种基于信任度量和属性约束的云计算服务化访问控制模型。针对租户信任度量的问题,引入频次衰减函数H(k),提出适用于云计算访问控制的信任度量算法。同时就客体资源服务化问题进行研究,将基础服务与服务管理的概念引入到模型中。最后通过实验进行了仿真与分析。     

基于规则和约束的多层递阶产品开发过程管理

针对开发过程的动态性和不确定性,研究了基于路由规则和任务约束的柔性工作流模型,该模型与传统的工作流模型最大的差别在于其流程实例的路由需要根据运行时的环境和条件动态决定,提高了开发过程的适应能力和敏捷性;针对开发过程的递阶性、嵌套性和层次性等特点,提出了基于任务分解的任务流管理模型,通过任务逐级分解,采用任务分解和工作流相结合的方法,降低了开发过程管理的复杂性,提高了开发过程管理的可操作性．     

一种目标驱动与活动相结合的度量模型

在采用CMMI模型进行过程改进的中小型企业中,由于缺少合适的度量过程模型的指导,在实施度量时难以在复杂的软件过程中正确有效的选择度量元。本文结合软件过程活动模型和GQM度量模型的特点,提出一种目标驱动与活动相结合的度量模型GIAM-D并给出了度量框架。该框架结合活动为中心的过程模型将复杂的开发过程明确、简易、顺序化。利用这套模型使企业管理者和过程度量人员在选取度量元以及采集数据时更具针对性,从而为度量和改进提供了有效的支持和指导。     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

一种轻型工作流引擎的设计与实现

针对目前常见大型工作流引擎存在结构复杂、灵活性差等问题,采用分层存储思想,将工作流过程模型中节点的静态属性和节点之间的动态连接关系分开存储,优化了工作流过程模型文件的存储方式。在保存好的工作流过程模型的基础上,制定了简化的模型解析加载流程,根据节点之间的动态连接关系,提出了节点递归排序算法,保证了节点的有序运行。基于.NET编程平台,开发了一种轻型工作流引擎,实现了工作流实例的解析加载和各活动节点的有序仿真运行,通过案例验证了所开发工作流引擎的正确性和有效性。     

软件过程度量过程模型的研究

软件过程的度量是影响软件项目管理和过程管理的关键因素,是对软件项目和软件过程进行目标管理的基础.软件过程的度量也是一个过程,需要建立过程模型指导度量过程的实施.提出了1个软件过程度量过程的SPM-IDEAL模型,定义了模型各阶段的主要活动,讨论了度量数据的分类和度量元的选取,并讨论了过程数据库在软件过程度量中的重要作用.     

基于扩展元模型的智能动态工作流建模方法

为了提高工作流的智能性和动态性,对原有的工作流过程元模型进行扩展,提出一个基于该扩展元模型的智能动态工作流模型.该工作流模型引入控制规则来约束流程的实例化,并引入一个独立于工作流系统的规则协调器来对流程规则进行解析,实现了流程的智能动态变化.研究结果表明,建立在智能动态工作流模型上的工作流管理系统不仅具有智能性和动态性,在通用性以及柔性方面也有很大的提高.     

A New Method for Measurement and Reduction of Software Complexity

This paper develops an improved structural software complexity metrics named information flow complexity which is closely related to the reliability of software. Together with the three software complexity metrics, the total software complexity is measured and some rules to reduce the complexity are presented in the paper. To illustrate and explain the process of measurement and reduction of software complexity, several examples and experiments are given. It is proposed that software complexity metrics can be measured earlier in software development and can provide substantial information of software systems whose reliabil- ity can be modeled and used in the determination of initial parameter estimation.     

软件开发中的软件质量度量

在软件开发过程中,软件度量是保证软件质量的重要方法。文章介绍了软件度量的基本概念、作用、软件度量的模型和方法。     

评估软件过程改进的金融学方法

该文将金融评估方法引入到软件开发过程管理中。首先说明了贴现的本质,解析了3种贴现类投资计划评估方法;而后给出了软件过程改进(SP I)活动的金融学解释,论证了SP I中引用金融学方法的可能性、必要性及主要应用差异;随后以应用净现值法(NPV)需要处理的4个难点为线索,阐明了NPV法在SP I应用中成本和收益量化处理、收益的风险性确定,以及风险溢价的基准等问题;最后定位了该文方法的学科位置,指出了成功应用该文方法的关键和应对措施。     

基于组件依赖图的软件安全漏洞预测方法

针对软件安全漏洞预测,提出了一种基于组件依赖图的预测方法.基于组件依赖图综合定义了软件代码的复杂性、耦合性以及内聚性指标,同时采用这3类指标建立了机器学习模型对一个组件的漏洞进行预测.以开源软件Mozilla Firefox为实验对象,设计并实现爬虫工具,收集了针对从Mozilla Firefox 1.0到Mozilla Firefox 43的所有版本的公开漏洞.基于这些漏洞数据对预测模型进行训练和测试,结果表明所提出的方法能够有效用于漏洞预测.      

基于MCS—51单片机的普通机床数控改造

介绍了在普通机床上采用适合现场实时控制的MCS - 5 1系列单片机为控制器 ,以运行特性好、可靠性高的步进电机为驱动执行元件的数控改造方法。叙述了机床改造方案及系统的组成原理 ,并给出了系统的硬件及软件设计框图。普通机床经数控改造后 ,其加工精度和生产率有较大的提高 ,是提高企业数控化率的一条切实可行的途径。     

MFV-Class： a multi-faceted visualization tool of object classes

Classes are key software components in an object-oriented software system. In many industrial OO software systems, there are some classes that have complicated structure and relationships. So in the processes of software maintenance, testing, software reengineering, software reuse and software restructure, it is a challenge for software engineers to understand these classes thoroughly. This paper proposes a class comprehension model based on constructivist learning theory, and implements a software visualization tool (MFV-Class) to help in the comprehension of a class. The tool provides multiple views of class to uncover manifold facets of class contents. It enables visualizing three object-oriented metrics of classes to help users focus on the understanding process. A case study was conducted to evaluate our approach and the toolkit.     

面向软件工程的工作流管理系统

结合CMM思想和RUP技术，提出了以RUP定义的软件开发流程作为模板，以工作流管理系统作为支持环境的软件开发过程管理的新思路，介绍了工作流管理系统的模型基础，即集成化的多视图模型P_PROCE，它以过程视图为核心，集成了产品，资源，组织和控制评价视图，给出了建模，仿真和执行有机集成的工作流管理系统体系结构，在解释了以过程建模，系统维护和模型转换接口三部分组成的工作流建模系统的基础上，阐述了以个人工作台和工作流引擎为主构成的工作流执行和仿真机制。     

基于ISO9000工作流程的质量信息系统的开发

为了加强企业的质量管理水平,通过结合某企业实施ISO 9000质量管理体系的工作流程,以C＋＋Builder作为开发平台,在C/S的模式下,结合企业产品检验过程的数据纪录,进行统计、分析和决策.为用户提供了完整的质量办公界面,为企业的经营和决策提供依据,提高了企业的质量管理水平,保证了企业质量评审工作的持续进行.     

一种基于证据的软件可信性度量模型

为更全面系统地度量软件的可信性,根据客户对软件不同的主观需求将软件的可信性建立在各类证据之上,建立了一个基于证据的度量模型。模型根据系统安全保证的成功经验将可信性度量分成三个阶段,并对每个阶段定义相应的软件可信声明。通过可信架构分析,围绕可信声明收集建立证据和论据。综合收集到的信息,使用目标结构化表示法(goal-structuring notation, GSN)生成软件可信案例,由案例中声明是否被充分证明作为标准来度量软件的可信性。     

计算机软件认识观辨析

目的探讨基于处理和基于反映的两种不同的软件认识观。方法从数据处理的变换过程的角度入手，将软件视为数据处理的工具或将软件看作人的认识基于机器的特殊反映。结果第一种观点，强调软件对数据的加工处理过程，是在软件出现早期，对软件形成的一种简单、片面性理解。第二种观点，从认识论角度，将软件看作是人的认识基于机器的特殊反映。它强调了软件对认识的反映，体现了软件具有的承载性、实体性和类主体性，是人们对软件的一种本质和较全面地理解。结论两种软件认识观是人们分别从不同角度对软件形成的认识，并对软件学科的形成和发展起到了决定性作用。这对软件的研究、开发和教育有重要意义。