【摘 要】
：
为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言（unified modeling language,UML）与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为
【基金项目】
：
国家重点基础研究发展规划（973）No.2007CB311106, 北京市自然科学基金No.4122007
论文部分内容阅读
为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言（unified modeling language,UML）与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为。进一步利用Pi演算的操作语义推演构件间的实际交互行为。将得到的实际交互行为与预期交互行为比对,可判断构件交互的可信性。最后,通过实例对该模型的具体应用进行了阐述。该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系
其他文献
文章指出了当前我国上市公司会计信息批露中存在的问题及其危害，深入剖析了其存在的原因，并提出了治理的对策。
和谐是一切美好事物的最大特征。在哲学上，和谐是真善美的统一，是事物存在的最佳表现形态，是一切美好事物的共同特点。（《文史哲百科大词典》，第480页）。和谐能产生美，产生最佳组合，
典型相关分析（canonicalcorrelationanalysis，CCA）是寻找同一对象两组变量间线性相关性的一种常用的多元统计分析方法，其采用的欧氏距离度量方式导致了算法的非鲁棒性。核诱导的
在无线传感器网络环境中，当锚节点对于未知节点进行位置或距离欺骗时，基于善意环境下的定位技术会遭到极大破坏。提出一种基于多分辨率聚类的安全定位算法，通过对边界圆邻近点进
本文详细介绍了生产力的战略意义和世界生产力促进组织的起源和发展历程，阐述了我国生产力促进体系在国家创新体系以及中小企业发展中所处的地位和作用，研究了生产力促进体系与
相似性连接是数据清理工作的基本模型，获得了大量数据库工作者的关注。研究了基于编辑距离的相似性连接问题，即在两个字符串集合中寻找编辑距离小于一个阈值的字符串对，并在Pass
在股骨头置换术中，需要将骨水泥注入股骨髓腔内。我们将50ml注射器和吸引器外套管制成骨水泥注入器，可将骨水泥均匀、足量地注入股骨髓腔内。现介绍如下。
患者，男，42岁。因气管T管置入术后18年，呼吸困难4年收入我院。患者1989年1月不明原因出现咳喘，伴重度呼吸困难，诊断为“气管狭窄；右肺上、中叶不张；右主支气管阻塞”，行气管狭窄整复
将web服务引入到智能移动平台软件中，能够很好地解决目前平台软件复用率低，平台依赖性高等问题。但现有技术不能针对移动平台进行高效的数据推送，影响了wleb服务的应用效果。为