Safe model polymorphism for flexible modeling

Domain-Specific Languages (DSLs) are increasingly used by domain experts to handle various concerns in systems and software development. To support this trend, the Model-Driven Engineering (MDE) community has developed advanced techniques for designing new DSLs. However, the widespread use of independently developed, and constantly evolving DSLs is hampered by the rigidity imposed to the language users by the DSLs and their tooling, e.g., for manipulating a model through various similar DSLs or successive versions of a given DSL. In this paper, we propose a disciplined approach that leverages type groups׳ polymorphism to provide an advanced type system for manipulating models, in a polymorphic way, through different DSL interfaces. A DSL interface, a.k.a. model type, specifies a set of features, or services, available on the model it types, and subtyping relations among these model types define the safe substitutions. This type system complements the Melange language workbench and is seamlessly integrated into the Eclipse Modeling Framework (EMF), hence providing structural interoperability and compatibility of models between EMF-based tools. We illustrate the validity and practicability of our approach by bridging safe interoperability between different semantic and syntactic variation points of a finite-state machine (FSM) language, as well as between successive versions of the Unified Modeling Language (UML).     

基于模型工程的C4ISR系统仿真建模研究

现代作战模拟系统的不断发展对C4ISR系统的效能评估提出了更高的要求,为了进一步实现C4ISR系统效能评估模型的互通、互联、互操作等特性,提出了C4ISR系统效能评估模型的建模程式和效能评估模型的描述规范、表述规则、评价标准、维护方法和管理制度,从而为C4ISR系统效能评估提供规范的建模支撑技术,研究相关关键技术,并验证C4ISR系统效能评估模型的可靠性,组建优质模型资源库,实现C4ISR系统效能评估模型的可重用性。     

聚合作战建模研究

该文首先说明聚合作战模型建模的必要性,然后归纳了聚合作战模型的特征,给出模型的一般抽象结构及其组分的一些实用的建模方法。最后探讨了聚合作战模型一致性的有关问题。通过研究,明确了聚合作战模型建模的整体框架、主要方法和存在的问题,为进一步研制和开发聚合作战模型打下基础。     

Rule-based update transformations and their application to model refactorings

A rule-based update transformation is a model transformation where a single model is transformed in place. A model refactoring is a model transformation that improves the design described in the model. A refactoring should only affect a previously chosen subset of the original model. In this paper, we discuss how to define and execute model refactorings as rule-based transformations in the context of the UML and MOF standards. We also present an experimental tool to execute this kind of transformation.     

Internet建模技术研究和实现

Internet建模是研究Internet网络传输技术的基础,分析了各种建模方法,比较了不同建模方法所产生的拓扑图,并给出能够产生特定性质拓扑图的有效方法及Transit-Stub方法的具体实现步骤。     

虚拟现实的建模技术

本文介绍了虚拟现实建模所涉及的一些基本概念、基本技术和开发工具，包括几何建模、运动建模、物理建模、对象特征、模型分割，以及ＯｐｅｎＩｎｖｅｎｔｏｒ和ＶＲＭＬ语言等建模工具。     

多层多视多体建模方法研究

仿真是一种基于模型的试验行为,从某种意义上,模型的正确和准确,决定了仿真的效率和质量。但一组好的模型的诞生,必须有一套正确的建模方法作支持。从这个角度讲,一种科学有效的建模方法比一组好的模型更重要。该文在归纳目前国内外仿真界较为流行的多种建模方法并进行对比分析的基础上,提出了多层多视多体建模的思想,并给出了该建模方法的具体应用过程。最后,采用该文方法,建立了一组仿真模型。     

集成建模环境中建模过程自动理解方法研究

模型的自动构建是集成建模环境中的一个重要功能,构模知识的获取是自动构模中的一个瓶颈问题。提出一种建模过程理解方法,通过这种方法,系统能够对专家构建的模型进行理解,获取相关的构模知识。     

建模VV＆A与仿真VV＆A比较之浅见

建模与仿真在许多领域得到越来越广泛、深入的应用,模型与仿真本身的准确性和置信度越来越受到人们的关注,也就是VV&A日益重要。该文结合分析建模与仿真的过程,在分析了VV&A的层次与结构的基础上,重点从三个方面剖析、比较了建模V&V与仿真V&V的不同:第一,历史发展和内在本质;第二,考察对象和应用的方法;第三,思维特点。这些比较分析,促进了更好地理解二者的差异。最后给出了所研究的结论,期望对VV&A工作起到指导作用。