SPEM2XPDL模型转换研究*

将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎.此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持.SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性.     

基于MDE的AADL向SystemC的转换

文章在分析了体系结构分析与设计语言AADL和软/硬件协同设计语言SystemC的基础上,基于模型驱动工程MDE的模型转换框架给出了AADL模型向System模型转换的理论,介绍了AADL以及SystemC元模型的建立以及二者的ATL转换规则。     

随机Petri网模型到马尔可夫链的转换规则与实现

随机Petri网是一种系统设计和分析工具,它可以对系统进行定性分析和定量分析。为了有效利用随机Petri网进行性能的定量分析,根据随机Petri网模型转换为马尔可夫链的算法,总结并实现了它们之间的转换规则。该转换规则在变迁实施的过程中引入演变规则和合并规则,将随机Petri网模型转换为马尔可夫链。可以利用产生的马尔可夫链对随机Petri网模型的多项性能指标进行定量分析。实验结果表明,转换规则是正确、可行的。     

MDA中PIM到PSM变换规则的研究

在MDA开发模式中,将模型分为PIM(平台独立模型)和PSM(平台相关模型),其目的在于通过一定的变换规则实现PIM到PSM的自动转换,从而可以方便地生成应用程序代码以及测试框架。要实现PIM到PSM的自动转换,关键在于变换规则的精确定义。本文对变换规则提出了一种形式化的定义,并结合特定的PSM给出了一个具体的转换实例,最后给出在此基础上设计的平台的实践结果。     

UML2.0顺序图的形式化研究

在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型.为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,将UML顺序图中的基本动作转换为加标Petri网组件,最后定义了各种合成操作,利用这些合成操作可以将UML顺序图的加标Petri网组件转换为加标Petni网.     

异构数据库迁移的设计和实现*

介绍了基于B/S模式异构数据库迁移的具体实现, 阐述了分布式数据库概念、JDBC原理和数据库转换技巧;详细说明了数据转换规则、数据库连接、迁移过程、断点续传。     

基于可配置规则的BOM视图转换方法

在确保物料清单(bill of material,BOM)多视图之间产品数据一致性和完整性的前提下,为实现BOM视图转换技术能够满足企业业务规则的个性化需求并适应企业业务规则可能发生的改变,提出了基于可配置规则的BOM视图转换方法.在分析企业中各种BOM视图之间关系的基础上,建立了BOM视图及其转换过程的基础模型,给出了装配转换规则的结构定义及其配置方法,通过实际案例介绍了该方法在BOM视图转换过程中的应用,表明了该方法能够满足企业业务规则的个性化需求并适应企业业务规则的变化.     

DSL方法实现FMP-PIM到MVC-PSM的转换

DSL方法是改进软件开发（重用性，可维护性等）的有效途径．使用MTrans-DSL形式化描述模型驱动构架（MDA）中模型的转换规则，实现平台无关模型到特定平台模型的转换．以JavaServer Faces作为目标平台，通过具体的应用实例验证了该方法的可行性和易用性．DSL方法体现了模型驱动开发的特点，提升了转换规则的抽象层次．     

基于有序二叉决策图的装配序列符号表示方法

通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或图模型到OBDD模型的转换规则;并对装配序列表示的与或图模型和OBDD模型进行了存储效率比较.实验结果表明:OBDD方法具有较好的存储性能,可以改善复杂装配体的装配序列表示的存储效率,适合于复杂装配体的可行装配序列的描述.     

基于元胞自动机理论的电力负荷空间分布预测

根据元胞自动机(CA)的基本理论及其在城市动态演化模拟中的应用，提出了新的电力负荷空间分布预测方法。该方法从元胞自动机的基本定义出发，研究了CA理论对于电力负荷空间分布预测的适用性，提出了电力负荷元胞、元胞样区、元胞时空数据库、样本数据库的概念，制定了考虑多种相关因素的负荷元胞转换规则和相关参数，并进行了简单的试验。算例结果说明了该方法的可行性及其预测结果的合理性。