一种发现运行时软件体系结构的方法

运行时软件体系结构能够准确描述目标系统的真实状态和行为,对指导软件的维护和演化起着重要的作用。本文提出了一种发现运行时体系结构的方法,利用系统实现与体系结构风格之间的对应关系,定义了一种基于规则的转换映射;将收集到的底层系统事件解释成体系结构层面的操作,从而可获取运行时体系结构视图;通过一个即时通信系统实例说明了该方法的可行性。     

基于ATML的ATS资源建模与运行时服务研究

针对当前自动测试系统内部资源的描述缺乏规范化的定义问题,详细分析了ATML标准对各系统资源信息的规范化描述及资源间关系,并对资源进行标准化建模;以仪器信息为例分析了仪器的ATML标准化描述,设计可视化仪器建模工具,使仪器建模更加快捷灵活兼具规范化;在此基础上研究了自动测试系统运行时服务的功能：虚拟资源映射和路由通道选择,通过多属性匹配和广度优先搜索算法对运行时服务进行设计。仿真分析表明,此设计方案具有一定的实用性,能够准确地实现上述功能。     

生物信息领域软件体系结构的研究与应用

生物信息领域软件体系结构是生物信息领域应用软件系统中构件及构件关系的描述。依照域工程的方法过程,分析了生物信息应用领域,给出了领域概念模型。随后以领域概念模型为基础分别提出了独立系统和开放分布式系统的生物信息领域软件体系结构参考模型,最后简要介绍了应用实例,并提出了一些领域内有待研究的问题。     

关于保险行业特定领域软件体系结构的研究

着重讨论了保险行业特定领域体系结构（ＤＳＳＡ）的有关的概念简化和实际应用,并以此推进具有特定领域背景情况下保险业务应用软件系统的复用技术,为ＤＳＳＡ这种工程组织实施性的研究提出方法学方面论述。     

面向农业特定领域软件体系结构适应性模式的研究与设计*

面向农业领域软件体系结构适应性模式支持农业领域应用的领域分析模型、领域设计模型以及农业领域应用系统的生成,并表现出对农业领域变化能提供良好的自动性支持,体现所谓高层感知性、适应性和自动性。为支持这种软件开发过程模型,提出一种资源-规则-分析模型,并给出一个虚拟机架构的支撑体系。作为一个实例,在开源开发环境下对小麦生长模拟与管理决策支持系统原型进行开发和运用。     

支持运行监控的可信软件体系结构设计方法

近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作.     

基于模型驱动的软件体系结构

介绍了一种基于模型驱动的软件体系结构。该体系结构将与实现技术无关的功能模型及基于某一特定技术的实现模型分离 ,通过不同模型之间的变换 ,使系统能适应技术的进步 ,解决系统在不同中间件平台上的集成、互操作性、可移植性等问题。此外 ,也讨论了这种体系结构的优缺点及今后需要解决的问题。     

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

目前关于软件体系结构的描述已有许多工具支持,但各种工具不仅是领域相关的,而且描述方法也不尽统一,这使设计人员很难选择一种合适的工具,将体系结构的共同特征提取出来,秦为体系结构描述的核心模型,为各种工具提供了共同的基础－若要用某一种工具描述,只需增加与之相关的约束,另一方面将软件体系结构与当前主流的面向对象方法相结合,利用统一建模语言ＵＭＬ的扩充机制,从多个视图描述了软件体系结构,最后结合研究工作给     

一种自适应软件体系结构框架模型的建立

针对网络动态变化的环境和用户需求的变化,提出了一种动态自适应软件体系结构模型,然后在此基础上给出了自适应系统的适应过程,通过调整自身的行为,使得系统具有一定的自适应能力。最后,通过一个简单的实例验证该模型,结果表明该模型具有适应复杂多变的网络环境的能力。     

运行时验证及其应用

计算机软件在日常生活、工业、军事、国家安全领域已占有重要地位,软件的正确性、可靠性、安全性、可用性和可维护性已经受到广泛关注和深入研究。传统的验证技术包括定理证明、模型检测、以及测试,这些方法受到程序的运行以及程序所在环境的不可控等因素的限制。运行时验证的验证过程基于被监控系统的实际运行过程进行,从而有效地避免这些限制,是传统验证技术的有效补充。     

面向领域的快速特征造型的设计与实现

提出了面向领域的快速几何特征造型新方法。受软件工程理论中的“域工程”思想启发,该方法针对特定领域的几何特征造型设计,研究如何将领域知识加以抽象自动化,改良几何造型系统的软件架构设计,优化造型系统的算法设计,从而最终提高特征造型系统的整体效率。基于这一思想方法,讨论并分析了计算机辅助建筑设计中造型的需求,提出了系统实现框架,给出了相应的算法实例。应用实例证明了方法的可用性。     

模型驱动的业务流程建模工具

业务流程管理与面向服务架构为企业的高效整合提供了解决方案。基于模型驱动开发理论,提出一个精炼的业务流程元模型,解决模型间的转换问题,探讨模型实例控制流结构和语义的校验方法,根据模型驱动架构设计并实现基于该元模型的流程建模工具。     

模型驱动的Web服务合成

随着已有Web服务数量的不断增加,如何利用现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题。该文提出了MDA模型转换驱动的合成Web服务开发方法,针对Web合成的静态建模部分,提出了建立Web服务静态结构平台无关和平台相关模型的方法,给出了二者之间的转换规则。     

模型驱动效能评估软件构建平台

效能评估软件开发过程中设计阶段的模型与效能评估软件结构具有高度相似性,传统软件开发方式中设计阶段与开发阶段相分离,效能评估的复杂化导致传统开发方式低效的弊端愈加明显,充分利用设计阶段模型是提高效能评估软件开发效率的关键。提出模型驱动的效能评估软件构建平台（Effectiveness Evaluation Software Develop Platform, EESDP）,EESDP通过将效能评估描述为计算流程来完成效能评估软件的模型设计,通过模型转换和代码生成构建效能评估软件,开发过程具有高效性和易用性。     

MeDEA: A database evolution architecture with traceability

One of the most important challenges that software engineers (designers, developers) still have to face in their everyday work is the evolution of working database systems. As a step for the solution of this problem in this paper we propose MeDEA, which stands for Metamodel-based Database Evolution Architecture. MeDEA is a generic evolution architecture that allows us to maintain the traceability between the different artifacts involved in any database development process. MeDEA is generic in the sense that it is independent of the particular modeling techniques being used. In order to achieve this, a metamodeling approach has been followed for the development of MeDEA. The other basic characteristic of the architecture is the inclusion of a specific component devoted to storing the translation of conceptual schemas to logical ones. This component, which is one of the most noteworthy contributions of our approach, enables any modification (evolution) realized on a conceptual schema to be traced to the corresponding logical schema, without having to regenerate this schema from scratch, and furthermore to be propagated to the physical and extensional levels.     

A Knowledge-Based Software Engineering Environment for reusable software requirements and architectures

This paper describes a prototype Knowledge-Based Software Engineering Environment used to demonstrate the concepts of reuse of software requirements and software architectures. The prototype environment, which is application-domain independent, is used to support the development of domain models and to generate target system specifications from them. The prototype environment consists of an integrated set of commercial-off-the-shelf software tools and custom developed software tools.The concept of reuse is prevalent at several levels of the domain modeling method and prototype environment. The environment itself is domain-independent thereby supporting the specification of diverse application domain models. The domain modeling method specifies a family of systems rather than a single system; features characterize the variations in functional requirements supported by the family and individual family members are specified by the features they are to support. The knowledge-based approach to target system generation provides the rules for generating target system specifications from the domain model; target system specifications, themselves, may be stored in an object repository for subsequent retrieval and reuse.     

逆向工程中的大类图拆分方法

提出了一种大类图拆分方法。首先通过度量工具计算类图中类目(类及接口)间的耦合度。根据面向对象设计中高内聚低耦合的设计原则,将紧耦合的类目划入同一个类图,而耦合度低的类目间实现分离。为了确保生成的类图大小合适,拆分方法对每个类图的大小进行限定,将每个类图的大小限定在预先定义的合理区间内。通过在实际系统中的应用,拆分方法的合理性和有效性得到验证。该大类图拆分方法有利于逆向工程的进一步完善,有利于提高软件模型的可读性和可理解性。