摘要：针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手,将复杂系统模型分为结构模型和行为模型,扩展fUML元模型得到复杂系统的可执行元模型,使用这些元模型来构建复杂系统的可执行模型,并为可执行模型定义了行为语义。为了支持可执行模型的仿真,设计了相应的仿真执行系统,定义模型仿真所需要的仿真语言和执行规约,将行为模型转换为可执行的进程项,依据执行规约对进程项进行仿真执行来实现复杂系统的可执行模型仿真。最后以区域防空系统为例说明了方法的可行性。

摘要：基于元模型的体系结构设计思想和基于可执行模型的评估方法是体系结构领域研究的两个热点,但当前的研究没有将两者结合起来。文章基于DoDAF2.0提出的元模型数据(Meta-Model Data,DM2),将元模型的思想和基于可执行模型的评估方法相结合,分析了基于DM2的逻辑数据与可执行模型各构建要素的对应关系,构建了基于DM2的逻辑数据模型直接转可执行模型的过程框架,重点研究了如何直接从体系结构底层数据转可执行模型的方法,从而为进行基于元模型的体系结构可执行评估提供模型基础,也为进一步实现体系结构自动化验证评估提供技术支持。实例验证了文章提出的方法。

摘要：信息系统体系结构设计是系统开发过程中的一个关键环节,正确评估体系结构能够提高系统开发效率。基于可执行模型的体系结构验证评估方法是一种有效的验证体系结构评估方法。分析基于可执行模型的体系结构验证评估的特点,提出该方法的评估过程和评估内容。提出基于对象Petri网的可执行模型构建方法,并通过实例说明该方法的可行性。

摘要：阐述符合DoDAF标准的SysML系统体系结构设计、设计方案的可执行模型和定量化系统动态性能效能评价。通过作战案例分析,提出了指挥自动化系统体系结构设计过程中建立可执行模型的一般步骤,体系结构设计的可执行模型转化方法,系统性能评价体系的构建和动态性能效能测量方法。从而解决了由系统建模语言(SysML)实现的系统体系结构设计的动态评价问题。

摘要：针对体系组分和需求动态演化等挑战,提出利用可执行体系结构建模与分析辅助体系顶层设计,尽早获取体系建设的关键信息.首先,提出了描述体系结构数据要素语义关系的语义概念模型,在此基础上围绕核心实体及其关系进行体系结构描述构建了体系结构的静态模型;其次,以一种双向可追溯的方式将静态模型转化为可执行模型;再次,利用体系结构静态模型和可执行模型展开了体系结构分析,包括静态分析、动态分析和试验分析;最后,以要地区域防空体系为例说明了方法可行性.

摘要：本文详细介绍了IBM Rational Harmony系统设计方法在某型飞机IDMS项目中的应用过程。首先,完成IDMS项目的需求分析,输出用户需求与系统需求,采用了DOORS作为需求管理工具,建立了两者的Link关系。然后,完成系统功能分析,输出系统全部用例,采用了RHAPSODY作为系统设计工具,对其中一个用例采用用例图、活动图、顺序图和状态图等进行分析和建模,得到该用例的可执行模型,验证需求。最后,开展系统架构设计,完成系统的初步架构模型。同时,用DOORS和RHAPSODY管理系统设计过程中的知识库。

摘要：基于系统建模语言(SysML)的系统模型动态性能效能评价,采用一组性能指标参数值联系系统可执行模型。该评价步骤包括:系统分析与设计、建立CPN(着色Petri网)可执行模型、模型验证、性能分析和效能测定。

摘要：当前UM L建模技术逐渐被很多企业接受、认可,但由于用它建造的系统模型不可执行,难以对模型正确性进行验证,阐述了基于eX ecutab le UM L的面向对象的系统建模技术和方法,结合目前OMG组织提出的模型驱动架构MDA概念,建立高层抽象的可执行模型,引进模型的执行和验证概念,进行前期设计验证,减小项目的实施风险。

摘要：时间触发系统是针对关键性安全控制系统应用的首选,文章在分析传统UML方法在时间触发控制系统上的应用缺陷的基础上,阐述了针对时间控制触发系统的UML表述,并通过无缝结合UML序列图与状态图的方法,建立可通过UML虚拟机执行的模型,避免了模型设计说明与实现分离的问题,模型的可移植性也获得了增强。

摘要：开放组架构框架(TOGAF)业务架构作为数据架构、应用架构和技术架构的基准,在企业系统架构设计中占据引导作用。但由于其自身描述形式的局限性,存在无法对系统业务架构框架动态特征进行分析的问题,故提出一种基于ROAD业务架构的着色petri网(CPN)可执行模型生成方法。该方法基于TOGAF业务架构ACF元模型划分提出的4类模型——规则模型(RM)、组织模型(OM)、活动模型(AM)和数据模型(DM),建立4类模型不同描述形式与CPN建模语言间的对应关系,进而提出以RM,OM,AM和DM为主体的可执行模型五阶段建模方法。最后,以幼儿园智能晨检机器人系统业务架构为例,验证了所提方法的可行性和有效性。该方法实现了灵活、自动化的CPN可执行模型的生成,打破了业务架构建模语言和CPN建模语言之间的限制。