论文部分内容阅读
讨论使用RAISE规范语言（RSL）描述6种协议元素的方法。在RSL描述的基础上，借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则，对协议的相关性质进行验证，以一个简化的停止等待协议规范的描述和验证实例证明，与其他形式化方法相比，RSL表现出较强的描述能力。
基于RSL的协议形式化描述与验证方法
【摘 要】
：
讨论使用RAISE规范语言（RSL）描述6种协议元素的方法。在RSL描述的基础上，借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则，对协议的相关性质进行验证，以一个简化的停止
【机 构】
：
南通大学计算机科学与技术学院
【出 处】
：
计算机工程
【发表日期】
：
2009年23期
【基金项目】
：
国家自然科学基金资助项目（60773041）,江苏省高校自然科学重大基础研究基金资助项目（07KJA51007）,江苏省高校自然科学基础研究基金资助项目（08KJB520009）,南通市应用研究计划基金资助项目（K2008005）,南通大学自然科学基金资助项目（062048）
其他文献
作为人类认知的工具，隐喻在日常语言中发挥着举足轻重的作用。通过概念隐喻理论对老子《道德经》中关于“道”的隐喻进行解读和分析，探讨这些隐喻表达背后可能存在的概念隐喻，并
<正> 卡洲满江红,俗称卡洲萍,属满江红科,原产美洲,七十年代末引入我国,是一种既能水生又能湿生的蕨类植物。叶片内有固氮兰藻,能固定空气中游离的氮素,是良好的饲料、饵料和
针对动态云在快速模拟下的真实感缺乏问题，提出一种改进的动态云的模拟方法。该方法在Nagel方法模拟云的基础上，考虑到大气压对自然云形状的影响，通过建立上下气流动力学方程，实
目的探讨血清胱抑素联合尿微量清蛋白测定在糖尿病肾病早期诊断中的运用价值。方法将同期收治的糖尿病肾病患者50例（观察组）及体检健康者45例（对照组）作为临床观察对象。分别对两
对于赃物的善意取得,我国物权法采取了回避的态度,综述当前我国立法的不足,可见对赃物适用善意取得在法律和经济方面具有一定的正当性和合理性。在赃物善意取得制度的构建上,
目的观察脊柱微调手法配合雷火灸治疗颈性眩晕的临床疗效。方法将患者随机分为两组，治疗组予脊椎微调手法配合雷火灸治疗，对照组单予脊椎微调手法治疗，10次为1疗程。结果治疗组