【摘 要】
：
在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机（nondeterministic finite automata,简称NFA）来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环
【机 构】
：
上海计算机软件技术开发中心,复旦大学计算机与信息技术系,上海海事大学计算机科学与技术系,上海软件构件化服务中心
【基金项目】
：
国家高技术研究发展计划（863）No.2006AA012191,,上海市科技计划No.07DZ22924
论文部分内容阅读
在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机（nondeterministic finite automata,简称NFA）来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法.另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率.
其他文献
IEEE802．11网络中的传统退避算法利用竞争窗口机制进行冲突解析，冲突节点被重新分布在一个更大的窗口范围内以避免冲突．然而，只要这些分布窗口之间存在着交集，就仍有可能引发冲突．
由航空性牙痛引发的飞行“事故”陈其录这是一个真实的故事。两年前，在某部组织的一次飞行训练中，当飞行员老王驾机升至２０００米高空时，突然感到牙胀不适，继而出现针刺样剧痛，于是便向地
提出一种能够在DDoS（distributed denim-of-service）攻击下保证现有正常网络流量的弹性随机公平蓝色（resilient stochastic fair blue，简称RSFB）算法．RSFB算法根据数据流标记概率来
在当前绿色云计算的背景下，“软件”将需要在节能减排中发挥或承担独特而重要的作用或角色。软件是硬件的绿色行为和规格的规范者，在硬件的设计和发展中发挥着日益重大的作用。
本文利用Verilog硬件描述语言设计了一个32位RISC处理机，该处理机的指令系统包括13条指令，其中算术逻辑运算类指令8条、存储器访问类指令2条、转移类指令3条。仿真测试的结果表
数学形态学滤波作为一种非线性滤波方法,在图像降噪、边缘检测、特征提取等图像处理领域得到了广泛的应用。本文采用数学形态学的Top-hat变换获取被污染图像的残余图像,在该残余图像中对噪点进行去除,使得在滤除噪声的同时,能保持原图像丰富的细节,并能通过调节降噪参数,使算法达到最佳的降噪效果。
近年来，碳纤维布加固技术在许多工程上得以应用，而且取得了良好的效果。但是使用碳纤维板进行加固的不多，这方面的技术资料较少。本文主要阐述碳纤维板加固技术在某工程应用效果
离退休老人怎样保持心理健康秦洪桥，邓万林，沈利军老年人离退休后，社会地位和生活环境发生了很大变化，多数人整日赋闲在家，与从前忙忙碌碌的生活形成鲜明对照。如若不能及时适应，便
教会大学出现于中国近代社会激烈变动的复杂环境下,它的产生,不单是宗教教育在我国近代发展演变的产物,而且也受到当时社会政治、经济和教育状况的影响.本文遵循以上思路具体
编辑同志:据说,目前患心身疾病的人很多,但不清楚哪些疾病属心身疾病,请予答复为谢!87236部队 蒋光军蒋光军同志:心身疾病是由心理因素引起、有病理生理和形态学改变的一组躯