MSC代数语义研究

摘要：

文章介绍了MSC(Message Sequence Charts)的形式化语义及其进程理论.在原有消息机制的基础上对状态操作符进行扩展,增加了全局顺序对事件发生轨迹的约束.结合MSC2000中新增的时间概念,提出了时间事件与时限归并,用于分析包含时间概念的MSC系统进程轨迹.

关键词：MSC、代数语义、进程理论、状态操作符

所属期刊栏目：40

分类号：TP39(计算技术、计算机技术)

资助基金：浙江省自然科学基金 M603145

在线出版日期：2004-11-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：67-69