|
|||||
|
|
| 定义及验证UML Statechart图中的数据流语义 | |
| 引用本文： | 陆公正,吴澜波,张广泉.定义及验证UML Statechart图中的数据流语义[J].计算机工程与应用,2009,45(24):56-59. |
| 作者姓名： | 陆公正 吴澜波 张广泉 |
| 作者单位： | 1. 苏州市职业大学计算机工程系,江苏,苏州215104 2. 苏州卫生职业技术学院检验药学系,江苏,苏州,215009 3. 苏州大学计算机科学与技术学院,江苏,苏州,215006 |
| 基金项目： | 国家自然科学基金，江苏省高校自然科学研究项目 |
| 摘 要： | 在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题,选择标记转换系统(LTS)作为语义域,并用结构化操作语义(SOS)分两步定义了UML Statechart图的数据流语义,为工作流中的数据流正确性验证奠定了基础。在此基础上,使用时序逻辑公式表示数据流所需满足的性质,在验证数据流的正确性之前,给出了将它的UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性。 |
| 关 键 词： | 统一建模语言(UML) UML Statechart图 数据流语义 时序逻辑 验证 模型检测 |
| 收稿时间： | 2008-5-8 |
| 修稿时间： | 2008-8-31 |
Definition and verification of semantics of data flow in UML Statecharts |
|
| LU Gong-zheng,WU Lan-bo,ZHANG Guang-quan.Definition and verification of semantics of data flow in UML Statecharts[J].Computer Engineering and Applications,2009,45(24):56-59. | |
| Authors: | LU Gong-zheng WU Lan-bo ZHANG Guang-quan |
| Affiliation: | LU Gong-zheng1,WU Lan-bo2,ZHANG Guang-quan31.Department of Computer Engineering,Suzhou Vocational University,Suzhou,Jiangsu 215104,China 2.Department of LAB TEC , Pharmacy,Suzhou Health College,Jiangsu 215009,China 3.School of Computer Science , Technology,Soochow University,Jiangsu 215006,China |
| Abstract: | After being integrated with data flow objects,traditional UML Statecharts are not suited for modeling and the verification of the data flow in the workflows due to the lack of the exact semantics of the data flow.To solve the problem,LTS is selected as the semantic field,and the semantics of data flow are defined with SOS in two steps so as to lay the foundation for the verification of the data flow of the workflow.Based on this,temporal logic formula is used to express the properties that the data flow mus... |
| Keywords: | Unified Modeling Language（UML） UML Statecharts semantics of data flow temporal logic verification model checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与应用》下载全文 | |