事件序相关硕士博士期刊学术论文

UML缺乏准确的语义,难以支持对复杂系统的模型进行严格的语义分析和正确性验证.针对UML序列图,给出了形式定义、基于事件序的语义......