基于进程代数的UML序列图的形式语义

• 作者: 李青山 褚华 陈平
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: UML序列图 形式语义 进程代数 组合算子 结构化操作语义
• 年，卷（期）: 2004,（4）
• 所属期刊栏目: 软件工程
• 页码范围: 173-175,183
• 页数: 4页
• 分类号: TP3
• 字数: 3810字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2004.04.047

摘要

UML序列图用于建模实例间动态交互过程,但UML规范并没有给出其形式化的动态语义,这不利于对模型进行形式化验证和证明.本文把序列图中的事件动作及其执行序列映射为进程代数中的进程表达式,利用进程代数语义框架来构建UML序列图的形式语义.首先,建立了序列图到进程代数的语义映射规则;然后用Plotkin风格的结构化操作语义给出并证明务件组合算子演绎规则;最后,归纳定义了算子次序约束条件并证明了其可终止性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈平	西安电子科技大学软件工程研究所	149	1211	17.0	28.0
2	李青山	西安电子科技大学软件工程研究所	39	244	9.0	14.0
3	褚华	西安电子科技大学软件工程研究所	9	74	5.0	8.0