XDL——基于XML的软件体系结构描述元语言

软件体系结构是指导基于体系结构的软件开发过程的系统蓝图,而软件体系结构是由软件体系结构描述语言(ADL)来描述的.提出1种基于XML的软件体系结构描述元语言XDL作为ADL的元语言.通过XDL构造出的ADL具备大多数基于XML的ADL描述高层软件体系结构的能力,支持系统的扩展与演化,支持系统的验证,保证与其他ADL的互操作性,在软件生命周期中保证体系结构模型的可追溯性.     

基于Z-ADL语言的动态体系结构描述

软件动态演化已成为软件发展的新动力,动态体系结构语言成为描述复杂软件体系结构的有效工具.提了一种基于Z-ADL语言的动态体系结构描述,可通过对构件、连接件添加和删除实现软件的动态演化.     

动态软件体系结构建模方法研究

针对用现有方法对动态体系结构建模的不足，提出了一种软件体系结构抽象模型（SAAM）．sAAM以两种互为补充的形式化方法——面向对象Petri网OPN和π演算为语义基础，其中OPN可以形象地描述软件体系结构的初始化模型和动态行为，π演算可以描述软件体系结构的动态演化．这两种形式化方法通过SAAM集成在一起，并通过相应的支持工具对模型进行分析．在体系结构演化过程中，SAAM利用π演算的相关分析方法，对组件的演化策略和软件体系结构的一致性进行分析，从而可以在系统开发早期发现体系结构级的错误，提高软件质量．利用SAAM对经典实例自动加油站系统进行的建模与分析表明，SAAM直观、易懂，可以有效地刻画系统动态体系结构．     

基于Web Services的分布式异构环境互操作性研究

WebServices是一种面向服务的体系结构，其突出优点是实现了真正意义上的平台无关性和语言独立性。分析了当前流行的分布式组件技术及其互操作的缺陷。在介绍了WebServices的体系结构和相关主要技术后，给出了互操作的实现模型，并结合一个基于J2EE实例系统介绍了具体实现细节。     

一种基于构件的软件体系结构求精方法及其应用

软件体系结构是软件工程学科中一个较新的研究领域,目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。本文首先分析了基于行为替代、基于风格的体系结构求精方法的特点和不足,然后提出一种基于构件的体系结构求精方法,并以时序逻辑语言XYZ/E作为软件体系结构的形式化描述语言,通过一个具体开发实例对基于构件的体系结构求精方法及过程作了进一步论述。     

基于体系结构的软件分析设计过程模型

引入软件体系结构技术，将软件分析设计过程细分为需求分析、体系结构设计、系统设计3个阶段，并提出了基于体系结构的软件分析设计过程(SADPBA)模型，该模型是一种采用迭代增量方法将功能设计空间映射到结构设计空间，再由结构设计空间映射到系统设计空间的过程．应用函数理论对模型进行了严格的数学定义和形式化描述，确保设计结果满足完备性、一致性和正确可追踪要求．在扩展设计空间建立了需求规范与体系结构、系统设计间的可追踪机制，并建立了基于体系结构的软件分析设计开发环境模型．与传统软件分析设计过程相比，SADPBA模型有严格的理论基础和工程原则，解决了软件系统从需求到实现的平缓过渡问题，提高了软件分析设计的质量和效率．     

通用连接器模型及其形式化推导研究

基于构件的软件体系结构（SA）由构件与连接器组成，连接器作为构件间的交巨实体在SA中扮演着重要角色．现有的连接器模型只能支持特定软件体系结构风格的组装，缺乏统一的连接器模型的支持．提出一种通用连接器模型用以对不同连接器模型进行描述，并在此基础上对连接器模型进行了扩展，以支持不同体系结构风格的构件组装．同时，基于Wright的软件体系结构描述语言（ADL）和通信顺序进程（CSP）中对于进程的描述方法，给出了通用连接器模型的形式化推导、验证，从而为分析连接器行为，支持连接器自动生成奠定了基础．     

网络贸易平台Web Service技术的研究与应用

WebService提供了一种新的基于Internet的分布式计算的模型,一种新的电子商务体系结构、设计和实现的方法;促进了软件体系结构从紧耦合、严格、静态的模型向松耦合、灵活、动态的商务模型发展。本文简要阐述了WebService的关键技术,提出并详细介绍了基于WebService的网络贸易平台结构,最后介绍了该系统的实现方法。     

基于多层体系结构的在线考试系统的设计与实现

良好的软件体系结构对软件的设计、开发和维护起着至关重要的作用。多层体系结构是开发交互式应用程序时广泛使用的一种体系结构。论文在深入研究多层体系结构的基础上,设计并实现了一个基于多层体系结构的在线考试系统。     

基于Agent的工作流管理系统的虚拟企业模型

通过基于Agent的工作流管理系统，提出了实现虚拟企业的一种可能途径，并描述了此系统中虚拟企业模型的体系结构。     

面向对象机器人实时仿真系统的实现

针对目前机器人仿真系统中存在的若干问题,讨论了一种面向对象的、独立与特定机器人的实时仿真环境ＲｏｂＳｔｕｄｉｏ 的设计及实现．系统中,硬件平台是基于ＰＣ的多ＣＰＵ 的分级体系结构,软件系统中能完成不同处理任务的对象运行于Ｗｉｎｄｏｗ ｓ 之上．设计中所采用的面向对象方法满足了系统实现中所必须解决软件的重用性、可扩展性、可靠性以及可移植性等要求．由虚拟设备驱动程序保证的系统实时性使仿真过程能够更充分真实地描述待研究的实际系统．本系统成功地应用在对具有２４ 个自由度的仿人机器人的实时三维图形仿真中．     

基于J2EE的SDAI实现方法

提出了基于J2EE平台,采用多层结构的SDAI实现EAST(EJB Access to STEP data)系统,从而实现产品数据的共享.EAST系统以关系数据库作为SDAI的数据存储系统,基于EJB组件实现了可以多用户并发访问的SDAI对象层.还阐述了用EJB实现SDAI会话,访问远程repository以及SDAI数据字典和迟联编的实现机制.     

一种面向体系结构的软件系统自适应机制

在动态变化的分布式环境中,为了保证系统的正常运行,软件系统应能够根据环境的变化、系统运行错误及需求的变更调整自身的行为,即具有一定的自适应能力.提出一种面向体系结构的自适应机制,该机制采用了内置运行时体系结构作为驱动自适应的因素、选择自适应动作的依据以及实施自适应的载体;设计了适合分布式环境特点的三层结构的监控设施,提高了监控的效率和有效性;同时配备了满足不同用户需求的两种触发设施.该自适应机制不隶属于某个或某种运行系统,可为各种应用的运行系统添加自适应能力提供一个比较一般的、可重用的自适应框架.     

一种基于构件的分布式软件构架描述语言

针对分布式软件系统规模和复杂性不断增大的特点，在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言（DSADL），详细描述了DSADL的设计目标、组成元素以及形式化描述基础，并实现了分布式软件构架集成开发环境（EDAD）。由于DSADL结合了SADL与构件技术，因此它既有严格的语义基础，同时又具有构件的可复用性、易移植性的特点。实践证明，DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析的设计，从而提高系统的开发效率。     

基于UML软件开发过程的CASE平台研制

针对基于UML的面向对象软件开发支持环境CASE平台的研制,给出了平台的需求定位和实现目标,讨论了平台组织的总体方案和功能,并据此给出了平台体系结构的设计和实现方案,阐述了平台设计和实现中的模型建立、数据存储机制实现方案,较成功地用于基于UML软件开发过程的CASE平台。     

基于面向对象Petri网的软件体系结构描述语言

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 ,具有良好的应用前景     

基于特征技术的智能产品信息模型框架及其实现

研究了基于特征的智能产品建模系统的框架、工作机制及系统实现技术要点 .产品可以封装为包括几何形体信息、非几何属性信息及与产品相关知识等内容的对象 .特征建模是智能性建模方法 ,可将特征建模系统中的特征分为两类 :应用级特征和系统级特征 .应用级特征是面向应用领域的特征 ,它可由用户自行定义或扩充以符合用户的应用要求 ;系统级特征是由系统提供的低层次特征 .建模系统提供了利用系统级特征组建新的复合特征的函数方法     

基于ROADS的面向场景业务架构建模方法

ROAD元架构通过业务架构指导整个企业架构体系开发过程，是一组简单明确且高效的模型表达。针对已有的元架构体系中业务活动模型所采用的IDEF0图存在对多组件系统之间丰富的活动触发序列和信息交互场景描述能力不足的问题，提出在ROAD元架构基础上引入场景模型，与原来基于IDEF0的活动模型融合成为面向场景的活动模型，同时具备层次化描述能力和场景化时序表达能力。扩展后的ROADS元架构保留原架构的整体性和灵活性，且补充面向场景的系统建模能力，实现业务架构设计中的场景管理。最后以一个情景化外语教学系统为例，使用ROADS元架构方法建立场景化业务架构模型组，并对其进行讨论，为现有架构体系提供一种面向场景的扩展思路。