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

构件组装中“特征干扰问题”的时序逻辑检测方法研究

费丽娟  
【摘要】: 当前,基于构件的软件开发方法已经受到越来越多的重视。大多数构件经过了严格的质量认证,单独运行时功能十分明确,但当来自于不同开发者、不同开发时间的构件组装在一起时,就会发生很多问题,这些问题被称为“特征干扰”,而其中那些影响系统正常运行或降低系统运行效率的特征干扰被称为“特征干扰问题”,这些问题是必须被检测出来并予以解决的。 由于构件可能具有不同的抽象层次和粒度,我们采用了时序逻辑语言XYZ/E作为构件描述语言,这种语言能够描述构件的静态语义和动态执行,并且能在不同抽象层次上对系统进行形式化描述。在本文,我们主要针对设计阶段的构件进行描述,并给出其组装中特征干扰问题的检测方法。但是,这种方法还可以应用于其它阶段和其它抽象层次的构件。 构件间的特征干扰不仅与构件功能有关,还与构件间的组装方式相关,所以我们提出了一种基于组装方式的特征干扰问题检测方法。这种检测方法分为两个层次:状态控制层次,即检测构件以某种方式组装时状态之间是否存在不匹配的问题;结构层次,对多个构件组装后的行为进行检测。 在特征干扰问题的检测中还需要考虑相关问题:状态、事件的相关性问题和状态可达性问题。相关性问题是为了找出必须共存、可能共存和矛盾的状态、事件,便于状态控制层次的检测。可达性问题是为了验证我们找出的发生特征干扰问题的状态是否能由系统的初始状态通过变迁得到,即特征干扰问题是否一定发生。 文章给出了使用这种方法检测IP过滤系统和Email系统中特征干扰问题的实例,并在附录中以升降机系统为例,说明了使用这种方法检测需求阶段的特征干扰问题的过程。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 陈章,陈志刚;程序挖掘中的构件组装技术[J];计算机工程;2005年05期
2 胡金柱;费丽娟;李敏;;一种基于构件组装方式的特征干扰检测方法[J];计算机科学;2005年01期
3 艾萍;软件构件组装基础研究进展[J];计算机工程与设计;2003年12期
4 陈军良;;基于复合连接器的插拔式构件组装方法研究[J];中小企业管理与科技(下旬刊);2009年09期
5 王福川;;2000年美国住房展望[J];住宅科技;1988年02期
6 马华;;工作流驱动、面向服务的构件组装平台[J];计算机系统应用;2010年04期
7 张军明;郭涑炜;;面向互联网应用的构件组装工具研究[J];商场现代化;2006年09期
8 安海宁;娄健;;构件形式化组装研究[J];合作经济与科技;2013年08期
9 杨永生;;基于交互路径的构件组装测试方法研究[J];计算机时代;2011年02期
10 宋波;缪淮扣;张忠能;;图形转换的构件组装框架唯一性研究[J];小型微型计算机系统;2010年02期
11 王祥宗;刘志;刘增良;冯海将;;基于规则的业务构件组装规约[J];计算机集成制造系统;2008年09期
12 金英,赵龙雨;构件组装与程序优化[J];黑龙江大学自然科学学报;1996年04期
13 程朝辉;;环境主导架构[J];软件世界;2006年15期
14 张富为;杨秋翔;宋超峰;;基于适配器的构件组装技术[J];计算机工程与设计;2018年04期
15 张驰;;基于接口匹配的构件组装[J];计算机应用;2007年06期
16 瑜文;;嵌入式:吹响开源号角[J];软件世界;2006年24期
17 王淑营;;产业链协同商务平台构件组装与在线演化技术[J];四川大学学报(自然科学版);2010年04期
18 张继军;董卫;;基于Petri网的构件组装运算及其性质[J];微电子学与计算机;2006年S1期
19 李华;;面向J2EE的构件组装技术的研究[J];电脑知识与技术;2010年29期
20 周晓峰;王志坚;;二进制构件柔性组装机制及其形式化研究[J];计算机工程;2006年22期
中国重要会议论文全文数据库 前10条
1 刘益民;斯钟意;;钢构件组装时应注意的质量问题[A];2012年4月建筑科技与管理学术交流会论文集[C];2012年
2 张敏;;浅谈大型应用软件“随需而变”的实践[A];创新·融合·发展——创新型煤炭企业发展与信息化高峰论坛论文集[C];2010年
3 夏华;贾宝华;;薄壁箱形构件组装焊接技术[A];'2015中国钢结构行业大会论文集[C];2015年
4 张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
5 谢蓓;曹万华;;构件组装方法研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
6 刘兵;杨晋辉;赵永朋;王祥;;装备指挥仿真构件形式化描述方法研究[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
7 陈亮亮;孔祥艳;程甜甜;李云飞;;基于体系结构和面向构件的虚拟仪器开发方法[A];2007'中国仪器仪表与测控技术交流大会论文集(一)[C];2007年
8 谢晓芹;李涓子;徐鹏;王克宏;;基于构件的XML数据可视化表示方法[A];第二十一届中国数据库学术会议论文集(研究报告篇)[C];2004年
9 王建文;林锦贤;;面向构件的软件版本管理模型[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
10 李文杰;虞明达;贺明玄;;深圳湾体育中心制作技术[A];大型复杂钢结构建筑工程施工新技术与应用论文集[C];2012年
中国博士学位论文全文数据库 前10条
1 龚洪泉;基于形式语义的构件组装与演化研究[D];复旦大学;2005年
2 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
3 丁晓明;基于构件的软件开发关键问题研究[D];西南大学;2012年
4 李良明;基于动态行为模型的构件及组装测试的研究[D];南京航空航天大学;2010年
5 孟凡超;模型驱动的构件化企业应用软件开发方法[D];哈尔滨工业大学;2008年
6 王舜燕;带主动服务机制的构件资源组织方法研究[D];武汉理工大学;2008年
7 牟立峰;基于构件的软件开发中的构件供应商任务指派及构件选择方法[D];东北大学 ;2010年
8 苏旸;基于软件体系结构的侧面化构件建模技术研究[D];西安电子科技大学;2012年
9 郭勇;基于构件的软件系统的可靠性评估方法研究[D];哈尔滨工业大学;2013年
10 黄万艮;基于消息和构件运算的软件体系结构演化研究[D];中南大学;2008年
中国硕士学位论文全文数据库 前10条
1 费丽娟;构件组装中“特征干扰问题”的时序逻辑检测方法研究[D];华中师范大学;2004年
2 李立;服务构件组装关键技术研究[D];大连海事大学;2010年
3 孙俊峰;构件组装技术研究及组装工具的实现[D];复旦大学;2012年
4 李超;面向嵌入式领域的构件组装平台的设计与实现[D];西安电子科技大学;2011年
5 廖昕;面向程序挖掘的构件组装设计与关键技术的研究[D];中南大学;2005年
6 徐泽丰;一种构件组装工具研究与实现[D];河海大学;2004年
7 刘万春;主动服务构件关系研究及智能化可视化组装[D];武汉理工大学;2009年
8 鄢梦恬;基于构件组装的若干图算法开发与生成研究[D];江西师范大学;2016年
9 张梅芬;基于Web的主动服务构件组装的研究[D];武汉理工大学;2010年
10 韩丽丽;基于DDS体系结构的构件组装机制研究[D];哈尔滨工程大学;2010年
中国重要报纸全文数据库 前10条
1 本报记者 罗之飏;“搭积木”式建房 引领绿色建筑风[N];四川日报;2017年
2 普元软件公司CEO 杨勇;向左走?向右走?[N];中国计算机报;2005年
3 普元软件 吉锋;SCA实现“中国化”SOA[N];通信产业报;2006年
4 黄柳青;软件之变[N];中国计算机报;2004年
5 ;重新发现“软件 中国”[N];中国计算机报;2004年
6 汪蔚;构件成就 随需应变[N];中国计算机报;2006年
7 本报记者 高丽华;构件孕育产业变局[N];计算机世界;2005年
8 文/黄柳青;软件的构件之变[N];计算机世界;2004年
9 本报编辑部编译;月球:人类生存的新基地[N];中国经济导报;2006年
10 西部世纪软件股份有限公司总经理 刘洪涛;软件的柔性化[N];计算机世界;2005年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978