基于MDA的需求捕获工具的设计与实现

目前MDA开发过程中仍采用人工捕获、文字描述的传统需求获取形式,这影响了需求模型与PIM模型的精度和一致性,降低了MDA开发的自动化程度。重点研究开发了一个可视化需求捕获工具。该工具采用MDA框架以及GEF等技术进行开发,基于目标-情景的捕获方式进行需求获取,同时支持以需求文档与XML的形式将需求模型导出,为需求模型到PIM模型的转换提供了足够信息。最后通过实例验证了该捕获工具的有效性。该工具弥补了MDA中没有独立需求捕获阶段的不足,在一定程度上完善了MDA的开发流程,提高了MDA软件开发的自动化程度。     

基于web的用户自适应关系模型的设计及应用

Web开发过程中,固定的数据库关系模型设计往往难以满足数据库应用系统中多变的用户需求。本文提出一种用户自适应关系模型,利用主、从两个静态关系表来实现数据库动态表结构,主表用于存储用户自定义关系表信息,从表则用于存储所有用户自定义数据。利用该关系模型设计的数据库应用系统中,用户仅通过Web浏览器即可自定义数据类型和动态管理数据,从而在一定程度上实现了用户需求变化的自适应。以烟草业的数据共享平台为例,说明了模型的使用方法,实际应用结果表明该模型显著提高了数据库应用系统的用户适应性,改善了Web站点的性能。     

从EDOC的业务过程建模到J2EE应用程序框架的MDA转换

OMG（Object Management Group,对象管理组织）提出的模型驱动架构（MDA,Model Driven Architecture）是解决不同中间件平台之间的集成以及技术升级所引起的问题的软件开发方法。MDA的基本思想是将系统的模型作为软件开发过程的核心制品,并且将模型区分为描述系统业务功能的平台独立模型（PIM,Platform Independent Model）和描述系统在特定技术平台上实现细节的平台相关模型（PSM,Platform Specific Model）。模型转换是MDA开发的核心内客。MDA的开发效率依赖于良好的支撑工具,特别是支持模型转换的工具的涌现。本文介绍一种对业务过程建模并将模型转换成程序代码的设计恩想和实现方法。开发者可以用该工具对企业的业务过程建模。这个工具能将建立的模型自动转换成J2EE平台上的程序代码。     

到货管理模块支持MDA的PIM建模

MDA的核心工件是模型,它定义了平台独立模型(Platform Independent Model,PIM)和平台相关模型(Platform Specific Model,PSM),其目标是借助工具实现模型间自动变换。MDA软件开发生命周期的第一步就是构建PIM,本文以到货管理模块为例,详细阐述了支持MDA进行PIM建模的具体实现过程。     

业务导向及模型驱动MIS软件构建的模型体系研究*

针对目前模型驱动架构对MIS开发中的业务建模与需求建模不能提供有效支持这一问题,提出一个以业务为导向、支持模型驱动MIS软件构建的模型体系;建立了一个以业务过程建模为核心的集成化建模元模型,给出了模型详细定义,为实现业务导向及模型驱动的MIS构造模式提供理论基础。     

一种随机化的软件模型生成方法

模型转换是模型驱动开发的核心技术. 当要把模型转换用于工业生产时, 其性能成为影响这一技术成败的关键因素之一. 为了测试模型转换程序的性能, 需要能够快速地生成一组具有较大规模的模型数据用于作为测试的输入数据. 本文提出一种随机化的模型生成方法. 该方法能够根据元模型的定义以及用户输入的约束条件随机、正确地生成模型文件. 实验结果也表明, 本方法和其它方法相比具有更好的生成效率, 从而更加适合支持模型转换的性能测试.     

基于MapReduce的数据挖掘平台设计与实现

MapReduce编程模型的简单性和高性价比使得其适用于海量数据的并行处理.然而,MapReduce欠缺对多数据源、组件复用以及数据可视化支持,这些缺点使用户在运用MapReduce框架进行数据挖掘时暴露出开发效率低下,重复开发等问题.提出了一种基于MapReduce的数据挖掘平台的设计与实现,该设计思想为Hadoop作为大规模数据计算平台在数据挖掘、数据可视化以及商业智能应用方面的不足提供了参考与弥补.同时,基于该方法实现了一个大规模数据挖掘工具.     

一种针对模型转换的图形化建模语言

模型转换是模型驱动开发的核心操作,它通常被实现成一种特殊的程序.模型转换可以实现不同模型、模型和代码,以及模型和各种结构化文档之间的转换.随着模型驱动方法的发展,模型转换正在被运用到越来越复杂的问题上,从而导致越来越庞大的规模和越来越复杂的程序结构.为了更好地控制转换开发过程中的复杂性,需要一种图形化的建模语言,支持对转换程序的分析和设计.提出一种针对模型转换程序的可视化建模语言VisTML(the visual transformation modeling language).它包含7种不同的视图,每个视图都包含一组建模概念.这些概念覆盖了整个转换程序开发过程中(从需求到部署运行)的所有主要阶段,支持开发人员在不同的抽象层次基于不同视角刻画模型转换.用VisTML对转换程序进行建模,有助于控制其复杂性,并促进开发人员的相互沟通与分工合作.最后介绍了VisTML的支持工具TModeler,并且通过3个案例论证VisTML的可行性与有效性.     

一种模型驱动的笔式表单界面软件开发方法

由于用传统的开发方法开发笔式表单界面软件,开发周期长、成本高且难以适应需求变更,难以提供用户概念模型和系统实现模型相一致的软件,针对此问题,提出了一种模型驱动的笔式表单界面软件开发方法,首先提出笔式表单用户界面模型——PFUIM.然后,基于PFUIM提出模型驱动的笔式界面软件的开发框架.该框架描述了笔式用户界面软件的开发模型,详细论述了各个模型的结构以及模型之间的关系;最后,在开发框架的基础上,提出了开发笔式表单界面软件的建模方法和系统自动生成方法,并通过一个实例说明该框架指导笔式表单界面软件开发的指导作用.     

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

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

IC卡数据存储模型的研究

本文首先研究了IC卡数据存储的特点，依据存储特点将IC卡划分为单数据应用分区IC卡、单分区IC卡和多分区IC卡三类。给出了IC卡的只读区、控制区、数据区和分区的定义，并在此基础上构造出单张IC卡的数据存储模型和对应的数据结构。为了能够描述任意类型的IC卡，本文进一步提出IC卡的统一数据模型和对应的数据结构，并给出了统一数据模型中分区信息表的数据结构以及数据存取的算法。     

Modellprojekte und -regionen der gesundheitstelematik

This article presents an overview of existing currently active or planned model projects in healthcare-telematics in Germany. To this purpose a couple of test regions have been established in order to prepare the introduction and implementation of smart cards (patient cards, healthcare professional cards) in the German healthcare system. At its end, the article does also include a table presenting an overview of web pages where further information with respect to these projects can be found.     

VS1053B编解码器的VDR分布式声音采集卡设计

为了满足未来航行数据记录仪声音采集卡分布式、低成本、低功耗和高可靠性的要求,以STM32F103为核心控制器,结合VS1053B音频编解码芯片和W5300以太网通信芯片设计了一种采用OggVorbis声音编码算法的分布式声音采集卡,给出了声音采集卡的软硬件设计。在硬件设计上,采用了独立的可加载OggVorbis声音编码算法以及内置TCP/IP协议栈的嵌入式芯片,降低了系统的功耗和软件设计的复杂性,增强了系统的灵活性和可靠性。     

基于I/O前后端模型的密码卡软件虚拟化

密码技术是云计算安全的基础,支持SR-IOV虚拟化的高性能密码卡适用于云密码机,可以为云计算环境提供虚拟化数据加密保护服务,满足安全需求.针对该类密码卡在云密码机使用过程中存在的兼容性不好、扩充性受限、迁移性差以及性价比低等问题,本文提出了基于I/O前后端模型的密码卡软件虚拟化方法,利用共享内存或者VIRTIO作为通信...     

跨域客户间口令认证的密钥交换协议

为实现跨域客户与客户之间安全的通信,并提高该过程的效率和实用性,提出一种使用普通存储设备或移动智能设备实现基于口令认证的密钥交换协议.该协议使用普通存储设备和随机数取代昂贵的智能卡和时钟同步系统,使得它在私钥环境下可以抵抗各种已知的攻击,达到相应的安全性要求.保留了智能卡的优点,无需保存客户的口令表或者验证表,消除智能卡在实际应用中受到的各种限制.普通存储设备和随机数的引入增强了协议的安全性、提高了协议执行的效率和实用性.     

MODEL CHECKING A KNOWLEDGE EXCHANGE SCENARIO

We are interested in applying model checking techniques to the verification of communication protocols that require safe communication. Typically, in such scenarios, one desires to demonstrate that one party can reliably communicate information to another party without a third party being able to determine this information. Our approach involves using the modal logic of knowledge, which has only relatively recently been studied in the context of security protocols. We demonstrate our approach by means of a detailed case study: the Russian cards problem. This is an example of a security protocol with nontrivial requirements on the knowledge of the agents involved. Using the Russian cards problem as an example, it is shown how the satisfaction of properties involving knowledge can be verified in a standard model checker, which in our case is SPIN.     

三维微弹簧型MEMS探卡的设计和制备

随着IC器件上的I/O尺寸减小和密度增加,与之通过接触来进行电性能测试的探卡密度也要相应增加,传统手工制作的环氧树脂针形探卡难以满足使用要求,使用MEMS技术制作探卡成为发展的趋势,但是当前MEMS探卡的主要问题是不能承受和产生破坏焊垫表面氧化层和污染层所需的应力.本文提出了一种简支梁结构、通过多次电镀工艺制作的三维弹性MEMS探卡,这种探卡可以承受更大应力,并且具有较小的自身电阻.针对间距为250 μm阵列排布的器件I/O,使用ANSYS有限元方法对弹簧型探卡进行了结构分析和设计,采用UV-LIGA工艺制备探卡,最后对探卡的力学性能进行了测试.     

PCI总线卡设计与实现的几个关键问题

PCI是一种高性能的局部总线规范,可实现各种功能的标准PCI总线卡,取得了广泛应用,本文简要介绍与PCI总线卡设计及实现相关的几个关键技术问题,主要包括时钟与复位信号,总线分支长度的限制,电平转称换电路,PCI总线对负载的要求等。     

JCVM异常处理机制

在对Java卡平台异常类层次结构和CAP文件内容深入分析的基础上，结合智能卡运行环境的特点，采用编译后的异常处理表与运行期的Java栈结构相结合的方法，设计并实现了解释执行时Java卡虚拟机中的异常处理机制。实际测试表明系统运行正确。     

Type B非接触智能卡防冲突模型的设计与实现

在分析了TypeB非接触智能卡防冲突的基本工作原理的基础上,采用有限状态机模型对卡上防冲突协议的实现算法进行了数学表述和状态转换的设计,并采用统一建模语言UML中的状态图描述了卡上的防冲突过程。最后,在智能卡芯片上实现了防冲突协议,实际应用证明系统运行正确。