期刊文献+
共找到31篇文章
< 1 2 >
每页显示 20 50 100
基于模型的IMA时间资源配置验证方法研究 被引量:6
1
作者 王明明 胡军 +1 位作者 张维珺 李宛倩 《计算机技术与发展》 2018年第5期32-37,共6页
综合模块化航空电子系统(IMA)在飞机机载航空电子系统领域应用广泛,已经成为飞机机载系统的重要的系统结构和发展趋势。IMA具有高安全性,资源共享和高度模块化综合化的特征,模块或组件间以AFDX网络连接。在IMA系统开发的过程中,为确保... 综合模块化航空电子系统(IMA)在飞机机载航空电子系统领域应用广泛,已经成为飞机机载系统的重要的系统结构和发展趋势。IMA具有高安全性,资源共享和高度模块化综合化的特征,模块或组件间以AFDX网络连接。在IMA系统开发的过程中,为确保系统的可靠性和安全性,IMA资源配置必须是正确的和安全有效的。所以对IMA进行有效的系统资源配置并保证配置的正确性和安全性成为航电领域一项重要的研究内容。结合IMA系统的特征,提出了一种基于模型的IMA系统时间资源配置的验证方法。建立IMA系统时间行为的MARTE模型,使用可调度分析工具MAST,分析系统时间资源的可调度性,仿真分析、验证IMA配置与需求之间的满足性。并结合IMA系统中的一个水处理系统的实例来进行分析验证。 展开更多
关键词 综合航电系统 模型驱动工程 MARTE 系统资源配置 MAST
下载PDF
无人机飞控软件系统建模与测试用例生成研究 被引量:4
2
作者 吴黎明 胡军 +2 位作者 曹东 徐丙凤 于笑丰 《计算机科学》 CSCD 北大核心 2012年第7期112-118,共7页
软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战。采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动... 软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战。采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动态行为的形式化模型实例;结合无人机FCS系统的应用背景,建立了基于时间自动机模型的测试用例生成方法,包括建立测试用例生成框架、测试用例生成规则以及用例生成策略等;对某型无人机飞控软件系统中的主控模块进行了建模与测试用例生成的实例分析研究。 展开更多
关键词 模型驱动工程 基于模型的测试 飞行控制软件 时间自动机 无人机系统
下载PDF
模型驱动的安全关键系统重配置信息验证方法 被引量:4
3
作者 胡军 马金晶 +3 位作者 刘雪 程桢 石娇洁 黄志球 《计算机科学与探索》 CSCD 北大核心 2015年第4期385-402,共18页
近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建... 近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。 展开更多
关键词 系统配置信息验证 MARTE 模型驱动工程 ARINC653 综合模块化航电系统(IMA)
下载PDF
Creation of a Meta-Model for the Generation of a Webmapping Application
4
作者 Paul Franck Hery Antenaina Aimé Richard Hajalalaina +1 位作者 Hasina Rakotonirainy Reziky Zafimarina 《Journal of Geographic Information System》 2021年第4期452-465,共14页
Our research focuses on creating a meta-model for generating a web mapping application. It was difficult for non-geomatics developers to implement a webmapping application. Indeed, this type of application uses geospa... Our research focuses on creating a meta-model for generating a web mapping application. It was difficult for non-geomatics developers to implement a webmapping application. Indeed, this type of application uses geospatial data that require geomatics skills. For this reason, in order to help non-geomatics developers to set up a webmapping application, we have designed a meta-model that automatically generates a webmapping application using model-driven engineering. The created meta-model is used by non-geomatics developers to explicitly write the concrete syntax specific to the webmapping application using the xtext tool. This concrete syntax is automatically converted into source code using the xtend tool without the intervention of the non-geomatics developers. 展开更多
关键词 Webmapping model driven engineering model driven Architecture META-model WEBGIS GIS
下载PDF
Transforming Model Oriented Program into Android Source Code Based on Drools Rule Engine 被引量:1
5
作者 Ei Ei Thu Nwe Nwe 《Journal of Computer and Communications》 2017年第3期49-59,共11页
Model transformation is one of the prominent features and the rising research area of Model Driven Engineering (MDE). MDE promotes models to primary artifacts that drive the whole development process. This paper prese... Model transformation is one of the prominent features and the rising research area of Model Driven Engineering (MDE). MDE promotes models to primary artifacts that drive the whole development process. This paper presents the model transformation approach for textual model oriented programs Umple (UML Programming Language) to generate android applications (apps). The proposed approach improved the generation of android source code by using Drools transformation rules and introducing new concern in model driven mobile engineering. The major objective of proposed transformation approach intends to address consistency between source and target model and also intends to handle productivity issues in model driven software development. The main results of model transformation approach are Java class for model layer, XML file for view layer and android activity class for controller layer. Results show that proposed approach achieves high consistency between source and target model and also improves model transformation productivity. 展开更多
关键词 model driven engineering Transformation RULE model ORIENTED PROGRAM
下载PDF
基于模型驱动工程的形式化模型转换技术 被引量:2
6
作者 朱智 雷森 雷永林 《系统仿真学报》 CAS CSCD 北大核心 2021年第9期2119-2127,共9页
随着仿真系统的复杂性及其仿真模型在各个领域的广泛应用,用户对仿真模型的开发效率和质量提出了更高的要求。针对当前模型驱动工程主要应用于有关仿真软件工具的工程化实现,尚未达到模型层面而未能进行形式化分析,基于模型驱动工程,从... 随着仿真系统的复杂性及其仿真模型在各个领域的广泛应用,用户对仿真模型的开发效率和质量提出了更高的要求。针对当前模型驱动工程主要应用于有关仿真软件工具的工程化实现,尚未达到模型层面而未能进行形式化分析,基于模型驱动工程,从元建模、模型转换两个方面设计了领域特定语言及形式化的模型转换体系,以火控通道控制系统为例,将概念模型自动化转换为具有精确语义形式体系表示的可执行仿真模型,直到最终代码框架的生成。研究成果具有通用性,能为各类模型转换工作提供有效指导,对提升仿真模型的开发效率和质量有重要意义。 展开更多
关键词 模型驱动工程 元建模 模型转换 语言工程
下载PDF
基于模型转换的IMA系统可调度性验证方法 被引量:2
7
作者 胡军 程桢 +2 位作者 马金晶 刘雪 石姣洁 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2015年第3期403-411,共9页
综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(... 综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering,MDE)框架下,基于实时嵌入式系统建模与分析(Modeling and analysis of real-time and embedded system,MARTE)模型的ARINC653分区调度系统建模转换与可调度性验证的方法。借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析。 展开更多
关键词 综合模块化航电系统 可调度性验证 ARINC653 实时嵌入式系统与分析 模型驱动工程
下载PDF
Model Transformation Using a Simplified Metamodel
8
作者 Hongming Liu Xiaoping Jia 《Journal of Software Engineering and Applications》 2010年第7期653-660,共8页
Model Driven Engineering (MDE) is a model-centric software development approach aims at improving the quality and productivity of software development processes. While some progresses in MDE have been made, there are ... Model Driven Engineering (MDE) is a model-centric software development approach aims at improving the quality and productivity of software development processes. While some progresses in MDE have been made, there are still many challenges in realizing the full benefits of model driven engineering. These challenges include incompleteness in existing modeling notations, inadequate in tools support, and the lack of effective model transformation mechanism. This paper provides a solution to build a template-based model transformation framework using a simplified metamode called Hierarchical Relational Metamodel (HRM). This framework supports MDE while providing the benefits of readability and rigorousness of meta-model definitions and transformation definitions. 展开更多
关键词 model driven engineering modeling METAmodelING model TRANSFORMATION
下载PDF
基于模型的测试在工作流应用程序中的研究 被引量:1
9
作者 汪祎然 张树东 《计算机测量与控制》 2016年第6期143-146,共4页
近年来,工作流技术越来越多的应用于软件程序中,与之相关的新工作流语言以及工作流引擎也得到了快速的发展;但是,目前辅助工作流应用软件的测试方法仍显不足,特别是工作流引擎测试方面还存在着严重的局限性;为此,提出了基于模型测试的... 近年来,工作流技术越来越多的应用于软件程序中,与之相关的新工作流语言以及工作流引擎也得到了快速的发展;但是,目前辅助工作流应用软件的测试方法仍显不足,特别是工作流引擎测试方面还存在着严重的局限性;为此,提出了基于模型测试的方法对工作流引擎进行测试,此外,还引入了抽象测试框架的概念,将其应用到工作流的测试上,它能够为工作流引擎构建测试环境和测试套件;最后,在Cumbia平台上搭建的一个工作流引擎上进行应用,说明了基于模型的测试方法和抽象测试框架可以有效应用于工作流引擎的测试。 展开更多
关键词 基于模型的测试 工作流测试 基于跟踪执行分析 模型驱动工程
下载PDF
A Structural and Generative Approach to Multilayered Software Architectures
10
作者 Georges Edouard Kouamou Willy Kengne Kungne 《Journal of Software Engineering and Applications》 2017年第8期677-692,共16页
The layered software architecture is the model commonly adopted for the development of information systems since it favors the modularity and the scalability of the systems. On the other hand, the emergence of model e... The layered software architecture is the model commonly adopted for the development of information systems since it favors the modularity and the scalability of the systems. On the other hand, the emergence of model engineering aims to raise the level of abstraction to allow developers to reason on models, and less in code. The research question is to combine the two approaches to facilitate the work of developers. The proposal resulting from this study is based on a set of concepts defined using the UML profiles. These concepts include services, business components, and data persistence. Then the Kruchten model is adopted to represent the development cycle according to several views, each view being represented by UML diagrams derived from the previously defined profiles. Finally, rules are available for checking inter-view consistency, from refinement to code generation. The result is a step towards the definition of a domain specific ADL and a development process as much as it includes the expected characteristics of such a language, namely: the fundamental concepts, the support tools and the multiview development. 展开更多
关键词 ADL ARCHITECTURAL STYLE model driven engineering UML Service Software Development Process
下载PDF
IFML模型和OWL本体对Web图形界面的研究
11
作者 朱汇龙 刘晓燕 +2 位作者 张雪梅 曹荣凯 李丹丹 《软件》 2017年第12期211-215,共5页
IFML(Interaction Flow Modeling Language)的目标是为系统架构师、软件工程师和软件开发人员提供描述应用程序前端主要维度的交互流模型的定义工具。针对当前描述图形界面的抽象模型问题,提出了一种基于MDE的模型驱动开发方法,它将逻... IFML(Interaction Flow Modeling Language)的目标是为系统架构师、软件工程师和软件开发人员提供描述应用程序前端主要维度的交互流模型的定义工具。针对当前描述图形界面的抽象模型问题,提出了一种基于MDE的模型驱动开发方法,它将逻辑描述UI组件及其与IFML捕获的交互合并,以增强Web应用程序界面的呈现。该方法用简单真实用户界面来产生一个HTML5模型作为目标模型。最终将IFML与ODM组合在一起以生成用户图形界面,通过实例验证了该方法的可行性。 展开更多
关键词 ODM IFML 图形界面 模型驱动 平台独立模型
下载PDF
基于IFML自动生成Web和移动应用程序的研究
12
作者 朱汇龙 刘晓燕 +2 位作者 张雪梅 李丹丹 曹荣凯 《软件》 2017年第11期95-100,共6页
IFML(Interaction Flow Modeling Language)的目标是为系统架构师、软件工程师和软件开发人员提供描述应用程序前端主要维度的交互流模型的定义工具。用于Web和移动应用程序开发的各种不同平台且需要快速原型设计和多个版本的评估。模... IFML(Interaction Flow Modeling Language)的目标是为系统架构师、软件工程师和软件开发人员提供描述应用程序前端主要维度的交互流模型的定义工具。用于Web和移动应用程序开发的各种不同平台且需要快速原型设计和多个版本的评估。模型驱动开发(MDD)以文本或视觉语言来代表高级应用程序,可用于通过模型到模型、模型到代码自动转换最终生成产品。我们描述了IFMLEdit.org,一个开源的在线MDD工具,用于从IFML规范自动生成Web和移动应用程序的快速原型。该工具还支持从IFML到PCN(petri网的一个变体)的语义映射,用于模型模拟和检查。 展开更多
关键词 IFML 移动应用 模型驱动开发 语义映射
下载PDF
ARINC653航空电子系统AADL建模技术研究
13
作者 单鹏 王长宇 《测控技术》 CSCD 北大核心 2013年第7期118-120,145,共4页
随着ARINC653系统在我国航空领域的广泛应用,研究ARINC653系统建模方法将为进一步研究基于模型的ARINC653系统可靠性、可调度性分析奠定基础。详细研究了ARINC653系统AADL建模的方法,具体描述了ARINC653系统、分区、进程、进程通信和健... 随着ARINC653系统在我国航空领域的广泛应用,研究ARINC653系统建模方法将为进一步研究基于模型的ARINC653系统可靠性、可调度性分析奠定基础。详细研究了ARINC653系统AADL建模的方法,具体描述了ARINC653系统、分区、进程、进程通信和健康监控等核心元素的AADL建模映射机制,并进行实例说明。 展开更多
关键词 AADL模型 ARINC653系统 模型驱动工程
下载PDF
基于MDE的异构模型转换:从MARTE模型到FIACRE模型 被引量:9
14
作者 张天 Frédéric JOUAULT +2 位作者 Christian ATTIOGBE Jean BEZIVIN 李宣东 《软件学报》 EI CSCD 北大核心 2009年第2期214-233,共20页
通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的... 通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性. 展开更多
关键词 模型驱动工程 形式化方法 MARTE(modeling and analysis of real time and embedded systems) FIACRE (intermediate format for the architectures ofembedded distributed components) 异构性
下载PDF
基于模型的自适应方法综述 被引量:9
15
作者 赵天琪 赵海燕 +1 位作者 张伟 金芝 《软件学报》 EI CSCD 北大核心 2018年第1期23-41,共19页
自适应为管理现代软件系统的复杂性提供了有效的解决方案,被设计为自适应系统的软件能够持续地演化以应对环境中的不确定性.在现有的研究工作中,基于模型的自适应方法是一类广泛使用的方法,它将模型驱动工程技术的应用从设计时扩展到运... 自适应为管理现代软件系统的复杂性提供了有效的解决方案,被设计为自适应系统的软件能够持续地演化以应对环境中的不确定性.在现有的研究工作中,基于模型的自适应方法是一类广泛使用的方法,它将模型驱动工程技术的应用从设计时扩展到运行时,以支持自适应能力的实现.通过利用软件模型对运行时丰富和不确定的信息进行管理,这类方法避免了将自适应逻辑与程序语言交织带来的复杂性,从而简化了自适应系统的开发.对近些年来国内外学者在该研究领域取得的成果进行了系统总结.首先给出了6个研究问题,包括相关工作常用的需求模型、结构模型、行为模型、环境模型、模型与模型或模型与系统间的同步方式、自适应规划算法等;然后,依次总结了相关工作在这6个研究问题上的已有研究成果;最后,对未来研究可能面临的挑战进行了展望. 展开更多
关键词 自适应软件 模型驱动的软件工程 基于模型的自适应 自适应规划方法.
下载PDF
运行时软件体系结构的建模与维护 被引量:8
16
作者 宋晖 黄罡 +4 位作者 武义涵 Franck CHAUVEL 孙艳春 邵维忠 梅宏 《软件学报》 CSCD 北大核心 2013年第8期1731-1745,共15页
运行时体系结构是系统运行时刻的一个动态、结构化的抽象,描述系统当前的组成成分、各成分的状态和配置以及不同成分之间的关系.运行时体系结构与目标系统间具有动态的因果关联,即系统的变化及时体现在体系结构上,而对体系结构的修改及... 运行时体系结构是系统运行时刻的一个动态、结构化的抽象,描述系统当前的组成成分、各成分的状态和配置以及不同成分之间的关系.运行时体系结构与目标系统间具有动态的因果关联,即系统的变化及时体现在体系结构上,而对体系结构的修改及时影响当前系统.运行时体系结构允许开发者以读写体系结构的方式实现系统的监测和调整,是体系结构层次系统动态适应与在线演化的基础.构造运行时体系结构的关键是针对不同的目标系统和体系结构风格实现合适的基础设施,以维护二者之间的因果关联.由于目标系统和体系结构的多样性以及因果关联维护逻辑的复杂性,这一构造过程往往过于繁琐、易错、难以复用和维护.提出一种模型驱动的运行时体系结构构造方法.开发者只需针对目标系统、体系结构以及两者之间的关系分别进行建模,根据这些模型,支撑框架自动构造合法而高效的运行时体系结构基础设施.基于MOF和QVT标准建模语言定义了一组运行时体系结构建模语言,并基于通用的模型与系统间同步技术实现了相应的支撑框架.一系列实例研究表明,该方法具有广泛的适用性,并显著提高了运行时体系结构构造过程的效率与可复用性. 展开更多
关键词 运行时体系结构 模型驱动软件工程 领域特定建模 运行时维护与演化
下载PDF
面向安卓应用建模的IFML扩展 被引量:6
17
作者 陆一飞 潘敏学 +2 位作者 张天 王林章 李宣东 《软件学报》 EI CSCD 北大核心 2019年第10期3148-3167,共20页
随着智能机以及平板电脑的普及,安卓应用逐渐成为日常生活中不可或缺的重要元素之一,其复杂度也呈几何倍数增长.安卓平台存在的多设备类型、多操作系统版本问题,使得应用的设计和开发更为复杂.在这一现状下,提倡在安卓应用开发中使用模... 随着智能机以及平板电脑的普及,安卓应用逐渐成为日常生活中不可或缺的重要元素之一,其复杂度也呈几何倍数增长.安卓平台存在的多设备类型、多操作系统版本问题,使得应用的设计和开发更为复杂.在这一现状下,提倡在安卓应用开发中使用模型来描述其开发需求与设计,以帮助开发人员更好地将注意力集中于应用,加深对开发意图的理解,更好地进行后续的开发工作.然而,当前对安卓应用的建模都采用了传统模型,无法满足安卓应用事件驱动和注重图形用户界面的特点.为此,将注重前端展示以及事件交互的交互流建模语言(IFML)应用于安卓应用的建模,描述应用中的 GUI 结构以及其中工作流的传递,从而指导应用的开发工作.考虑到安卓平台的特点,对IFML 进行了相应的面向安卓的扩展,提高了其可用性与对安卓应用的适用性,并对 IFML 模型进行了形式化定义,使得 IFML 模型能以丰富而又精确的语义来刻画开发者对于安卓应用的设计,并在应用的实现和演化中不断发挥指导作用.另外,进一步探索了 IFML 模型在应用测试这一场景中的作用.基于模型的测试方法能够检验设计和实现的一致性,还能在应用的演化过程中避免测试用例的重复编写.在案例研究中,针对 5 个安卓应用进行了 IFML 建模与测试.实验结果表明,扩展后的 IFML 在安卓应用的建模上可行、有效,所建立的 IFML 模型可直接用于测试工作,用于检测应用实现与设计是否保持一致,从而保证应用的开发质量. 展开更多
关键词 交互流建模语言 安卓应用 模型驱动工程 基于模型的测试
下载PDF
面向领域驱动设计的逆向建模支持方法 被引量:4
18
作者 钟陈星 李文君 +1 位作者 任贵杰 荣国平 《软件学报》 EI CSCD 北大核心 2022年第7期2562-2580,共19页
领域驱动设计作为一种应对领域复杂性的软件开发方法,近年来得到了广泛应用.作为其中的关键步骤,领域建模仍然面临着领域模型与程序设计之间松散的逻辑关系带来的种种问题.为了应对此问题,基于模型驱动的逆向工程,提出了一种面向领域驱... 领域驱动设计作为一种应对领域复杂性的软件开发方法,近年来得到了广泛应用.作为其中的关键步骤,领域建模仍然面临着领域模型与程序设计之间松散的逻辑关系带来的种种问题.为了应对此问题,基于模型驱动的逆向工程,提出了一种面向领域驱动设计的代码到模型的转换方法,以更好地支持领域建模,并实现了自动化工具原型.该方法能够实时抽象出程序设计对应的领域模型,一方面有助于通过对比程序设计与领域模型的分歧来避免设计偏离模型,另一方面减少了知识消化过程中对代码实现细节的依赖,从而促进了程序设计对建模过程的反馈.案例研究部分将该方法应用于实际软件项目,结果充分表明了其有效性. 展开更多
关键词 领域驱动设计 代码到模型转换 模型驱动的逆向工程 领域模型 程序设计
下载PDF
从信息物理融合系统问题模型到UML用例图的变换方法 被引量:4
19
作者 李智 邓杰 +1 位作者 杨溢龙 韦尚锋 《计算机科学》 CSCD 北大核心 2020年第12期65-72,共8页
问题框架(Problem Frames,PF)方法在需求工程研究中已经获得广泛重视,特别是应用于基于环境建模的信息物理融合系统中,但如何有效地把问题模型(问题图及相关描述)转换为软件设计和实现,仍是一个亟待解决的问题。文中提出了一种问题框架... 问题框架(Problem Frames,PF)方法在需求工程研究中已经获得广泛重视,特别是应用于基于环境建模的信息物理融合系统中,但如何有效地把问题模型(问题图及相关描述)转换为软件设计和实现,仍是一个亟待解决的问题。文中提出了一种问题框架与模型驱动技术相结合的方法,其可将问题模型转换为UML(Unified Modeling Language)需求模型中的用例图和概念类图,进而指导软件系统的设计和实现。所开发的CASE工具,通过支持领域涉众和软件设计人员合作建模来提高需求质量,并允许从问题空间的需求模型平滑过渡到解空间的软件设计。通过文献[1]中一个基准案例(邮件分拣控制问题)的扩展版本,展示了其可行性及在实际应用场景下的使用,从而对推动问题框架方法从理论研究走向实际应用具有重要意义。 展开更多
关键词 信息物理融合系统 问题框架 统一建模语言 需求工程 模型驱动工程
下载PDF
Model architecture-oriented combat system effectiveness simulation based on MDE 被引量:3
20
作者 Yonglin Lei Ning Zhu +2 位作者 Jian Yao Hessam Sarjoughian Weiping Wang 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2017年第5期900-922,共23页
Combat system effectiveness simulation (CSES) is a special type of complex system simulation. Three non-functional requirements (NFRs), i.e. model composability, domain specific modeling, and model evolvability, are g... Combat system effectiveness simulation (CSES) is a special type of complex system simulation. Three non-functional requirements (NFRs), i.e. model composability, domain specific modeling, and model evolvability, are gaining higher priority from CSES users when evaluating different modeling methodologies for CSES. Traditional CSES modeling methodologies are either domain-neutral (lack of domain characteristics consideration and limited support for model composability) or domain-oriented (lack of openness and evolvability) and fall short of the three NFRs. Inspired by the concept of architecture in systems engineering and software engineering fields, we extend it into a concept of model architecture for complex simulation systems, and propose a model architecture-oriented modeling methodology in which the model architecture plays a central role in achieving the three NFRs. Various model-driven engineering (MDE) approaches and technologies, including simulation modeling platform (SMP), unified modeling language (UML), domain specific modeling (DSM), eclipse modeling framework (EMF), graphical modeling framework (GMF), and so forth, are applied where possible in representing the CSES model architecture and its components' behaviors from physical and cognitive domain aspects. A prototype CSES system, called weapon effectiveness simulation system (WESS), and a non-trivial air-combat simulation example are presented to demonstrate the methodology. 展开更多
关键词 combat system effectiveness simulation (CSES) model architecture model-driven engineering (MDE) simulation modeling platform (SMP) domain specific modeling (DSM) weapon effectiveness simulation system (WESS)
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部