基于本体的可信软件演化框架模型*

为系统化地考虑开放环境对软件可信性的影响和驱动作用,提出了一种基于本体空间并支持动态演化的框架模型。该模型采用本体空间的方法解决用户、系统和环境三者之间交互的语义问题,在此基础上,通过预定义的规则对软件行为的可信性和自主调整的必要性进行评估,依据评估结果从微观层次的规约制导和宏观层次的人机协同在软件生命周期内对其调整、配置与修正。应用实例及测试结果验证了该框架模型的有效性与可行性。     

Modeling the Value-Based Software Process with Object-Petri-Nets

Commercial organizations increasingly need software processes sensitive to busi- ness value, quick to apply, supportive of multi-stakeholder collaboration, and capable of early analysis for subprocess consistency and compatibility. This paper and a companion paper \Applying Value-Based Software Process: An ERP Example" present our experience in ap- plying a lightweight synthesis of a Value-Based Software Quality Achievement (VBSQA) process and an Object-Petri-Net (OPN) based process model to achieve a stakeholder win- win outcome for software quality achievement in an ERP software project in China. We attempt to answer such questions as (1) whether it is possible to model various project stakeholder perspectives using formal process modeling languages in a real-world project? (2) how to make stakeholders synchronize and stabilize their value propositions, activities and commitments as needed. The companion paper presents the VBSQA process and its application to the ERP project; this paper presents the OPN-based process modeling and its application. The application results of OPN process modeling conˉrmed that (1) the OPN- based process model provided project managers with a synchronization and stabilization framework for process activities, success-critical stakeholders and their value propositions; (2) process visualization and simulation tools signiˉcantly increased management visibility and controllability for the success of the software project.     

Exploiting Ontology for Software License Agreements

Software end-users need to sign licenses to seal an agreement with the product providers. Habitually, users agree with the license (i.e. terms and conditions) without fully understanding the agreement. To address this issue, an ontological model is developed to formulate the user requirements and license agreements formally. This paper, introduces ontological model that includes the abstract license ontology of common features found in di?erent license agreements. The abstract license ontology is then extended to a few real world license agreements. The resulting model can be used for di?erent purposes such as querying the appropriate licenses for a speciˉc requirement or checking the license terms and conditions with user requirements.     

基于数据交换模型的测试方法

通过深入地研究数据交换的通用模型,抽象数据交换的过程状态和规则,提出了一种基于数据交换的测试模型及其测试的方法,该方法能够适用于绝大多数数据交换场景的测试并有效地提高测试效率.最后给出了未来的研究方向.     

POLYFLOW逆向挤出功能在挤出方型物口模设计中的应用

以方型材挤出口模设计为例,建立了几何模型、数学模型及有限元模型。通过在POLYFLOW模拟软件中构建任务并定义各项参数,利用重新生成网格技术,进行了数值模拟和分析,得出如何有效应用POLYFLOW逆向挤出功能对方型材挤出口模进行设计。研究表明:POLYFLOW逆向挤出功能可以提前预测其变形倾向,提高了口模设计一次性成功率,缩短口模的开发周期,降低成本。     

室内车辙试验的相似性分析

为了分析室内车辙试验与实际沥青路面结构受力状态的相似性,基于相似理论采用有限元数值模拟的方法建立了室内车辙试验改进模型.首先,应用相似理论推导出沥青路面结构和车辙试验改进模型各参量间的相似关系;其次,选用3种典型的路面结构,利用有限元软件ABAQUS进行数值模拟,得出这3种结构在双轮荷载作用下的荷载影响范围,进而应用相似理论得出路面全结构的车辙试验模型尺寸,应用力学响应等效,最终确定复合板结构车辙试验改进模型的所有参数并进行车辙试验验证了改进模型的正确性.     

J2EE Web服务和.Net Web服务的集成

研究了在J2EE和．Net环境下Web服务的开发方法、J2EE调用、．NetWeb服务的运行机制及使用．NetWsdl文档创建存根的方法,实现了J2EE和．Net环境下web服务的跨平台互操作．     

远程虚拟实验室数据库的设计及访问

在基于LabVIEW的虚拟实验室平台中,引入数据库管理系统可以更加有效、安全地对用户、仪器设备和实验数据等进行管理。运用SQL Server2000设计了远程虚拟实验室平台的数据库系统,并借助LabSQL工具包实现了LabVIEW远程虚拟仪器程序对数据库的访问及操作．     

面向可靠性评估的软件架构描述语言图形化研究

为了在架构设计和开发阶段能尽早开展软件测试工作,建立架构可视化测试平台是有效的手段之一,而架构描述语言图形化是建立该可视化平台的前提。在研究了面向可靠性评估架构描述语言RE／ADL的基础上,提出该架构描述语言图形化的表示方法,分别从总体的、精练的、层次的不同视角总结了架构的建模元素（组件、连接件、配置及复合组件,连接件）与可靠性评估相关属性的图形表示,便于架构的验证和分析。     

PC总线工业控制机在渗碳炉的应用

热处理渗碳炉是目前常用的化学热处理炉,初期一般采用仪表控制热处理过程.随后,由于计算机技术的发展而逐渐采用了计算机控制,我国在20世纪80年代末引进,但由于种种原因有不尽人意之处,比如抗干扰性能差、热处理质量不稳定、废品率高、画面功能简单等.本文讲述了采用PC总线工业控制机取代Z80CPU改造热处理渗碳炉控制系统,实践证明效果良好.