UML状态图中的数据流语义

摘要：

本文从UML状态图自身出发,在其中加入数据流对象,定义UML状态图的语法,选择标记转换系统作为语义域,并通过结构化操作语义分两步定义了UML状态图的数据流语义,为工作流中数据流的正确性验证提供了理论基础.

关键词： 计算机网络 工作流管理 数据流语义

作者: 陆公正 张广泉

作者单位: 苏州大学计算机科学与技术学院,苏州,215006

会议类型: 国内会议

会议名称: 2006年全国理论计算机科学学术年会

会议地点: 长春

会议语种:中文

页码: 94-96

在线出版日期: 2006-08-09（万方平台首次上网日期，不代表论文的发表时间）