A Temporal Logic Semantics for UML Activity Diagrams

Zhu Xueyang and Tang Zhisong

Journal of Computer Research and Development > 2005 > 42(9): 1478-1484.

Zhu Xueyang and Tang Zhisong. A Temporal Logic Semantics for UML Activity Diagrams[J]. Journal of Computer Research and Development, 2005, 42(9): 1478-1484.

Citation:

Zhu Xueyang and Tang Zhisong. A Temporal Logic Semantics for UML Activity Diagrams[J]. Journal of Computer Research and Development, 2005, 42(9): 1478-1484.

Citation:

Zhu Xueyang and Tang Zhisong. A Temporal Logic Semantics for UML Activity Diagrams[J]. Journal of Computer Research and Development, 2005, 42(9): 1478-1484.

PDF (437 KB)

A Temporal Logic Semantics for UML Activity Diagrams

Zhu Xueyang and Tang Zhisong

(Key Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080)

More Information

Published Date: September 14, 2005

Graphical Abstract

Abstract

Abstract

UML activity diagrams can be used to describe the control flow of different abstract levels and are very suitable for modeling system behaviors. However, the lack of precise semantics makes it difficult to analyze properties of the system they describe. In this paper, a variant of UML activity diagrams—XYZ activity diagrams which can be translated easily from activity diagrams is given, and a data structure of directed graph used to represent the activity diagram is defined. Its semantics then is interpreted using the executable linear temporal logic language XYZ/E, which can represent both dynamic semantics and static semantics. Compared with other formalizations such as CSP, ASM, and FSP, the XYZ/E semantics for UML activity diagrams is more intuitive. And the formalized activity diagram can be analyzed within a unified logical framework. An example is included.
- UML,
- activity diagrams,
- formal semantics,
- temporal logic,
- XYZ/E

FullText(HTML)

References (0)

[1]	Yang Wei, He Jie, Wan Yadong, Wang Qin, Li Chong. Security Countermeasures for Time Synchronization in IEEE802.15.4e-Based Industrial IoT[J]. Journal of Computer Research and Development, 2017, 54(9): 2032-2043. DOI: 10.7544/issn1000-1239.2017.20160636
[2]	Liu Xin, Zhang Bo. Improved Endorsed E-Cash System with DAA-A[J]. Journal of Computer Research and Development, 2016, 53(10): 2412-2429. DOI: 10.7544/issn1000-1239.2016.20160413
[3]	Yu Yulei, Dong Xiaolei, Cao Zhenfu. A Trustee-Based and Efficient Divisible E-Cash Scheme[J]. Journal of Computer Research and Development, 2015, 52(10): 2304-2312. DOI: 10.7544/issn1000-1239.2015.20150596
[4]	Xue Kaiping, Zhu Bin, Hong Peilin, and Lu Hancheng. An Energy Efficient Scheduling Mechanism for Real-time Services in 802.16e[J]. Journal of Computer Research and Development, 2011, 48(9): 1608-1615.
[5]	Li Xin, Li Fan, Bian Xingbin, Liu Qihe. Answer Set Programming Representation for E-R Model[J]. Journal of Computer Research and Development, 2010, 47(1): 164-173.
[6]	Wang Cong, Wang Zhixue. An Operational Semantics for UML Activity Diagrams[J]. Journal of Computer Research and Development, 2007, 44(10): 1801-1807.
[7]	Zhu Xueyang. The Dual Software Architecture Description Framework XYZ/ADL[J]. Journal of Computer Research and Development, 2007, 44(9): 1485-1494.
[8]	Peng Hongyan, Li Xiaojian, Xia Chunhe, Deng Jianfeng, Zhou Xiaofa. A Non-Repudiation Protocol for E-Mail and Its Formal Analysis[J]. Journal of Computer Research and Development, 2006, 43(11): 1914-1919.
[9]	Li Wei, Luo Junzhou, and Cao Jiuxin. An Integrated Framework for J2EE-Based E-Learning Systems and Its Application[J]. Journal of Computer Research and Development, 2006, 43(8): 1354-1360.
[10]	Zhao Zhikun, Sheng Qiujian, Shi Zhongzhi. An Execution Semantics of UML Activity View for Workflow Modeling[J]. Journal of Computer Research and Development, 2005, 42(2): 300-307.