收藏本站
《2006年全国开放式分布与并行计算学术会议论文集(一)》2006年
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

【参考文献】
中国期刊全文数据库 前2条
1 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期
2 周伟,尹青,郭金庚;安全进程代数基础[J];信息工程大学学报;2004年02期
【共引文献】
中国期刊全文数据库 前10条
1 王博然;苏钢;;软件工程的历史与发展趋势[J];北京工业职业技术学院学报;2008年03期
2 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
3 张萍;;人性化软件界面设计的历史和原则[J];包装工程;2011年20期
4 庄国强;费贤举;;基于MDA的农产品安全检测平台研究[J];重庆科技学院学报(自然科学版);2009年06期
5 谭维兵;赵伟;;试论智能仪器新定义[J];电测与仪表;2012年05期
6 张俐佳;唐雪飞;汪林川;;一种面向Aspect的软件分析设计方法[J];电子科技大学学报;2007年01期
7 李睿;;面向工厂的网构软件体系结构研究[J];电脑编程技巧与维护;2010年18期
8 郑剑;王华金;;Web服务的优势与挑战[J];电脑知识与技术(学术交流);2007年11期
9 冯钢;徐义晗;;软件复用技术在AMSystem系统中的应用[J];电脑知识与技术;2009年24期
10 李珍;;高职类计算机软件技术专业的课程设置探索[J];电脑知识与技术;2009年33期
中国重要会议论文全文数据库 前4条
1 郑伟;;联邦式图书馆资源计划[A];创新沈阳文集(D)[C];2009年
2 罗飞;邵堃;刘宗田;;基于混合分布的直接信任模型研究[A];2011中国仪器仪表与测控技术大会论文集[C];2011年
3 黄双喜;徐立宏;范玉顺;;基于体系结构的制造网格系统适应性研究[A];企业应用集成系统与技术学术研究会论文集[C];2006年
4 樊翀;徐光明;;浅析软件工程中软件设计的表现力和实现力[A];2009通信理论与技术新发展——第十四届全国青年通信学术会议论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 尹可挺;Internet环境中基于QoS的Web服务组合研究[D];浙江大学;2010年
2 石振国;资源网络的精化学习及应用研究[D];上海大学;2011年
3 董飚;Internet发布/订阅技术研究[D];南京理工大学;2011年
4 陈静;面向业务关联的多产业链协作网络和公共服务平台关键技术研究[D];西南交通大学;2011年
5 董孟高;基于Agent的自适应系统运行机制及其构造技术研究[D];国防科学技术大学;2011年
6 董宇欣;网构软件信任演化模型研究[D];哈尔滨工程大学;2011年
7 张帅;基于服务组合的跨企业协作关键技术研究[D];浙江大学;2011年
8 范国闯;Web应用服务器关键技术研究[D];中国科学院研究生院(软件研究所);2004年
9 张志伟;面向对象异步通信中间件的研究与实现[D];国防科学技术大学;2004年
10 费玉奎;Web构件模型研究及其在水利领域中的应用[D];河海大学;2005年
中国硕士学位论文全文数据库 前10条
1 王钰;基于有机计算的动漫渲染集群系统管理技术的研究与应用[D];山东科技大学;2010年
2 刘小飞;分布式软件动态调控策略研究[D];湖南工业大学;2010年
3 刘广宾;分布式系统中实体交互行为的可信研究[D];湖南工业大学;2010年
4 周梁伟;基于SOA的网构软件动态配置系统设计与实现[D];浙江大学;2011年
5 丁永建;基于SolidWorks的标准件库系统设计与实现[D];电子科技大学;2010年
6 孙宜俊;基于ASP.NET的农产品批发市场网站的开发[D];电子科技大学;2010年
7 蒋建彬;基于SOA的审批流程管理系统研究与实现[D];电子科技大学;2010年
8 卢玉珂;Web服务集成测试工具的设计与实现[D];昆明理工大学;2009年
9 于伟;软件构件的可信性研究[D];东华大学;2011年
10 包放辉;基于网构软件的SaaS架构研究[D];合肥工业大学;2011年
【相似文献】
中国期刊全文数据库 前10条
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期
中国重要会议论文全文数据库 前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年
中国重要报纸全文数据库 前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年
中国博士学位论文全文数据库 前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年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026