切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
用例图的BNF描述和扩充的基于约束模块化Petri网检测
用例图的BNF描述和扩充的基于约束模块化Petri网检测
来源 :计算机应用与软件 | 被引量 : 1次 | 上传用户:phoebe19
【摘 要】
:
本文提出了用BNF描述用例图的语法结构,分析了已有Petri技术对描述用例的局限性,给出了扩充的基于约束模块化Petri网的定义,并用一个实例说明了这些描述和定义的具体应用。
【作 者】
:
顾明
【机 构】
:
深圳职业技术学院软件工程系,哈尔滨工业大学软件工程有限公司
【出 处】
:
计算机应用与软件
【发表日期】
:
2005年11期
【关键词】
:
用例图
BNF描述
PETRI网
软件需求分析
BNF语法
Use case diagram BNF description Petri nets
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了用BNF描述用例图的语法结构,分析了已有Petri技术对描述用例的局限性,给出了扩充的基于约束模块化Petri网的定义,并用一个实例说明了这些描述和定义的具体应用。
其他文献
WSAN网络密钥管理模型的研究
无线传感器和反应器网络(wireless sensor and actor network,WSAN)由三种具有不同级别能力和作用的节点构成,节点的异构性导致单纯使用一种安全模型将无法满足不同节点对性能和安全性的要求。为此,本文首次提出了一种复合式的安全模型,根据节点的能力和作用将WSAN网络分为两层,不同层通过应用不同的安全机制,实现不同级别的安全服务。另外,本模型通过多种方式降低系统开销,力求
期刊
无线传感器和反应器网络
安全服务
密钥管理
SAN网络
管理模型
network
密钥
SENSOR
安全模型
反应器网络
Wireless sensor an
视频监控系统中的多目标跟踪技术
本文首先讨论以图像块运动估计目标运动方向,然后分析Kalm an滤波器估测目标运动状态的原理、方法与过程。最后进行多目标视频监控实验。结果表明,本文研究的多目标跟踪技术实时性、准确性、稳定性好,灵敏度高,可用于视频监控业务。
期刊
视频监控系统
多目标跟踪技术
KALMAN滤波器
块运动
Trace Multi-object Block-movement Kalman filter Vid
XML的重要应用——SMIL2.0的研究及开发
SMIL(同步多媒体集成语言)是XML(可扩展标记语言)的一种重要应用。随着对当前SMIL2.0规范支持增长,对于任何在工作中需要某种形式的多媒体资源控制的开发人员,使用SM IL将成为他们的标准策略。文中介始了SMIL2.0的重要语法语义以及一个基于SMIL2.0编辑器的开发过程中的核心问题及解决方法。
期刊
XML
同步多媒体集成语言
SMIL2.0
可扩展标记语言
编辑器
语义分析
XML SMIL Syntax Semantic DOM Editor
山茱萸种子处理新法
一、种子的选择:二、漂洗;三、沙藏催芽;四、适时播种。
期刊
山茱萸
品种
种子选择
处理方法
漂洗
沙藏
催芽技术
播种时期
用细节拓展电视新闻的表现空间
通过对如何捕捉和选择电视新闻细节的阐述,说明了细节在拓展电视新闻表现空间中的重要意义。
期刊
细节
电视新闻
表现空间
钱是怎么赚的——抓住市场的及时效应
1981年,英国查尔斯王子和黛安娜在伦敦举行婚礼。盛典之日,从白金汉宫到圣保罗教堂,沿途挤满了上百万围观的市民。其最大心愿,无疑是要目睹王子、王妃的风采。然而人山人海,
期刊
圣保罗教堂
叫卖声
一举成功
终生遗憾
主要需求
重油直接接触裂解制乙烯工艺的工业化前景
200年,我国乙烯生产量将达7.2Mt,作为原料的化工轻油用量将达22.0Mt,其中20%~30%为轻柴油,加剧了轻柴油的供应紧张。由洛阳石油化工工程公司开发的重油直接接触裂解制乙烯(HCC)工艺已进入工业化试验阶段,将为
期刊
HCC
乙烯
催化剂
重油
工艺
原料
工业化
heavy oil contact cracking
industry
scale up
atmospheric
实型数据的非比较分段排序算法
实型数据非比较分段排序算法 (简称RNCSS)是根据实型数据机内编码的特点提出来的一种快速非比较排序算法 ,文中给出了算法的分析和关键的源程序段。该算法的时间复杂度为 0 (N) ,且附加存储空间极小 ,特别适合于数据量大的场合
期刊
实型数据
非比较分段排序算法
时间复杂度
计算机
Quick sortDesigning of algorithmData structure
晋东南地区蚧虫区系调查
对晋东南地区蚧虫区系进行了初步调查,经调查共记录蚧虫5科23属35种.描述了主要种类的形态特征和生物学特性.
期刊
晋东南地区
蚧虫
区系
Southeast of Shanxi Province's southeast
scale insects
fauna
超声引导羊膜腔内注射肺表面活性物质联合氨溴索预防早产兔肺损伤
目的探讨超声引导羊膜腔内注射肺表面活性物质(PS)联合应用盐酸氨溴索(AH)预防早产兔肺损伤的作用。方法将20只健康妊娠新西兰兔随机分为超声引导羊膜腔内注射PS组(PS组)、产
期刊
肺损伤
早产
肺表面活性剂
氨溴索
动物实验
超声检查
介入性
lung injury
premature birth
pulmonary surfactant
与本文相关的学术论文