基于本体规则的模型转换的研究

来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户:erhen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文实现了统一建模语言(UML)描述的模型与企业过程建模系统(EPMS)模型之间的转换。UML的特点是便于建模,主要用于对软件的描述,不能进行模拟执行和优化。EPMS对业务过程进行建模,用于过程模型建造和过程模型模拟,支持过程仿真、分析和优化。模型之间的转换需要建立相应的转换规则,采用本体的思想描述规则,将编写规则的程序从映射程序中分离出来,实现规则与映射的解耦。源模型通过基于本体规则的映射程序处理转换为目标模型,领域专家就可管理、维护和修改基于本体的规则,减少了专业编程人员维护映射程序的工作。
其他文献
基于马尔可夫随机场理论,Bayesian重建被认为是一种解决图像复原和重建中的病态问题的有效方法。通常,大部分先验模型中的信息都来自小邻域内像素灰度值的简单加权,因此仅能提供给正则化有限的信息。在研究大尺寸信息的过程中,本文提出一种新的非局部先验。在发射断层成像的相关实验表明,该MRF非邻域先验能比传统先验提供更为有效的正则化处理。
拥塞控制是组成IPQos的重要部分,传统的拥塞控制算法主要是通过对本地的资源拥塞信息来进行拥塞状态的判定和丢弃决策,而这有可能会导致带宽浪费问题。通过对基于网络处理器的
如何设计出满足安全需求的安全协议是一项非常重要的课题,目前尚无有效的方法。Fail-Stop协议在遭遇干扰其正常运行的主动攻击时完全停止。本文提出了一种设计Fail-Stop协议
可能性聚类有两大缺陷:一致聚类中心问题和有效性指标失效问题。对于第一个问题,有人提出在目标函数中添加聚类中心排斥项,但这样会引入更多的参数。为此,本文提出了一种改进的可
公诉机关提出的起诉裁量建议,如不起诉决定,由于较少考虑其他诉讼主体的利益而往往不能被广泛接受。运用经济学的博弈理论来分析不起诉裁量行为中检察官、被害人与犯罪嫌疑人
通过一个简化的2-bit问题对多智能体社会进化算(MASEA)中的进化算子及其组合进行形式化描述,分析了MASEA的全局动力学形态。针对算法中的进化算子建立数学模型,通过分析模型中各
根据电影拍摄的"轴线规律",本文给出了一种简单的电影场景的定义方法,并根据该场景定义,提出了一种电影场景检测算法。算法首先使用改进像素点匹配二次差分法进行电影镜头的检测,然后根据自定义的镜头相似性判断原则进行镜头聚类得到电影场景边界。实验表明,该算法可以有效地检测出电影场景边界。
针对现行的软件工程人才培养模式,提出并实施了以合作企业真实项目进行实训的方式,推动软件工程教学改革,加强学生动手能力的培养,让学生将所学到的理论知识在实践中加以运用