MSVL异步通信系统和方法技术方案

技术编号:7101560 阅读:259 留言:0更新日期:2012-04-11 18:40
本发明专利技术公开了一种基于时序逻辑语言MSVL的异步通信系统和方法,属于系统形式化建模与验证技术领域,主要涉及用形式化的方法对异步并发系统进行建模与验证。MSVL的异步通信系统包括:进程模块,通道模块和通信命令,用进程模块对异步并发系统中各个组件的行为进行建模,用通道模块对不同组件之间的通信媒介进行建模,进程模块执行通信命令实现不同组件之间的异步通信过程。本发明专利技术中进程模块之间的通道个数可根据系统的需要连接任意有限多个,通道容量可根据系统组件之间的通信需求定义所需大小,同时定义了两套通信命令以适应不同的异步通信过程。本发明专利技术可用于分布式系统的建模与验证。

【技术实现步骤摘要】

【技术保护点】
1.一种MSVL异步通信系统,异步并发系统的各个组件分布在不同位置,并且不同组件之间存在某种通信关系,其特征在于:用MSVL异步通信系统对异步并发系统进行建模,包括有进程模块、通道模块和通信命令,通过通道模块连接进程模块,并通过通信命令实现异步通信过程,进程模块、通道模块和通信命令都是基于MSVL定义的:用MSVL异步通信系统中的进程模块对异步并发系统组件进行建模,设置有:进程模块名、形参和进程模块体,并按名实行调用,调用进程模块时用实参替换形参;用MSVL异步通信系统中的通道模块对异步并发系统组件之间的通信媒介进行建模,设置有:通道模块名和容量大小,通道模块是一个有容量限制的先进先出队列,通过通信命令实现消息的入队与出队,通道模块在使用前需定义,定义时根据系统需要指定容量大小,将已定义的通道模块作为进程模块调用的实参来连接进程模块;通信命令以MSVL语句的形式存在于进程模块体中,MSVL通信命令有两对,其中send(c,x)和receive(c,y)适用于不存在超时机制的异步通信过程,put(c,x)和get(c,y)适用于存在超时机制的异步通信过程。

【技术特征摘要】

【专利技术属性】
技术研发人员:段振华王小兵莫大鹏田聪
申请(专利权)人:西安电子科技大学
类型:发明
国别省市:87

网友询问留言 已有0条评论
  • 还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。

1