MSC代数语义研究  

Research on Algebraic Semantics of Message Sequence Charts

作　　者：李伟[1] 魏仰苏[1] 

机构地区：[1]浙江工程学院信息电子学院,杭州310033

出　　处：《计算机工程与应用》2004年第28期67-69,共3页Computer Engineering and Applications

基　　金：浙江省自然科学基金资助项目(编号:M603145)

摘　　要：文章介绍了MSC(MessageSequenceCharts)的形式化语义及其进程理论。在原有消息机制的基础上对状态操作符进行扩展,增加了全局顺序对事件发生轨迹的约束。结合MSC2000中新增的时间概念,提出了时间事件与时限归并,用于分析包含时间概念的MSC系统进程轨迹。This paper introduces the formal semantics of MSC and process theory.Extending the state operator based on message mechanism,proposes a general order state operator,which constrain the trace of event.Time concept is proposed in MSC2000,this paper introduces the time event and time-constrained merge,which can help the analysis of system trace.

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

分 类 号：TP39[自动化与计算机技术—计算机应用技术]