论文部分内容阅读
为了保证构件在动态演化中的行为一致性，避免不合法的构件演化，提出一种基于进程代数的构件模型，引入对外主动请求接口和内部连接，形式化描述构件及其对外交互协议，给出相关定理和验证算法。实例证明，该构件模型可以验证动态演化中的接口兼容性、外部交互行为一致性，以及运行时行为完整性。
基于构件动态演化的行为一致性验证方法
【摘 要】
：
为了保证构件在动态演化中的行为一致性，避免不合法的构件演化，提出一种基于进程代数的构件模型，引入对外主动请求接口和内部连接，形式化描述构件及其对外交互协议，给出相关定理和
【机 构】
：
燕山大学信息科学与工程学院,河北科技师范学院欧美学院
【出 处】
：
计算机工程
【发表日期】
：
2010年6期
【基金项目】
：
国家自然科学基金资助项目（60873008）,河北省自然科学基金资助项目（F2008000861）
其他文献
重庆经济发展趋势向好,随着居民收入的增长、生活品质的提高,在房地产销售面积持续增长的背景下,居民对家具的需求也日益旺盛,为重庆家具企业带来了机会。与时同时,消费者对
在人类世的语境下,自然不应作为一个不变的客体对象被描述,它和社会、政治等多种元素搅拌在一起相互牵扯,人类自身的能动作用迷失在这种纠缠之中。在这种状况下,找回定义自然
目的探讨急性脑梗死患者焦虑与抑郁情绪的心理护理对策。方法117例脑梗死患者随机分成干预组和对照组，干预组采用药物（非抗焦虑／抑郁药物）治疗＋心理护理：对照组采用药物治疗＋常规护
一、文章介绍股票指数期货是二十世纪八十年代金融创新过程中出现的最重要、最成功的金融衍生工具之一。它是以股市的价格指数为交易标的物的标准化期货合约。目前,国际股指
资源共享是充分发挥资源效率的有效途径,但现有IT系统间的异构性和业务的独立性给系统集成造成了很大困难,针对上述问题提出基于面向服务构架（SOA）的集成服务规范,以实现业务和
针对本体映射精确度不高的问题，提出一种基于自然语言处理的本体映射结果校验方法。对复合词进行启发式处理，分析WordNet词库中词汇所对应注释的语法树，提取与参考本体和目标本