MSC代数语义研究

• 作者: 李伟 魏仰苏
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: MSC 代数语义 进程理论 状态操作符
• 年，卷（期）: 2004,（28）
• 所属期刊栏目: 学术探讨
• 页码范围: 67-69
• 页数: 3页
• 分类号: TP39
• 字数: 3686字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.28.021

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏仰苏	浙江工程学院信息电子学院	8	16	2.0	3.0
2	李伟	浙江工程学院信息电子学院	13	33	4.0	5.0