一种模型驱动的交互式信息可视化开发方法

设计与实现面向领域应用的交互式信息可视化软件十分困难.缺乏统一的开发方法与支撑工具箱,为非专家用户提供对层次、网络、多维等数据类型的统一支持,对各种可视化技术与交互技术的统一支持,以及对信息可视化任务的统一支持针对此问题,提出了一种模型驱动的交互式信息可视化开发方法Daisy.首先,提出了交互式信息可视化界面模型IIVM(interactive information visualization interface model);然后,提出了基于IIVM的交互式信息可视化开发方法Daisy,讨论了该方法的两个核心技术:IIVM建模与描述文件生成方法、系统自动生成方法.同时。给出了Daisy工具箱,包括Daisy建模工具、Daisy系统自动生成工具以及运行时框架与组件库.最后,给出了该开发方法与工具箱的应用实例.实例表明,该方法能够为交互式信息可视化开发的统一支撑方法问题提供一种有效的解决方案.     

U-boot下以太网卡驱动实现

U-boot环境下,嵌入式系统为了与主机进行以太网通信必须开发以太网卡驱动.重点分析U-boot下DM9000网卡驱动模型,同卡配置并给出驱动工作的代码流程.给出U-boot的编译、下载方法,驱动程序开发完成后能够给上层网络应用提供底层支持.通过测试,该驱动运行良好.     

基于形式化方法的测试驱动开发研究

对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并时现有方法进行了分析和比较.给出了一种基于形式化方法的测试用例生成和管理方案.该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试驱动开发的效率.最后给出了该方案在极限编程各个开发阶段的应用.     

面向虚拟仪器的图形化语言开发环境设计

E语言是一种用于描述虚拟仪器系统的可视化(图形化)语言。与其它基于纯数据流(DHDF)的可视化语言不同,它是基于事件触发并发数据流模型(ECDF)的,具有较高的运行效率和更好的实时性。以该可视化语言为基础,文中介绍了一个可视化开发环境DEE。通过该可视化开发环境,组建一个测控系统就像画一个流程图或连接几台仪器那么简单。与其它可视化开发环境相比,它不仅易于被用户所掌握、具有更好的兼容性,更重要的是它能够开发在其他可视化平台中不能完成的中断驱动和多线程应用。文中不仅介绍了可视化开发环境主要框架结构以及与E语言特点相关的驱动程序结构,而且还描述了程序编辑器和画线算法。     

MDA概念和技术在仿真系统开发中的应用研究

模型驱动架构(MDA)集成了统一建模语言(UML)、元对象机制(MOF)、可扩展标记语言(XML)和基于XML的元数据交换(XMI)等一系列标准,强调模型在软件开发中的重要作用.简要分析了建模与仿真和软件工程领域的若干典型模型开发与运行过程,将仿真系统的开发过程划分为需求工程、分析、设计、实现和试验五个主要阶段;探讨了模型驱动架构(MDA)的概念和技术(包括模型、建模技术、模型变换技术、代码自动生成技术等)在仿真系统开发各个阶段的应用;以交通仿真为例,给出了部分建模与仿真结果,展示了仿真系统开发过程与MDA相结合的可行性,表明了在MDA工具的支持下,MDA概念和技术的应用可以提高仿真系统的开发效率.     

支持代码自动生成的行为建模

本文根据模型驱动体系结构思想,针对目前代码自动生成工具对于行为代码生成支持不足的问题,提出了一种行为建模方法。通过对UML活动图进行扩展,进而对系统行为进行描述,使行为模型具有计算完备性。在一定程度上提高模型驱动代码生成的自动化程度,进一步减少应用系统开发的工作量,同时提高系统的可靠性和可维护性。     

一种虚拟场景的动态建模与实时仿真方法

针对虚拟现实技术中虚拟场景的生成及仿真问题,将场景中的实体位置状态及其基元间的连接关系统一用关节描述;通过建立场景连接图来描述场景结构模型,并采用关节驱动基元的方式来进行场景的更新操作,从而提出一种面向连接的关节驱动型虚拟场景的动态建模与实时仿真方法.在此基础上,开发通用的虚拟场景可视化软件平台,并通过测试验证提出的方法可以有效提高场景的建模与仿真处理效率.     

AndroMDA模型转换组件的扩展研究

AndmMDA是一种支持模型驱动架构的开发工具,模型转换组件是其实现从模型到代码的转换的核心部件.在应用AndroMDA进行系统开发时,往往需要对其模型转换组件进行定制,以生成满足特定需要的代码.文中提出了一种对AndroMDA的模型转换组件进行扩展的方法,并使用该方法对模型转换组件Bpm4Struts Cartridge进行了扩展.使用扩展后的Bixn4StrutsCartridge可以从UML状态图生成基于Struts框架和Ajax框架DWR的代码,从而实现了在UML模型中可视化地应用Ajax技术的目标.     

支持MDA的Web报表系统开发模型及其应用

依据模型驱动体系结构（MDA）的开发理念,并遵循应用程序与用户界面设计相分离的思想,以系统功能和界面描述的高层次抽象为基础,提出一种支持MDA的Web报表系统开发模型。以ASRNET为目标平台进行实验验证,表明该方法遵循了MDA开发的实质、过程和要求,能较好地与系统应用开发模型组合在一起,提高Web报表系统的质量和开发效率。     

一个轻量级多设备用户界面描述语言MDUIDL

为适应多设备环境下用户界面开发的需求,解决当前UIDL存在的一些问题,设计并实现了一个轻量级多设备用户界面描述语言MDUIDL。该语言分为抽象界面描述语言、具体界面描述语言、事件描述语言和设备描述语言,分别从不同侧面对多设备应用系统的用户界面进行描述。通过实例研究,表明该语言具有良好的界面表达能力和对多设备环境的支持,且简单易学,易于使用。     

基于MVC模式的Web用户界面建模

分析了企业信息系统的Web用户界面开发特性,研究了当前主流前端框架的MVC(模型-视图-控制器)设计模式应用,针对Web前端开发需求及最佳实践方法,提出了一种符合MVC用户界面开发最佳实践的组件化Web用户界面建模方法.设计一套抽象和描述Web用户界面组件的UML(统一建模语言)概要文件,从界面数据模型、界面组件模型到界面交互模型等3个方面完成Web用户界面建模.以一个装修行业定制型ERP(企业资源计划)系统为例,通过用户界面建模实践,验证了本建模方法的可行性、易用性和有效性.     

Model-driven engineering: A survey supported by the unified conceptual model

During the last decade a new trend of approaches has emerged, which considers models not just documentation artefacts, but also central artefacts in the software engineering field, allowing the creation or automatic execution of software systems starting from those models. These proposals have been classified generically as Model-Driven Engineering (MDE) and share common concepts and terms that need to be abstracted, discussed and understood. This paper presents a survey on MDE based on a unified conceptual model that clearly identifies and relates these essential concepts, namely the concepts of system, model, metamodel, modeling language, transformations, software platform, and software product. In addition, this paper discusses the terminologies relating MDE, MDD, MDA and others. This survey is based on earlier work, however, contrary to those, it intends to give a simple, broader and integrated view of the essential concepts and respective terminology commonly involved in the MDE, answering to key questions such as: What is a model? What is the relation between a model and a metamodel? What are the key facets of a modeling language? How can I use models in the context of a software development process? What are the relations between models and source code artefacts and software platforms? and What are the relations between MDE, MDD, MDA and other MD approaches?     

As You Like It: Personalized Database Visualization Using a Visual Language

The Delaunay system supports a visual language that is specifically geared to the querying and visualization of databases. In this paper, we concentrate on the information visualization capabilities of the system. A distinctive feature of Delaunay is its full personalization capabilities: users can define their visualizations from scratch without limiting themselves to pre-defined visualization modes. Fine customization of the visualization is achieved by the availability of a visual alphabet of atomic graphical symbols and by the expressive power of the visual query language, which supports recursion.We describe the key components of the Delaunay system, namely its interface modules, which support advanced visualization techniques and principles, and its efficient constraint solver. The successful implementation of Delaunay demonstrates the feasibility of a powerful database system with which users can effectively specify a wide variety of visualizations supporting data and visualization exploration for different kinds of applications including graph visualization and business analysis.     

基于IDA处理器模块扩充的描述语言建立

目前的IDA不能支持所有处理器模型的反汇编。为此,给出一种适用于IDA处理器模块自动生成的反汇编描述语言,为IDA处理器模块插件的扩充提供支持。该描述语言采用基于上下文无关文法的属性文法表现形式,包括对处理器存储系统的声明以及对处理器指令集的语法和语义描述。应用结果表明,该方法适用于IDA处理器模块插件的扩充。     

Alliance of model-driven engineering with a proof-based formal approach

Model-driven engineering (MDE) promotes the use of models throughout the software development cycle in order to increase abstraction and reduce software complexity. It favors the definition of domain-specific modeling languages (DSMLs) thanks to frameworks dedicated to meta-modeling and code generation like EMF (Eclipse Modeling Framework). The standard semantics of meta-models allows interoperability between tools such as language analysers (e.g., XText), code generators (e.g., Acceleo), and also model transformation tools (e.g., ATL). However, a major limitation of MDE is the lack of formal reasoning tools allowing to ensure the correctness of models. Indeed, most of the verification activities offered by MDE tools are based on the verification of OCL constraints on instances of meta-models. However, these constraints mainly deal with structural properties of the model and often miss out its behavioral semantics. In this work, we propose to bridge the gap between MDE and the rigorous world of formal methods in order to guarantee the correctness of both structural and behavioral properties of the model. Our approach translates EMF meta-models into an equivalent formal B specification and then injects models into this specification. The equivalence between the resulting B specification and the original EMF model is kept by proven design steps leading to a rigorous MDE technique. The AtelierB prover is used to guarantee the correctness of the model’s behavior with respect to its invariant properties, and the ProB model-checker is used to animate underlying execution scenarios which are translated back to the initial EMF model. Besides the use of these automatic reasoning tools in MDE, proved B refinements are also investigated in this paper in order to gradually translate abstract EMF models to concrete models which can then be automatically compiled into a programming language.

     

F-SHIQ公理体系及其OWL扩展

随着计算机和Internet的快速发展,语义网和描述逻辑在人工智能等领域扮演着越来越重要的角色。但在日常生活中,越来越多不确定的、不完整的知识需要解决,而现存的OWL只能表述确定的完整的概念和关系。为了能够表示和推理模糊知识,给出了一个基于描述逻辑SHIQ的全新的模糊描述逻辑公理体系——F-SHIQ公理体系,并以此公理体系为基础,扩展了OWL本体语言,能够描述和推理模糊知识。该文首先给出了系统详细的定义、公理、定理以及定理的证明;然后详述了如何用FSRL,即基于F-SHIQ的OWL扩展,来表示和推理模糊信息;最后通过一个例子来检验扩展语言的应用效果。     

Navi: Data Analysis System Powered by Natural Language Interaction

With the advent of the big data era, the significance of data analysis has increasingly come to the forefront, showcasing its ability to uncover valuable insights from vast datasets, thereby enhancing the decision-making process for users. Nonetheless, the data analysis workflow faces three dominant challenges: high coupling in the analysis workflow, a plethora of interactive interfaces, and a time-intensive exploratory analysis process. To address these challenges, we introduce with this paper Navi, a data analysis system powered by natural language interaction. Navi embraces a modular design philosophy that abstracts three core functional modules from mainstream data analysis workflows: data querying, visualization generation, and visualization exploration. This approach effectively reduces the coupling of the system. Meanwhile, Navi leverages natural language as a unified interactive interface to seamlessly integrate various functional modules through a task scheduler, ensuring their effective collaboration. Moreover, in order to address the challenges of exponential search space and ambiguous user intent in visualization exploration, we propose an automated approach for visualization exploration based on Monte Carlo tree search. In addition, a pruning algorithm and a composite reward function, both incorporating visualization domain knowledge, are devised to enhance the search efficiency and result quality. Finally, we validate the effectiveness of Navi through both quantitative experiments and user studies.