站点首页 最近更新 图书分类 下载推荐 下载排行 技术论坛  
书库下载
设为首页
联系我们
加入收藏
高级搜索
 
  您的位置:首页 > 下载分类 > 科技期刊 > 计算机类 > 软件使用 >
  栏目导航
  本类下载排行
形式化语言MSC消息机制的扩展
下载级别: 游客
文件类型: pdf
图书格式: PDF
图书大小: 256KB
图书等级:
图书登陆: admin
整理时间: 2008-09-01
图书简介:

[作 者] 褚秉华 仇佩亮

[机 构] 浙江大学信息与电子工程学系,浙江杭州310027

[刊 名] 浙江大学学报:工学版-2003.37(2).-167-172

[文 摘] 为了使消息顺序图(message sequence charts,MSC)能更好地满足在通信领域应用的需要,在现有MSC标准的基础上,参考了其他常用的顺序图,并采用面向对象的思想,对MSC的消息机制进行扩展。MSC是用于描述系统间消息传递的一种有效的形式化语言,但现在的MSC存在着数据表达能力不强,消息顺序机制不够灵活等问题。因此,在对消息的扩展中,将消息作为一种对象进行研究,增加了消息本身的信息量。在此基础上对消息的顺序机制进行扩展,通过引入一些新的概念、符号,介绍了如何表达消息之间的相互关系和消息的运算等。扩展后的MSC能更加直观、清楚、完整地描述消息的轨迹和系统的静态与动态特性。
下载地址: 本地下载
下载帮助:

相关图书:
.一种基于分布式资源域理论的形式化语言  (2008-09-01)
.形式化语言RT-Z的合成及其应用  (2008-09-01)
.基于体系结构依赖图的Wright形式化语言的切片方法  (2008-04-08)
.Agent形式化语言描述  (2008-03-17)
 


RAR压缩文件请使用WinRAR3.4以上进行解压;[点击下载]
ISO格式光盘镜像文件请用虚拟光驱软件Alcohol120%打开;[点击下载]
PDF格式文件请使用Adobe Acrobat Reader打开阅读;[点击下载]
PDG格式文件请用BooXViewer阅读器打开;[点击下载]
WDL格式文件请用WDL文件阅读器打开;[点击下载]
如不能正常播放本站的视频文件,请安装最新暴风影音播放器。[点击下载]

☉更多、更好的资源,请访问

☉本站所有资源均是网上搜集或私下交流学习之用,任何涉及版权问题,请来信告知,我们会及时进行删
 除。本站仅仅提供一个观摩学习的环境,所有软件图书均为介绍。所有资源请在下载后24小时内删除。
 如果您觉得满意,请与相关出版社或作者联系,购买正版!本站严厉谴责和鄙夷一切利用本站资源进行
 牟利的盗版行为!

 

  最新增加
关于本站 | 广告服务 | 联系站长 | 版权声明 | 网站地图 | 留言板 | 发布图书
© 2008 bookku.net Corporation. All rights reserved. Powered BY: Edown Version 2.1
如有任何疑问,请联系本站QQ:24620962