定义及验证UML Statechart图中的数据流语义

• 作者: 吴澜波 张广泉 陆公正
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 统一建模语言(UML) UML Statechart图 教据流语义 时序逻辑 验证 模型检测
• 年，卷（期）: 2009,（24）
• 所属期刊栏目: 研究、探讨
• 页码范围: 56-59
• 页数: 4页
• 分类号: TP311
• 字数: 4778字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.24.018

摘要

在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性.为了解决这一问题,选择标记转换系统(LTS)作为语义域,并用结构化操作语义(SOS)分两步定义了UML Statechart图的教据流语义,为工作流中的数据流正确性验证奠定了基础.在此基础上,使用时序逻辑公式表示数据流所需满足的性质,在验证数据流的正确性之前,给出了将它的UML Stateehart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
2	吴澜波	苏州卫生职业技术学院检验药学系	21	9	2.0	2.0
3	陆公正	苏州市职业大学计算机工程系	12	7	2.0	2.0