一个集成式的软件构件描述框架

该文提出了一个可扩展、可裁减的集成式软件构件描述框架 .该框架采用了相宜的方法对构件的接口、语义、问题空间等方面进行描述 ,并且通过 XML 提供了可扩展的机制 .实践证明 。

基于模板的软件体系结构描述技术

软件体系结构中的基本建模元素可以通过分类进行更高层次上的抽象.为了准确地体现这种抽象层次,首先利用模板机制定义了软件体系结构的2个抽象层:软件体系结构模板层和软件体系结构模板实例层,并给出了各层中的相关概念.然后,以标准建模语言UML2.0为基础,利用<<Merge>>关系重用了UML2.0部分建模元素和机制,使用UML的profile扩展机制定义了一种基于模板的软件体系结构描述语言(TADL,Template-based software Architecture Description Language),分别从设计要求、定义技术以及profile方面对TADL进行了阐述.最后给出了利用TADL进行软件体系结构模式和软件体系结构建模的基本原则和指南,并通过ATM(Automatic Taller Machine)建模实例进行了说明.

基于体系结构描述的软件测试技术

在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.

UML与软件体系结构描述语言之间的转换机制研究

形式化描述和可视化描述是目前主要的两类软件体系结构描述方法,形式化描述以体系结构描述语言ADL为代表,可视化描述以统一建模语言UML为代表。目前软件体系结构描述领域的热点之一是研究这二者之间的结合,转换是其中一种重要的方式。基于此,本文对UML和基于时序逻辑的体系结构描述语言XYZ/ADL之间的转换问题进行了研究,定义了二者之间的转换规则。

软件体系结构层切点指示器的形式化描述方法

软件体系结构层切点指示器是在软件体系结构层次上实现量化机制和描述方面编织的基础。一些面向方面软件体系结构的描述语言虽然引入了切点指示器(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述,因而难以精确刻画软件体系结构层方面的注入位置。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL的抽象语法树形式,设计了一种一阶逻辑语言LL4PCD(Logic Language for PCD)。在此基础上,提出AC2-ADL语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。

一种基于描述语言的软件可信发布方法研究

目前对于高安全要求的内网环境,如何利用可信计算技术确保软件发布的安全与可靠具有重要的研究意义。由于软件可信发布具有动态性,即不同用户和平台对软件的要求不尽相同,而人为配置发布不仅效率低下而且无法确保其安全可靠,因此提出了一种用户、平台、软件之间相互选择的智能发布策略,其中的软件功能可信度算法可定量计算出软件功能符合用户需求的程度,智能匹配算法根据依赖关系生成安装序列以确保安装运行的顺利进行。同时为了描述发布过程中的软件信息及满足发布算法的需求,设计了一种基于XML的软件描述语言SDDL(Software Distribution Description Language)。通过分析及实例证明了此发布方式确实能增强软件发布的可信性。

虚拟仪器系统软件结构描述语言的设计与应用

为了正确有效地描述虚拟仪器系统软件结构 ,提出了虚拟仪器系统软件结构描述语言的概念与模型 ,对其中的模块描述、元件描述与连线描述作了详细的分析 ,并提供了结构化语言。虚拟仪器系统软件结构描述语言的提出 ,对于规范虚拟仪器系统软件结构特别是应用程序的设计与开发提供了一种新思路 ,本描述语言已实际应用于多个虚拟仪器系统集成工程中 ,取得了良好的技术效益和经济效益。

基于PSL与XML的软件过程描述模型SPRM的设计和实现

本文在研究CMM的基础上提出了一种利用过程规范语言PSL对软件过程进行建模的思想,设计并给出了一个软件过程描述模型SPRM。该模型遵循CMM3级对软件过程定义的要求,采用XML Schema作为其统一描述语言,保证了软件过程的统一性和可扩展性,有利于实现软件过程的互操作与过程资源的共享,为实现统一的软件过程管理打下了基础。最后,本文利用SPRM模型实现了一个过程实例——简单评审过程,说明了如何利用SPRM定义企业的不同软件过程。

基于TCSP的实时软件体系结构描述语言的实现

在分析现有软件体系结构描述语言在实时应用中不足之处的基础上,介绍了一种新的实时软件体系结构描述语言——RTADL的实现机制。该语言将TCSP和XML相结合,在保证可扩展性的基础上,可满足大型实时软件体系结构规格中对实时和并发特性说明的要求。

基于UML的信息系统软件体系结构描述

对软件体系结构理论在实践中的应用进行了深入研究,提出了一种基于UML的多视图模型,分别从系统逻辑视图,数据视图,行为视图和物理视图四个方面对信息系统的软件体系结构加以描述。并将这种方法实际用于丹东市警务信息综合应用平台中的核心模块———地址信息管理模块的开发过程中,实践证明该方法具有可用性和易用性。

REAL:面向可靠性评估的软件架构描述语言

为提高软件质量减少软件开发成本,从软件可靠性评估的角度出发,对软件架构描述语言进行了研究,提出了一种基于XML和软件可靠性评估的软件架构描述语言(reliability evaluation oriented architecture description language,REAL),主要目的是用于描述软件架构以便进行给予架构的软件可靠性评估。REAL重点关注软件架构的构成关系及各组件、子架构的可靠性描述和计算。同时,实现了基于REAL语言的编译系统,并通过实例进行了测试。

软件演化过程描述语言中继承语法的编译实现

软件演化过程描述语言对软件演化过程进行形式化的建模,更容易描述软件过程并在计算机中实现.软件演化过程描述语言的语法描述明确定义了有继承特性的软件过程和活动,继承是整个软件演化过程描述语言的重点之一.本文阐述了软件过程和活动在软件演化过程描述语言编译器中的实现方法,是整个编译器的核心,并为编译器的实现提供了理论基础.

浅析医疗器械独立软件描述文档编制要点

《医疗器械软件注册技术审查指导原则》要求独立软件应提供软件描述文档,文章将对独立软件在软件描述文档编制中的要点进行浅析。

基于XBA的软件体系结构描述方法的研究

XBA作为一种描述性语言,主要针对软件体系结构,通过对其组成体系结构的基本元素进行描述,再根据不同系统的风格不同的特点,利用XML的可扩展性,对具体系统结构进行描述及定义。通过利用XBA定义的核心XML Schema来对C2体系结构风格描述成新的XML Schema,再对一个具有C2风格的系统结构用XBA来描述。

软件体系结构动态模型描述及其测试中的应用

软件体系结构的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。为了较为方便恰当地描述软件体系结构的动态性,通过对软件体系结构描述语言研究,利用带标号的转换系统来模拟软件体系结构的动态性,把带标号的转换系统作为软件体系结构动态性模型并从中选取测试序列进行测试,并通过具体实例给出了带标号转换系统这一动态模型的导出过程及利用此动态模型进行一致性测试的方法。

一种软件部署冲突检测及其自动调整算法

主要研究能够根据不同环境自动调整软件部署过程的软件智能部署问题。首先,介绍并分析现有软件部署工具,提出软件智能部署模型、软件智能部署的规范化描述。其次,介绍并分析软件部署过程中冲突检测以及自动调整方法。在此基础上,提出一种能够根据环境差异,自动调整软件部署过程的软件智能部署算法。最后对比并分析软件智能部署实际应用效果。

一种软件智能部署方法的研究

研究了能够根据不同环境自动调整软件部署过程的软件智能部署问题。介绍并分析现有软件的部署工具,提出了软件智能部署的概念、整体框架和部署工作流程。介绍并分析了软件规范化描述语言和客户端信息的模型描述方法。在此基础之上,提出了一种能够根据环境差异,自动调整软件部署过程的软件智能部署算法。最后,对比并分析了软件智能部署实际应用效果。

软件体系结构分析与评价方法评述

近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统开发和产品线开发中的关键技术.体系结构分析评价的目的是为了识别体系结构设计中的潜在风险,帮助开发人员进行设计决策.从软件体系结构的概念出发,分类介绍了体系结构描述的不同观点,评述了国内外有代表性的分析评价方法和工具.最后探讨了软件体系结构分析评价研究中存在的不足及其原因,作为总结,给出体系结构分析评价未来的发展方向.

基于时序逻辑的面向方面体系结构描述语言

运用传统体系结构描述语言描述的软件体系结构(SA)方案始终存在着一些横切行为和特征,它们混杂和散列在不同的SA设计单元中,使得SA难以理解、难以演化和难以重用。针对这一问题,基于时序逻辑语言XYZ/E,在统一的时序逻辑框架下设计出一种面向方面体系结构描述语言AC2-ADL。系统地阐述了AC2-ADL的概念框架并用XYZ/E进行语义解释,最后结合案例介绍了如何用AC2-ADL对SA进行描述。

基于受限语言的领域需求描述方法

人们对领域知识、系统目标理解存在差异,对领域需求表述不规范,而导致软件需求不一致和频繁变更。为了解决这一问题,提出一种基于受限语言的领域需求描述方法,通过设计受限语言的需求获取模板,规范表示领域需求,通过词汇合法性检测和句型匹配,保障领域需求描述的正确性,并采用XML文件保存领域需求。最后通过构建实例验证了该方法的有效性。