切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
UML时序图向PNML转换的研究与实现
UML时序图向PNML转换的研究与实现
来源 :2011年全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:gsdx2009
【摘 要】
:
UML行为模型对于描述软件系统的动态特征起着重要作用,但问题是缺乏形式化语义无法对模型进行形式化分析和验证.Petri网是一种形式化建模语言,具有严格的形式化语义及丰富的
【作 者】
:
赵俊峰
周建涛
【机 构】
:
内蒙古大学计算机学院,内蒙古 呼和浩特 010021
【出 处】
:
2011年全国理论计算机科学学术年会
【发表日期】
:
2011年期
【关键词】
:
UML时序图
PNML
形式化语义
形式化分析
验证工具
行为模型
软件系统
建模语言
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
UML行为模型对于描述软件系统的动态特征起着重要作用,但问题是缺乏形式化语义无法对模型进行形式化分析和验证.Petri网是一种形式化建模语言,具有严格的形式化语义及丰富的分析和验证工具.
其他文献
刘新虎:由自然而美然
32岁的北京泰福恒投资发展有限公司副总经理刘新虎,是北京房地产业界70年代新生人类的一份子,也是房地产企业高层管理人员年轻化趋势的代表。在他服务的这个刚刚度过4周岁生
期刊
刘新
房地产业界
经济适用房
战略转移
泰福
产品定位
房地产开发
市场推广
楼盘
前期策划
李金华 审计不是“风暴”
6月28日,夏至日刚刚过去6天,国家审计署长李金华向全国人大做了又一年度的审计工作报告。在这份被称为“2005夏季风暴”的长达26页的审计报告中,水利部、国家体育总局等38个
期刊
审计风暴
国家审计
重点医院
夏至日
工作报告
审计干部
航空工业部
审计机关
“风暴”
副审计长
“文革”中的焦菊隐
焦菊隐一生中最大的愿望就是做导演、排戏,发展中国戏剧艺术是他人生的支柱。可是“文革”伊始,他就被打成“资产阶级反动学术权威”,在遭受批斗和劳动改造中艰难度日。被迫
期刊
焦菊隐
反动学术权威
极左思潮
艺术舞台
北京人艺
李金泉
中国戏剧
京剧界
戏曲学校
宋德珠
基于特征组合的软件需求建模
需求建模在需求工程中起着重要的作用.为了提高软件需求建模的效率和质量,提出一种基于特征组合的软件需求建模方法.首先,将特征分为功能性特征和非功能性特征;其次,形式化定
会议
特征组合
功能性特征
软件需求建模
特征和
形式化定义
运算
需求模型
需求工程
基于概率模型检测的Web服务组合验证
Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义.为了对服务组合进行有效的验证,提出了一种基于概率模型检测的Web服务组合验证方法,该方法首先采用扩展的有
会议
概率模型检测
Web服务组合
验证方法
软件开发效率
有限自动机
模型检测器
Markov模型
模型建立
热情说:是什么让他们如此激动?——奥北地段价值论坛之“话语奥北”最集合
最具煽动性的发言【周榕】哈佛大学建筑学硕士,清华大学建筑学院助理,教授(从奥北区域价值对大化实现的角度提出了见解,也呼吁开发商自下而上的影响力)从历史上看,北京市总
期刊
地产开发商
区域价值
市场经济时代
建筑学硕士
地段
一股
别墅
集合
总体规划
田园风格
对中职机电专业电气控制课程教学探讨
伴随着我国现代化教育水平的不断提高以及教学改革力度的不断深入,终止教育对现代化人才培养具有的促进作用逐渐被人们看到,并且在现代化教育理念以及多元化教学措施的促进下
期刊
中职
机电专业
电气控制
课程教学
含杂萘联苯和9,9-二苯基芴结构的聚三芳基均三嗪聚合物的合成与性能
会议
聚芳醚
芳基均三嗪环
杂萘联苯
热性能
溶解性
Formal Description of Crossing Social Network System Architecture Based on Temporal Logic
How to organize crossing social network resources on a higher level of integration and address them to users’ desktops is an important and difficult problem.Es
会议
解析奥北地段价值
给价值一个公正的目光我们经常在谈区域的价值,抛却房地产行业的浮夸的概念性宣传,区域的价值细分开来主要有三类。一类是区域潜力价值,潜力价值相关于区域的升值潜力和前景
期刊
地段
别墅
升值潜力
区域价值
开来
温哥华森林
别墅项目
地产
别墅市场
区域经济
与本文相关的学术论文