论文部分内容阅读
协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较强的表达能力,是进行协议描述的有力工具.
基于CSP和RSL的协议形式化描述技术研究
【摘 要】
：
协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,
【机 构】
：
南通大学计算机科学与技术学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2009年3期
其他文献
不论是从理论上分析,抑或是从实践上考察,代理制度带有必然性地导致了"代理问题"的产生.在我国社会主义市场经济发展的初级阶段,国有企业的"代理问题"尤其突出.解决的根本途
目的 探索家庭干预对社区精神分裂症患者的康复效益及降低康复费用的作用。方法采用随机抽样法 ,将 2 2 5例社区精神分裂症患者和家属 (2 2 5例 )随机分为干预组 (112例 )和
在国际国内能源供应日趋紧张与国内能源政策势将改革的形势下,大力发展清洁、可再生、潜力巨大的太阳能光伏发电产业是缓解湖南化石能源储量不足和能源供应紧张局面的重要出
在电工电子专业课中实施行动导向教学法．有助于体现“以就业为导向．以能力为本位”的职教特色。行动导向教学充分注重学生的学习兴趣，发挥学生的主动性和积极性，考虑工作过程和教
在新形势下,要全面提高思政教育对高校整体工作的导引力度,就必须对思想政治教育若干要素的发展与演进有新的认识。教育目标、教育者、受教育者、教育内容、教育方式、教育环
利用洛阳市环境监测资料和气象资料，分析了洛阳市污染物浓度的日变化、季节变化、年际变化规律，并分析了污染物浓度与气象因子的关系。在此基础上，通过回归分析预报方法、污染潜
刘少奇1962年1月27日在七千人大会上的口头报告,讲了两个“三七开”,成为人们传颂的佳话。其实他在1月25日中央政治局扩大会议讨论通过书面报告时,讲的几件事也是非常值得称
目的应用伤残调整寿命年(DALYs)分析奉化市脑卒中的疾病负担。方法收集2013年奉化市脑卒中发病率、患病率与死亡率,采用世界卫生组织提供的DISMODⅡ软件计算脑卒中的DALYs。
在网络应用不断发展的今天，网络安全问题也日趋突出，越来越多的安全技术被应用到网络安全领域。而大部分安全措施都属于被动防御，缺乏积极的保护措施。入侵检测是网络安全体系中
现代企业制度中的目标成本孟焰建立现代企业制度是我国国有企业改革的方向，也是发展社会化大生产和市场经济的必然要求。实行现代企业制度的一个基本目标是提高劳动生产率和经