收藏本站
《计算机工程》 2010年24期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

构件演化的交互行为一致性研究

祁晓园  王涛  马川  
【摘要】:构件演化前后的交互行为执行序列不一致,会导致系统行为偏离系统的功能目标。针对该问题,基于进程代数描述构件间的交互行为,归纳交互行为一致性的定义,给出交互行为一致性所需满足的约束条件,提出一种保证交互行为一致性的方法。实例分析结果证明了该方法的可行性和正确性。

手机知网App
【参考文献】
中国期刊全文数据库 前1条
1 胡海洋;吕建;马晓星;陶先平;;面向对象范型体系结构中构件行为相容性研究[J];软件学报;2006年06期
【共引文献】
中国期刊全文数据库 前10条
1 张驰;;基于角色划分的构件组合兼容性检查[J];计算机工程与应用;2010年05期
2 马川;申利民;王涛;;基于构件动态演化的行为一致性验证方法[J];计算机工程;2010年06期
3 张驰;;基于行为描述的软件构件组合兼容性检查[J];计算机工程;2010年12期
4 申利民;马川;王涛;;基于进程代数的构件动态演化行为一致性研究[J];计算机应用研究;2009年04期
5 李心科;严鲁明;;基于接口矩阵分析的构件变化检测方法的研究[J];计算机应用研究;2009年04期
6 张驰;;基于行为描述的Web服务组合兼容性检查[J];计算机应用研究;2009年07期
7 邓水光;李莹;吴健;邝砾;吴朝晖;;Web服务行为兼容性的判定与计算[J];软件学报;2007年12期
8 毛斐巧;齐德昱;林伟伟;;一种解决构件连接死锁问题的方法[J];软件学报;2008年10期
9 初佃辉;孟凡超;战德臣;徐晓飞;;基于有限自动机的多层次构件行为匹配模型[J];软件学报;2011年11期
10 张驰;;基于π演算的Web Services接口扩展与描述[J];微电子学与计算机;2009年11期
中国博士学位论文全文数据库 前5条
1 杨春花;软件体系结构中状态方面的编织研究[D];山东大学;2010年
2 周晓峰;基于语义的软件构件匹配方法及在水利领域中应用的研究[D];河海大学;2006年
3 冯兴智;基于服务质量的动态Web服务组合关键技术研究[D];国防科学技术大学;2007年
4 侯金奎;支持模型驱动开发的体系结构形式化语义与转换一致性研究[D];山东大学;2008年
5 孟凡超;模型驱动的构件化企业应用软件开发方法[D];哈尔滨工业大学;2008年
中国硕士学位论文全文数据库 前6条
1 赵春波;面向自适应中间件的语义构件动态组合研究与应用[D];杭州电子科技大学;2009年
2 李超;过程线构件库及复合构件组装研究与应用[D];河海大学;2007年
3 杨挺;无线传感器网络的在线升级研究与实现[D];电子科技大学;2007年
4 吴黄;线束工艺图的建模研究[D];合肥工业大学;2008年
5 马川;构件动态演化的行为一致性研究[D];燕山大学;2009年
6 张鹏程;面向信息物理融合系统的软件动态配置模型研究[D];国防科学技术大学;2011年
【二级参考文献】
中国期刊全文数据库 前4条
1 胡海洋,杨玫,陶先平,吕建;Cogent后组装技术研究与实现[J];电子学报;2002年12期
2 吕建;陶先平;马晓星;胡昊;徐锋;曹春;;基于Agent的网构软件模型研究[J];中国科学E辑:信息科学;2005年12期
3 梅宏;曹东刚;;ABC-S~2C:一种面向贯穿特性的构件化软件关注点分离技术[J];计算机学报;2005年12期
4 梅宏,陈锋,冯耀东,杨杰;ABC:基于体系结构、面向构件的软件开发方法[J];软件学报;2003年04期
【相似文献】
中国期刊全文数据库 前10条
1 申利民;马川;王涛;;基于进程代数的构件动态演化行为一致性研究[J];计算机应用研究;2009年04期
2 马川;申利民;王涛;;基于构件动态演化的行为一致性验证方法[J];计算机工程;2010年06期
3 张冠华;张连华;白英彩;;一种标记转移系统的构造与执行方法[J];计算机应用与软件;2006年05期
4 郭辉;;进程代数及其在性能评价中的应用综述[J];微计算机应用;2007年09期
5 吕正;陈昊;;网格社区的进程代数模型(GCPAM)[J];微电子学与计算机;2007年08期
6 钟发荣,傅育熙;非对称~(χ≠)-演算的基同余[J];计算机学报;2005年10期
7 赵保华;陈波;陆超;;动态环境中的概率信息流安全[J];西安交通大学学报;2006年08期
8 黄园媛;曾亮;周斌;;工作流开发平台框架的研究与开发[J];电脑与信息技术;2007年01期
9 徐晋晖,石纯一;一种基于等价的联盟演化机制[J];计算机研究与发展;1999年05期
10 曾国荪,周定康;具有真正并发语义的面向约束的实时进程代数[J];江西师范大学学报(自然科学版);1999年02期
中国重要会议论文全文数据库 前10条
1 舒建平;楚尔鸣;;我国股市羊群行为的演化与时间尺度效应:1997-2008[A];第四届(2009)中国管理学年会——金融分会场论文集[C];2009年
2 王荣成;;中国东北西部地区人地关系系统的演化[A];中国地理学会2007年学术年会论文摘要集[C];2007年
3 徐文玲;何启伟;王翠花;牟晋华;;大白菜起源与演化研究的进展[A];中国十字花科蔬菜研究进展 2009——中国园艺学会十字花科分会第七届学术研讨会论文集[C];2009年
4 闫娜;;小叶锦鸡儿灌丛沙堆形态参数及演化研究[A];地理学与生态文明建设——中国地理学会2008年学术年会论文摘要集[C];2008年
5 张军;;农民工及其动态演化研究[A];“三农”问题与新农村建设——湖北省首届涉农领域青年博士论坛论文集[C];2006年
6 刘文新;;辽中南城市群空间结构演化及其动力机制[A];中国地理学会2007年学术年会论文摘要集[C];2007年
7 武彦平;;通信距离受限的进程代数研究[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
8 阿克占(战)·英民;;满语词汇在天津方言中的存留和演化[A];中国民族古文字研究会第七次学术研讨会论文集[C];2004年
9 李思亮;刘丛强;郎赟超;赵志琦;周志华;;遵义地下水碳的演化[A];中国矿物岩石地球化学学会第11届学术年会论文集[C];2007年
10 祝延军;;坦克的诞生、演化及其发展趋势[A];“青年科学家创新与社会条件支持系统”课题研究论文集[C];2006年
中国重要报纸全文数据库 前10条
1 张心春;信息的发展与物质演化[N];山西经济日报;2002年
2 上海财经大学教授 赵晓雷;新时期按劳分配性质的演化[N];文汇报;2001年
3 ;宇宙的结构、演化与人类的作用[N];光明日报;2000年
4 天津中融 邱志军;中报行情如何演化[N];中华工商时报;2000年
5 侯自强;移动无线互联网的演化(上)[N];计算机世界;2001年
6 樊星;浅论80年以来文学世俗化思潮的演化[N];西藏日报;2001年
7 樊星;浅论80年以来文学世俗化思潮的演化[N];西藏日报;2001年
8 樊星;浅论一九八0年以来文学世俗化思潮的演化[N];西藏日报;2001年
9 记者 王胜忠;金融格局要变[N];中华工商时报;2000年
10 曾强;财富主人把握五“重”趋势[N];中国计算机报;2001年
中国博士学位论文全文数据库 前10条
1 帅斌;物流产业化发展机理与政府规制研究[D];西南交通大学;2005年
2 王福君;比较优势演化与装备制造业升级研究[D];东北师范大学;2009年
3 刘青;虎尾草亚科的系统学和演化研究[D];中国科学院研究生院(华南植物研究所);2004年
4 刘海明;麻黄属的化石记录及早期多样性[D];中国科学院研究生院(植物研究所);2005年
5 赵德力;塔东北孔雀河地区古生界构造沉积演化及油气成藏主控因素[D];中国地质大学(北京);2006年
6 吴宏翔;市场经济中的高校组织演化研究[D];复旦大学;2005年
7 张震;东亚金融系统演化研究[D];复旦大学;2005年
8 戴开富;高等学校核心竞争力研究[D];武汉理工大学;2007年
9 赵淑媛;纤维隔热材料微观结构与热性质演化及热可靠性评估研究[D];哈尔滨工业大学;2009年
10 王明献;陕北富县探区长6段储集砂体发育演化及评价研究[D];西南石油学院;2005年
中国硕士学位论文全文数据库 前10条
1 马川;构件动态演化的行为一致性研究[D];燕山大学;2009年
2 武彦平;通信距离受限的进程代数研究[D];南京航空航天大学;2010年
3 陈昀林;舰载分布式构件系统的容错技术研究[D];中国舰船研究院;2011年
4 李益昌;形式描述技术LOTOS及其在实时系统的扩展和应用[D];广东工业大学;2004年
5 尹碧波;企业组织的演变[D];湘潭大学;2005年
6 孙刚;软件复用技术的研究及在ERP项目中的应用[D];华北电力大学(北京);2005年
7 李晓琳;金融共生背景下的非正式金融制度演进[D];吉林大学;2005年
8 孟萌;人的思维能力与机器人演化[D];东北师范大学;2007年
9 雷春芳;兰州—西宁城镇密集区空间结构演化研究[D];西北师范大学;2007年
10 吕冬青;科学精神在中国的历史演化及其当代重构[D];武汉理工大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026