IFML到MVPJavaFX的元模型转换及代码生成研究

富互联网应用程序(RIA)用户界面的设计和实现是一项耗时、高成本、一致性低的工作。针对这个问题提出了一种基于交互流建模语言(IFML)的RIA用户界面模型驱动开发方法。该方法首先利用对象管理组织最近采用的新用户界面建模标准IFML,完成应用程序需求分析的建模设计并获得PIM Ecore元模型;然后,设计符合MVP设计模式的JavaFX元模型,利用ATL模型转换规则,将PIM Ecore元模型元素转换到MVPJavaFX平台中的元素,得到PSM Ecore元模型;接着,通过Acceleo转换工具和定义代码生成模板实现PSM Ecore元模型到代码的生成。最后以一个实例进行了方法的验证。     

基于UML建模的信息管理系统

介绍了UML和基于UML的信息管理系统的建模方法,提出了在UML建模中使用对象关系模型到实体关系模型的映射的方法,从而解决了由于信息管理系统的分析与设计建模和数据库建模所用方法的不同,导致的项目开发团队之间信息不能充分共享问题。     

Matlab/Simulink与VC 混合编程的实现

在控制系统的建模和仿真中,由Simulink生成的模型不能脱离Matlab环境运行。为了便于后期实时仿真模型的开发,需要利用Real-Time-Workshop(简称RTW)实时代码生成器将Simulink模型转换成目标语言模型,并与VC进行混合编程,从而实现由Simulink模型到VC开发环境的平滑过渡。重点探讨了利用RTW实现从模型到代码转换的具体步骤,并验证了该方法的有效性。     

基于面向服务业务流程管理的系统架构建模

信息时代对业务流程管理结合面向服务架构的需求愈发显著,针对现阶段该领域研究中,概念与建模语言相脱节、忽视计算无关模型到平台无关模型的转换、难以贯穿系统多个视图等不足,将业务流程管理(BPM)与面向服务架构(SOA)方法结合应用到面向服务系统架构的业务流程建模。通过区分本体元模型与标记元模型的概念,在两种元模型之间分别建立映射关联:语义层映射和语法层映射,并以BPMN和SoaML为具体建模语言分两步推理实现。最后将所提出的建模方法及BPMN和SoaML之间的映射规则应用于一个游乐园智能手环系统架构建模案例中,验证了方法的可行性。     

智能变电站和主站共享建模的关键技术

本文从智能变电站与主站二者实施建模共享的问题入手,从智能化变电站的统一配置模型、SCD模型到CIM模型的映射、图模关联与通信映射、代理服务器的部署与维护等几个方面出发对此共享建模做了详细分析,并谈论了其在工程中的应用,希望此种共享建模能够为电力系统运行提供切实的便利。     

基于时间自动机的嵌入式系统AADL模型可调度性验证

采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了AADL调度模型到时间自动机模型的语义映射法则.然后,设计了自动化模型转换插件,并将其集成到OSATE建模工具中,实现了建模、转换、验证的集成开发环境.最后,利用UPPAAL工具对时间自动机模型进行模拟与验证.仿真实验结果表明,所建立的模型转换方法能够有效、实时地将AADL模型转换为时间自动机模型,并可在UPPAAL中分析原模型的可调度性.     

一种基于Petri网的面向方面的用例建模方法

对传统的用例建模方法进行扩展,并针对用例描述的文本语言中经常出现的二义性、冲突以及遗漏信息的问题,提出一种基于Petri网的面向方面的用例建模方法。构建了从面向方面用例模型到面向方面Petri网模型的映射规则,引入面向方面的形式化的建模与分析技术,并利用时态逻辑检验织入时机的正确性。最后给出实例和分析,验证了该方法的有效性。     

基于Petri网的工作流建模与分析

工作流建模是工作流研究中的关键问题.论文在对当前工作流中的主要路由模型分析的基础上,结合Petri网的结构、形式化定义和流程建模方法,建立了从工作流到Petri网的路由映射模型.通过对贷款处理流程的工作流建模分析表明,基于Petri网的工作流建模方法具有直观、简洁等优点.     

抽取XML模式到关系模式

提出一种XML建模技术,对多个XML文档构造共享模型.通过该模型构造的XML共享模式到关系模式的映射,实现将同源异构的XML片断抽取到相同的关系表中.试验表明,算法在同源异构XML片断的映射上具有比以往算法更好的映射结果.     

自顶向下的产品装配建模系统研究及实现

机械产品从概念设计到详细设计的过程中,产品装配模型起着一个核心作用。现有的大多数装配建模系统均采用自底向上从零件到装配的建模方法,这种方法不能支持产品设计的全过程,不适应并行设计的需要。为适应并行工程对产品装配建模系统的需要,提出了将产品装配建模过程作为一个智能设计过程,以自顶向下的方式建造产品装配模型的方法,并介绍了用该方法开发的变速箱装配建模系统（ＧＢＡＭＳ）。该系统支持产品生命周期中多种设计活动的集成,对并行工程的实施具有重要意义。