收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于规则的企业模型一致性检查

王国伟  严隽薇  
【摘要】:随着各种全新的制造理念的出现和信息技术的发展 ,企业模型的规模不断扩大 ,使得采用人工方式进行企业模型检查不仅耗时长 ,而且检查的完整性和正确性也难以保证。本文针对此问题 ,设计了一个基于规则的企业模型检查系统 ,并针对构件化企业建模系统 (CEMS)定义了一个较为完整的规则库

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 杨智峰;熊金辉;宫海涛;;基于ARIS的企业ERP系统的实施研究[J];硅谷;2011年17期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 蔡喆;;基于UML的集成企业建模[A];中国烟草行业信息化研讨会论文集[C];2004年
2 张皓;范玉顺;;基于集成化企业模型的访问控制机制与系统研究[A];全国先进制造技术高层论坛暨第九届制造业自动化与信息化技术研讨会论文集[C];2010年
3 颜志军;;基于UML的多视图动态企业模型框架研究[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
4 段国林;田晓媛;郭继鸣;陈小黔;;基于XML的企业建模方法[A];全国第九届企业信息化与工业工程学术会议论文集[C];2005年
5 郑鹏飞;田启华;散晓燕;;企业模型与PDM系统整体解决方案的研究[A];提高全民科学素质、建设创新型国家——2006中国科协年会论文集(下册)[C];2006年
6 吴会波;段国林;;面向产品的动态统一企业建模[A];全国先进制造技术高层论坛暨第七届制造业自动化与信息化技术研讨会论文集[C];2008年
7 谭文安;卢忠亚;杨赟;杨付军;;基于模型驱动的企业过程协同运作技术及其环境[A];第四届中国软件工程大会论文集[C];2007年
8 张欣;马恩成;夏绪勇;张晓龙;黄吉锋;;PKPM空间建模系统SpasCAD的新特点[A];工程设计与计算机技术:第十五届全国工程设计计算机应用学术会议论文集[C];2010年
9 徐涛;严隽薇;戴毅茹;;基于资源工作时间表的企业模型仿真[A];系统仿真技术及其应用(第7卷)——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
10 徐镜华;严隽薇;凌卫青;翟忠平;;建立企业信息模型的方法及应用[A];2003年中国智能自动化会议论文集(下册)[C];2003年
中国博士学位论文全文数据库 前10条
1 郭晓军;成套电器企业集成信息系统的研究[D];天津大学;2005年
2 徐宏斌;面向知识重用的集成化管理信息系统企业建模研究[D];南京理工大学;2007年
3 何涛;基于Web服务的网络软件需求元模型的建模与分析[D];上海大学;2009年
4 许庆国;基于自动机的时间系统形式验证技术[D];上海大学;2007年
5 张量;基于语义Web服务的虚拟物流企业组建关键技术研究[D];大连海事大学;2009年
6 王振明;用于指针逻辑的自动定理证明器的设计与实现[D];中国科学技术大学;2009年
7 郭建;在数字系统设计中断言验证的研究[D];西安电子科技大学;2008年
8 曹晓夏;面向服务的软件需求建模与求精研究[D];上海大学;2009年
9 周红桥;基于模型驱动的制造企业应用集成方法研究[D];华中科技大学;2010年
10 汪洋;分布事件通知服务的关键技术及其应用研究[D];中国科学院研究生院(软件研究所);2004年
中国硕士学位论文全文数据库 前10条
1 徐震弘;基于模型检查的系统程序的可靠性与安全性验证[D];华东师范大学;2011年
2 杨鑫钊;PPTL模型检查工具的实现与应用[D];西安电子科技大学;2009年
3 王冬;基于EMA方法的软件平台体系结构的研究与实现[D];南京航空航天大学;2005年
4 应进;基于Internet的模具生产管理信息系统研究[D];郑州大学;2002年
5 付国良;基于企业模型的制造业信息系统动态重构研究[D];华中科技大学;2004年
6 李红波;EMA平台下的实体引擎的研究与实现[D];南京航空航天大学;2005年
7 王天舟;早期需求工程中的形式化建模与模型检验应用研究[D];浙江工业大学;2006年
8 郭伟;UML状态图模型检查技术及工具实现[D];湖南大学;2008年
9 谈琳;实时计算软件的仿真测试平台的研究与设计[D];电子科技大学;2005年
10 卓炜;面向机械行业的ERP系统关键技术研究及应用[D];南京航空航天大学;2005年
中国重要报纸全文数据库 前10条
1 刘江;2007图灵奖、出版2.0与C语言图书揽胜[N];中华读书报;2008年
2 Guy Doumeingts(法国);2000年的企业模型化技术[N];中国计算机报;2000年
3 ;从UAP看“新一代ERP”的技术内核[N];中国计算机报;2004年
4 中科院计算技术研究所 李树杰 傅 亮;SoC需要验证[N];计算机世界;2004年
5 陈佳;NERP的七大特征[N];计算机世界;2003年
6 ;Justep Business业务架构平台[N];中国计算机报;2003年
7 本报记者 侯闯;革“管理软件”的命[N];计算机世界;2003年
8 ;JUSTEP BUSINESS 3.0业务架构平台[N];计算机世界;2003年
9 ;思维加速Justep Business 3.0业务架构平台[N];计算机世界;2003年
10 肖征荣;好软件少不了它们[N];电脑报;2003年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978