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

并发模型构件的状态迁移派生图及等价判定

刘芳  杨兴林  戴俊  
【摘要】:模型复用是在建立企业模型过程中避免重复劳动的有效解决方案之一,它可以提高企业建模的效率。针对模型复用,提出了基于代数理论的并发模型构件,刻画了模型构件的状态迁移语义和派生图,给出了基于派生图的并发模型构件等价判定算法。与已有的方法相比,综合考虑了模型构件的状态迁移属性和并发属性,实现了动态过程下并发模型构件的等价性判定。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 严隽薇,董志斌,王坚,乔非,张浩,郑玉培,金骁奔,吴国成;构件化企业建模支持系统CEMS及其在并行工程实施中的应用[J];高技术通讯;2002年03期
2 王欣;分布式对象技术与CORBA[J];计算机工程;1997年S1期
3 叶阳,严隽薇;基于XML的构件化企业模型描述及应用[J];计算机工程;2003年01期
4 徐绍禹;结构件加工程编自动化研究[J];航空制造技术;1990年01期
5 许金瑞;多种对话框的设计及应用[J];机械研究与应用;1999年01期
6 张云生,刘炜;面向接口对象的实时控制程序设计[J];自动化博览;1999年04期
7 俞立军,黄峻,陈晨,许满武;Lotus Notes数据库访问接口模块的研制[J];计算机应用研究;2000年03期
8 黄卫平;基于构件的软件构造技术[J];电脑与信息技术;2000年05期
9 黄卫平;构件库管理系统的设计与实现[J];湘潭大学自然科学学报;2000年04期
10 王素华;网上操作系统教学课件解决方案[J];北京工业大学学报;2001年03期
11 郭亮,黄席樾;面向Agent的软件工程[J];重庆大学学报(自然科学版);2002年10期
12 张勤,陈福生;基于构件的MIS开发方法[J];计算机应用研究;2003年04期
13 何坚,覃征,房鼎益,贾晓林;一个基于构件的分布式软件构架开发环境[J];小型微型计算机系统;2003年09期
14 夏幼明,张萍,赵波;基于可重用构件库技术的用户需求信息获取系统[J];云南师范大学学报(自然科学版);1998年04期
15 唐屹;构件方法在软件开发中的应用[J];广西大学学报(自然科学版);1999年02期
16 於朝晖,黄水松;基于软件体系结构的实时配置系统的方法[J];计算机工程与应用;2000年03期
17 邢立,左春,孙玉芳;关于保险行业特定领域软件体系结构的研究[J];计算机工程;2000年04期
18 赵京胜;基于代理的构件软件技术研究[J];计算机应用研究;2001年08期
19 余倣文;基于构件的软件系统开发研究及其应用[J];山东电子;2001年03期
20 梁永全,吴方君,易彤,蒋严冰;软件复用机会识别策略的研究[J];山东科技大学学报(自然科学版);2001年01期
中国重要会议论文全文数据库 前10条
1 刘芳;杨兴林;戴俊;;并发模型构件的状态迁移派生图及等价判定[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
2 牟川;严隽薇;乔非;;基于模型构件的企业模型重用方法[A];2000中国控制与决策学术年会论文集[C];2000年
3 严隽薇;牟川;贺飞鸣;乔非;;企业建模中的构件重用方法[A];2001年中国智能自动化会议论文集(上册)[C];2001年
4 蔡喆;;基于UML的集成企业建模[A];中国烟草行业信息化研讨会论文集[C];2004年
5 陈庆;王津平;孟晓宇;邓晓彬;;软件体系结构的思想在VEE编程中的应用[A];2009安捷伦科技节论文集[C];2009年
6 徐涛;严隽薇;戴毅茹;;基于资源工作时间表的企业模型仿真[A];系统仿真技术及其应用(第7卷)——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
7 王巍;晏海华;;基于SOA构件的软件测试方法的研究[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
8 刘连民;姜立;任燕翔;赵景学;;基于三维CAD的中国古典建筑造型设计[A];第十四届全国工程设计计算机应用学术会议论文集[C];2008年
9 徐镜华;严隽薇;凌卫青;翟忠平;;建立企业信息模型的方法及应用[A];2003年中国智能自动化会议论文集(下册)[C];2003年
10 郑鹏飞;田启华;散晓燕;;企业模型与PDM系统整体解决方案的研究[A];提高全民科学素质、建设创新型国家——2006中国科协年会论文集(下册)[C];2006年
中国博士学位论文全文数据库 前6条
1 祁凯;面向制造业ERP的企业建模研究[D];哈尔滨理工大学;2011年
2 徐宏斌;面向知识重用的集成化管理信息系统企业建模研究[D];南京理工大学;2007年
3 窦蕾;面向构件的复杂软件系统中动态配置技术的研究[D];国防科学技术大学;2005年
4 沈晖;基于知识管理的企业集成支撑技术研究[D];清华大学;2003年
5 马晓龙;基于构件的支持群体工作环境中若干问题研究[D];中国科学院研究生院(计算技术研究所);2000年
6 朱俊武;基于本体的Web服务语义支撑技术研究[D];南京航空航天大学;2008年
中国硕士学位论文全文数据库 前10条
1 贺新闻;基于可复用软构件的软件开发技术研究[D];昆明理工大学;2005年
2 雷宇;数字电视中间件技术研究与实现[D];西北工业大学;2006年
3 梅岩;基于构件的嵌入式操作系统开发平台—TCP/IP协议栈的研究[D];同济大学;2006年
4 代文豪;MCU嵌入式系统的领域工程方法研究与应用[D];电子科技大学;2008年
5 薛琳;基于图形理解的汉字构形自动分析研究[D];山东科技大学;2005年
6 王晓艳;基于SOA工作流引擎的研究与实现[D];北京工业大学;2009年
7 韦杰;基于构件的软件配置管理中版本管理关键技术研究[D];大连海事大学;2006年
8 王森;虹膜生物识别软件系统框架设计[D];吉林大学;2005年
9 张涛;嵌入式实时数据库关键技术研究与实现[D];电子科技大学;2005年
10 段其国;WebIS系统框架构件自动组装模型的研究与实现[D];昆明理工大学;2005年
中国重要报纸全文数据库 前10条
1 本报记者 张华甲;发展工业软件 提升工业软实力[N];中国工业报;2011年
2 北京和佳软件技术公司董事长兼总裁 陈佳;“和佳新一代ERP”产品与技术[N];科技日报;2003年
3 ;从UAP看“新一代ERP”的技术内核[N];中国计算机报;2004年
4 ;领航中国新一代[N];计算机世界;2004年
5 陈佳;探索NERP全生命周期[N];计算机世界;2003年
6 本报记者 侯闯;革“管理软件”的命[N];计算机世界;2003年
7 ;金思维电厂ERP解决方案[N];计算机世界;2004年
8 编译 刘光强 霍娜;重整旗鼓还是另起炉灶?[N];中国计算机报;2009年
9 马宇;Autodesk软件工业设计应用方案[N];中华建筑报;2008年
10 ;集成化中间件套件InforSuite:整合协同共享[N];中国计算机报;2009年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978