论文部分内容阅读
分析了LOTOS规范语言的4种规范风格的特征和在分布式系统开发中的实际应用,描绘了网络服务和协议的基本设计属性,并讨论了规范风格在网络协议设计中的作用.最后将此方法应用于AB服务和协议的描述.
LOTOS规范风格在服务和协议设计中的应用研究
【摘 要】
：
分析了LOTOS规范语言的4种规范风格的特征和在分布式系统开发中的实际应用,描绘了网络服务和协议的基本设计属性,并讨论了规范风格在网络协议设计中的作用.最后将此方法应用
【机 构】
：
兰州理工大学电气工程与信息工程学院
【出 处】
：
兰州理工大学学报
【发表日期】
：
2004年5期
【基金项目】
：
甘肃省自然科学基金
其他文献
公众参与政府购买公共图书馆服务是公民依法参政、享受公民权利的需要,是政府转变职能、提升文化治理能力、消除购买风险的需要,对实现政府购买公共图书馆服务目标有其现实意
本文运用比较研究的手法,对汉语四字成语是如何被改造为日语、融入日语体系的这个问题进行了探讨。在对汉语四字成语日语化过程所产生的词形变化进行分类归纳的基础上,本文对
以海马骨粉为原料,采用碱性蛋白酶对其水解,对水解物功效测定,以DPPH自由基清除的能力作为评定指标,在单因素的基础上,利用响应面设计方法进行酶解条件优化。单因素结果表明:
作为建设管理的核心组成部分,工程造价管理不仅是衡量建筑工程项目的重要经济指标,同时也是维护建筑产品供需双方经济权益的关键所在。要想在土建工程建设项目中对人力、物力
实践能力是提升初中地理教学工作综合价值的关键因素,本文从校外课程教学工作的特点出发,对初中地理教育工作执行过程中实践能力培养存在的问题进行了研究总结,并根据初中地
<正>在省、地、县各机关档案馆(室),开展达标升级和目标考核活动的过程中,对各馆(室)所藏各种门类、各种载体档案,都必须按照一定省级标准,进行系统化、规范化整理.在整理过
<正>2018年上半年,或者说从2016年开始,策展行业已经发生了一些值得关注的变化,首先是展览赞助人的行业结构有了悄无声息的改变,比如"中国新影像"就是"小镇策展"—由远离一线
目的:评价不同干燥和炮制方法对蟾酥药材及饮片质量的影响。方法:每20 g鲜蟾酥分别采用下列干燥方法处理:105℃烘干,80℃烘干,60℃烘干,60℃减压干燥,冷冻干燥;同一干蟾酥药
本文分析当前缺工形势下校企合作的优势并以中职食品类专业为例提出项目化课程体系下与企业淡旺季相结合的校企合作方案,优化并创新传统校企合作方式,达到校企双赢。
This p
研究目的:比较非纯农地区和纯农地区农户接受居民点整治的影响因素的差异,为制定差别化的整治政策提供支持。研究方法:入户调查法,Logistic回归分析法。研究结果:在非纯农区