排序方式: 共有84条查询结果,搜索用时 0 毫秒
1.
2.
在MDA开发模式中,将模型分为PIM(平台独立模型)和PSM(平台相关模型),其目的在于通过一定的变换规则实现PIM到PSM的自动转换,从而可以方便地生成应用程序代码以及测试框架。要实现PIM到PSM的自动转换,关键在于变换规则的精确定义。本文对变换规则提出了一种形式化的定义,并结合特定的PSM给出了一个具体的转换实例,最后给出在此基础上设计的平台的实践结果。 相似文献
3.
UML2.0顺序图的形式化研究 总被引:1,自引:0,他引:1
在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型.为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,将UML顺序图中的基本动作转换为加标Petri网组件,最后定义了各种合成操作,利用这些合成操作可以将UML顺序图的加标Petri网组件转换为加标Petni网. 相似文献
4.
在确保物料清单(bill of material,BOM)多视图之间产品数据一致性和完整性的前提下,为实现BOM视图转换技术能够满足企业业务规则的个性化需求并适应企业业务规则可能发生的改变,提出了基于可配置规则的BOM视图转换方法.在分析企业中各种BOM视图之间关系的基础上,建立了BOM视图及其转换过程的基础模型,给出了装配转换规则的结构定义及其配置方法,通过实际案例介绍了该方法在BOM视图转换过程中的应用,表明了该方法能够满足企业业务规则的个性化需求并适应企业业务规则的变化. 相似文献
5.
DSL方法是改进软件开发(重用性,可维护性等)的有效途径.使用MTrans-DSL形式化描述模型驱动构架(MDA)中模型的转换规则,实现平台无关模型到特定平台模型的转换.以JavaServer Faces作为目标平台,通过具体的应用实例验证了该方法的可行性和易用性.DSL方法体现了模型驱动开发的特点,提升了转换规则的抽象层次. 相似文献
6.
7.
随机Petri网是一种系统设计和分析工具,它可以对系统进行定性分析和定量分析。为了有效利用随机Petri网进行性能的定量分析,根据随机Petri网模型转换为马尔可夫链的算法,总结并实现了它们之间的转换规则。该转换规则在变迁实施的过程中引入演变规则和合并规则,将随机Petri网模型转换为马尔可夫链。可以利用产生的马尔可夫链对随机Petri网模型的多项性能指标进行定量分析。实验结果表明,转换规则是正确、可行的。 相似文献
8.
一种从关系数据库提取本体的方法 总被引:3,自引:3,他引:3
本体可以很好地解决异质数据源的语义异构问题。关系数据库模式到本体的转换是用本体进行信息集成的基础技术之一。设计了一种从关系数据库自动提取本体的方法,给出了关系数据库到本体的转换规则,最后给出了系统的模型和实现技术。 相似文献
9.
目前,网格环境下,按网格用户的要求对网络进行配置需要由网格管理员与网络管理员协同完成.仅当网格管理员要求网络管理员进行网络配置时,网络管理员才会进行相应的配置.这种手动机制延长了网络配置的时间,增加了网格管理员和网络管理员的负担.对基于策略的网格管理和基于策略的网络管理进行了研究,并在此基础上提出了一个自动网络配置的模型.该模型可将网格策略自动转换成网络策略,最终实现网格环境下网络的自动配置. 相似文献
10.
基于元胞自动机理论的电力负荷空间分布预测 总被引:4,自引:0,他引:4
根据元胞自动机(CA)的基本理论及其在城市动态演化模拟中的应用,提出了新的电力负荷空间分布预测方法。该方法从元胞自动机的基本定义出发,研究了CA理论对于电力负荷空间分布预测的适用性,提出了电力负荷元胞、元胞样区、元胞时空数据库、样本数据库的概念,制定了考虑多种相关因素的负荷元胞转换规则和相关参数,并进行了简单的试验。算例结果说明了该方法的可行性及其预测结果的合理性。 相似文献