基于模式的业务构件代码生成方法

在企业管理软件中业务构件可以通过参数化和配置技术被复用以适应业务需求的变化,这种构件粒度大、可变参数多、结构复杂难于开发.为了提高业务构件的开发效率,确保开发正确性,本文提出一种面向大粒度构件,基于模式的构件代码生成方法.从已有应用系统中抽取业务构件的典型软件模式,定义一种支持多种编程语言的模式描述语言,用其构造基于模式的非实例化构件,并采用模型驱动的思想,将对应模式下富含业务语义的构件实现模型转换为目标程序,以实现业务构件的自动生成.在此方法指导下,开发一套可视化建模与代码生成工具组,并利用此工具自动生成了运行在J2EE平台上的采购管理系统中部分业务构件,应用结果验证了本方法的有效性和实用性.     

一种MANET可生存性模型的建模方法

文中提出了一种针对移动Ad hoc网络可生存性模型的建模方法,构建MARC（MANET Actor,Role and Coordinator Model）可生存性描述模型,并且支持利用该方法构建的可生存性模型向仿真实例的自动转换。详细分析并形式化描述了MARC模型中涉及的网络服务和事件等概念,并以此为基础设计了可生存性模型描述语言MARCDL,列举了语言中主要的EBNF范式描述。实例分析表明,运用该建模方法,不仅可以抽象地构造出面向战术环境的移动Ad hoc网络可生存性模型,而且为可生存性模型的从高层描述到低层仿真的自动转换提供了有力支持。     

平台无关模型可视化建模的研究与实现

平台无关模型（PIM）是模型驱动架构（MDA）的核心,但目前PIM的建模主要靠手工编写代码实现,故效率低,易出错,复用难。为解决这一难题,以VisibleXML概念为建模规范,以XML为建模语言,提出了一种PIM可视化建模方法。应用此方法,设计实现了一种基于.NET平台的PIM可视化建模框架。某企业在信息系统开发中用此框架进行PIM建模,效率高,错误率低,复用方便,学习成本小。     

模型驱动的座舱显示软件一体化开发及验证方法研究

为适应座舱人机交互显控技术的发展,基于现有的模型开发思想,结合座舱显示软件的开发需求,提出一种模型驱动的座舱显示软件一体化开发及验证方法,对软件架构分层设计,清晰地分离出了底层驱动和模型业务,实现软件全生命周期的图形化建模、集成与仿真,构建可复用、可配置的松耦合软件架构,建立一体化的模型开发与验证方案。通过多个软件项目实践,开展与传统"以代码为中心"开发模式的对比,证明该方法能够更为高效、高质量地实现显示软件的开发与验证,可广泛应用于座舱显示控制技术领域。     

一种基于可重用模型组件的战场目标信源建模方法

战场情报仿真缺乏典型通用目标信源建模方法,难以为后续仿真流程中新概念、新算法的演示验证提供各种规范、完备的战场目标信源建模支撑.为了构建灵活通用、要素完备的典型战场目标信源,提出了基于对象的模版化、组件化的信源建模方法.从目标静态数据模型、目标动态行为模型两个方面进行数字化建模抽象,以模型驱动仿真数据生成,实现战场情报仿真环境下各种异构信源的体系化建模.试验证明该建模方法具有良好实用性,所建立的目标信源仿真模型可灵活组装、自由编配,为情报和作战领域的信源仿真提供了一种灵活、通用的目标建模方法.     

一种目标感知的可配置业务流程分析方法

可配置业务流程模型能够使得在不同的组织之间以可控的方式共享公共流程成为可能,这种模型旨在通过配置满足特定组织的需求,派生出个性化的流程.流程配置由于其配置决策之间的各种依赖关系而变成异常困难,因此,对其进行形式化建模和验证是一个非常重要的问题.由于目标模型能够良好的表达用户需求意图的特点,本文提出一个基于目标感知的可配置业务流程分析方法,这种方法是通过将目标关联到WF-net(即GWF-net),将用户需求意图与业务流程模型进行整合;然后通过增加配置操作将用GWF-net表达的业务流程模型转换成可配置业务流程模型;最后,分析这种可配置业务流程的逻辑结构的正确性并提出用户需求与可配置业务流程配置过程中的一致性定理,为分析与验证在目标约束下可配置业务流程提供一种行为有效的方法.     

基于元模型的复杂航电系统建模

针对当前综合模块化航空电子系统( IMA)开发中存在的问题,提出了一种基于元模型的航电系统建模方法.该方法充分利用了基于特征的元建模理论,通过合理划分和描述构成整体的各部分及其相互关系,构建航电系统领域的元模型.通过建模工具将元模型解释成面向领域的建模语言,在此基础上可构建具体的航电系统模型.以航电系统为实施对象进行了...     

基于MARTE的IMA系统时间资源可调度配置验证

目前综合模块化航空电子系统(IMA)在资源配置方面有非常高的安全可靠性需求,其中时间资源的可调度性配置验证也显得至关重要。本文在AFDX网络架构下提出了一种IMA系统时间相关概念的MARTE建模和时间资源可调度配置的正确性验证方法。建立了IMA系统通信虚拟链路、AFDX终端、分区以及进程等相关元素到MARTE模型元素的建模规则,并设计了基于可调度分析工具MAST的时间资源可调度配置验证框架,最后利用相关实例进行仿真和分析得到验证结果。     

业务可重构的工作流建模系统的设计与实现

提出了一种基于有向网络图的建模方法,将选择结构和并行结构合并在一起,并在任务的配置过程中配置任务的执行条件和后置条件以路由任务的执行.同时层次化结构的采用简化了模型和提高了可读性.系统的设计对于各种流程的建模都通用,使得业务具有可重构性.     

基于面向服务的多租户访问控制模型研究

在具体搭建面向多租户的平台过程中,传统访问控制模型在多租户环境下无法满足租户之间的隔离访问以及对各租户的访问请求实行有效的统一管理。为了在多租户环境下实现一套快速的、访问控制可配置的实施方案,提出一个面向服务的多租户访问控制模型。根据对多视图业务模型之间的关联进行分析,识别出组织模型及其相关的资源模型。通过映射和转换将组织模型转换为面向服务的多租户访问控制模型,并构建访问控制模块对系统进行配置,然后运行访问控制模型。最后,以某交通物流信息平台为范例验证了该模型的可行性和有效性。验证结果表明,模型能够在多租户环境下提供兼备快速配置与访问控制的实现支持。     

云计算环境下PIM与PSM的转化机制的研究

针对基于MDA的云计算软件开发平台下,PIM到PSM之间可靠性转化问题,讨论和研究了基于MI）A的云环境软件开发建模过程、PIM与PSM模型存储与接口形式和MDA的PIM可靠准确转换成PSM的转换机制,给出了基于MDA的云环境软件开发建模模型,并对下一步需要研究的关键技术进行了展望．     

一个支持模型驱动开发的元建模平台的研制

由于当今软件系统的复杂性,模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的.本文阐述了对一个可满足这种需要的元建模平台的研制.其中着重论述了对建模语言的元模型和表示法进行建模的技术,建模语言质量保证机制,以及针对所建立的建模语言和转换定义语言提供自动生成相应工具的设施.     

一种面向嵌入式软件体系结构的形式化建模方法

为了解决MARTE（Modeling and Analysis of Real Time and Embedded systems）在建立嵌入式软件模型时不够精确的问题,结合Object-Z和PTA（Probabilistic Timed Automation）的优点,本文提出了一种集成的形式化建模方法--PTA-OZ.该方法不仅能够对嵌入式软件模型的静态语义和动态语义进行精确描述,而且通过模型转换规则,能够将MARTE模型转换为PTA-OZ模型.并对模型转换的语义一致性进行了验证,证明本文方法在转换过程能够保持结构语义和行为语义的一致性.最后通过实例模型描述从嵌入式软件建模到属性检验的过程.     

Optimal release time for software systems considering cost, testing-effort, and test efficiency

In this paper, we study the impact of software testing effort & efficiency on the modeling of software reliability, including the cost for optimal release time. This paper presents two important issues in software reliability modeling & software reliability economics: testing effort, and efficiency. First, we propose a generalized logistic testing-effort function that enjoys the advantage of relating work profile more directly to the natural flow of software development, and can be used to describe the possible testing-effort patterns. Furthermore, we incorporate the generalized logistic testing-effort function into software reliability modeling, and evaluate its fault-prediction capability through several numerical experiments based on real data. Secondly, we address the effects of new testing techniques or tools for increasing the efficiency of software testing. Based on the proposed software reliability model, we present a software cost model to reflect the effectiveness of introducing new technologies. Numerical examples & related data analyzes are presented in detail. From the experimental results, we obtain a software economic policy which provides a comprehensive analysis of software based on cost & test efficiency. Moreover, the policy can also help project managers determine when to stop testing for market release at the right time.     

基于几何和纹理混合的工业产品三维建模

基于风格化的特征形状或外观样式的三维建模是产品设计客观需求,为此本研究提出了一种基于程序化建模方法的工业产品三维建模软件设计。所述建模方法首先将产品三维模型分割为基础功能模型和样式特征模型,其次搜索基础模型和样式模型的所有可能组合,最后通过采用变形技术将模型在纹理和几何水平上组合。评估结果表明,该建模软件能够输出满足用户感官需求的风格化设计产品,且具有良好的系统性能。     

Combination of Model Checking and Theorem Proving to Verify Embedded Software

1IntroductionFormal methods have attracted more and more atten-tionin the development and verification of high trust-worthy software due toits rigor and precision, whichisbased on mathematics[1 ~4].Formal methods are dividedinto two categories :formal specification andformal ver-ification.Formal verification is based on formal specifi-cation and is used to decide whether a checked systemsupports some given properties . There are two ap-proaches to formal verification: model checking[5]andtheor…     

支持软件重用的面向模式的软件开发方法

软件模式作为一种有效的重用手段正日益得到开发组织和学术界的广泛关注．目前对软件模式的研究侧重于利用非结构化的方法构建和描述模式，开发者很难对模式进行维护和重用．本文提出了一个支持软件重用的面向模式的软件开发过程，它将基于体系结构的建模方法与软件过程有机地结合在一起．面向模式的软件开发过程包括四个阶段：业务分析、需求分析、构件设计和构件实施．模式用于描述各个阶段的丁作产品，同时也是开发经验的表示．不同模式之间的可跟踪性是随着开发过程自动产生的，软件构件具有可跟踪性，其可重用性得到提高．     

一个新颖的虚拟环境建模语言

 虚拟现实系统的复杂性使得对虚拟环境的建模工作较为困难,本文提出了基于属性-行为的面向对象语言模型对虚拟环境的建模提供了更强大的支持,尤其在行为描述、系统性能支持方面更加灵活.在此基础上,我们进一步设计并实现了虚拟环境建模语言YHVML,该语言作为虚拟现实软件开发平台的核心,具有较好的平台独立性.     

基于Simulink的混频器建模与仿真

总结了雷达系统仿真的技术现状,指出了基于传统仿真软件建模与仿真的缺点及Simulink在雷达系统仿真中的优势。以雷达系统中的混频器为例,介绍了如何利用Simulink对其进行建模和仿真,并给出了仿真结果和分析。仿真方法具有模型设计过程简单、修改容易和结果直观等特点。该文的工作不但克服了在工作站上用SPW等系统仿真软件进行雷达系统仿真投入大、推广难的不足,又克服了利用高级语言编写雷达系统软件通用性差、难度高、周期长的缺点。为今后在Simulink上开发大规模雷达系统仿真模型库和仿真复杂雷达系统打下基础。     

飞行器虚拟现实仿真研究

飞行器的虚拟现实仿真是虚拟现实技术在航空航天领域中的重要应用。在这一高复杂研发工作中,如何恰当地利用相关软件开发平台,高效、准确实现目标实体的三维仿真设计、开发是该工作的关键所在。针对这一问题,给出了基于虚拟现实建模语言和3DS Max可视化建模软件进行飞行器三维仿真造型的关键思路和过程方法。