切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于UML状态图的协议文本转换技术
基于UML状态图的协议文本转换技术
来源 :汕头大学学报:自然科学版 | 被引量 : 0次 | 上传用户:hhlovels
【摘 要】
:
利用UML状态图可以扩充状态信息,一定程度上预防状态爆炸的优点,通过建立词库、词性标注、模式匹配等技术,从自定义的协议文本中提取状态、事件、动作和变量等信息,再将这些
【作 者】
:
蔡伟鸿
欧少闽
【机 构】
:
汕头大学计算机系
【出 处】
:
汕头大学学报:自然科学版
【发表日期】
:
2005年4期
【关键词】
:
UML
UML状态图
协议测试
UML
UML statechart
protocol testing
【基金项目】
:
广东省博士启动基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
利用UML状态图可以扩充状态信息,一定程度上预防状态爆炸的优点,通过建立词库、词性标注、模式匹配等技术,从自定义的协议文本中提取状态、事件、动作和变量等信息,再将这些信息在显示区显示出来.系统通过BGP协议测试,其效果与利用EFSM描述的效果是一致的.
其他文献
相对论热力学第一定律的探讨
本文讨论普朗克、爱因斯坦与Mφller在相对论热力学第一定律上的争论,指出Mφller的错误在于他未能区分热力学过程中吸收的总热量△Q~(总)和用于增加热运动所吸收的热量△Q~(
期刊
相对论热力学
温度变换
Relativistic Thermodynamics
Temperature Transformation
省人大常委会主任欧广源到省供销社直属企业考察
2012年9月4日,省人大常委会主任欧广源率队到省供销社直属企业考察改革发展情况,要求省供销社继续推进体制改革和机制创新,大力拓展经营服务领域,加快推动传统经营方式向现代流通
期刊
人大常委会主任
企业考察
供销社
欧广源
传统经营方式
体制改革
机制创新
经营服务
苦参素治疗慢性病毒性肝炎近况
苦参素是从中药苦豆子和苦参根中提取的生物碱,药理学研究表明其具有抗炎、抗病毒、免疫调节、抗肿瘤等作用[1].近年来,各级各地医疗机构在应用苦参素治疗慢性病毒性肝炎方面
期刊
苦参素
肝炎
病毒性
慢性
治疗
综述
国际地质新动态澳大利亚Ranger铀矿山延续申请遭否决
据媒体报道,澳大利亚Ranger铀矿山的延续申请遭到当地政府的否决,这直接导致了上周四澳大利亚股市“澳洲能源与资源”股票(代码:ERA)暴跌21%。
期刊
澳大利亚
铀矿山
地质
国际
资源
论道:解决赊销
人们对赊销有一个共识,即:销"是目的,"赊"是途径。的确,随着市场竞争的加剧,经销商面临的实际问题会越来越多,但是不管经济社会发展到如何程度,不管市场竞争环境如何复杂,有一点
期刊
赊销
经济社会发展
市场竞争
竞争环境
生产工具
消费者
经销商
弱连通与拓扑连通
本文首先对简单有向图G=(F,E)的顶点集引入拓扑连通的定义,然后指出弱连通与拓扑连通是等价的,最后给出拓扑连通几个重要性质。
期刊
弱连通
拓扑连通
有向图
图论
weak connectedness
separation
topolgical connectedness
模型驱动体系结构MDA及xUML规范在其语境中的探讨
介绍OMG提出的模型驱动体系结构MDA,它将与实现技术无关的模型和基于特定技术的模型分离,并通过模型间的变换,使系统能适应技术的发展,解决系统在不同中间件平台的集成、互操
期刊
模型驱动体系结构
UML
OMG
可移植性
中间件
集成
MDA
分离
适应
规范
model driven architecture(MDA)
platfor
十年磨剑艰苦创业 精心经营构建龙头
新兴县地处广东省中部偏西山区。我们艰苦创业,十年锲而不舍,紧紧抓住创办百惠超市这一突破口,整合全系统资源,不断开拓创新;大力发展县、镇、村三级经营网络,闯出一条适合山区供销
期刊
艰苦创业
经营网络
供销社
锲而不舍
系统资源
西山区
广东省
新兴县
基于低压PLC技术自动抄表系统的研究与探讨
对基于低压电力载波技术的自动抄表系统进行了研究与探讨,分析了电力载波抄表原理、系统组成及功能,并阐述了电力载波通信中SSC和OFDM关键技术,
期刊
电力载波技术
自动抄表
PLC technology
AMR
省委常委、副省长肖志恒到广州、东莞、海丰等地供销社考察调研
2011年7月4日,省委常委、副省长肖志恒率有关等部门负责同志暗访了广州新供销购物广场黄边平价商店,"小鲜驿站"海珠区万寿北平价商店和荔湾区龙津东路平价商店。肖副省长一行重
期刊
省委常委
副省长
供销社
广州
平价商店
东莞
调研
海丰
与本文相关的学术论文