UPPAAL-Based Model Structure Transformation Algorithm from STM to TA

Zhanjun Huang; Yiming Wang; Wenzhuo Shang; Jianing Yan; An Zhang

doi:10.1109/ICEI60179.2023.00072

UPPAAL-Based Model Structure Transformation Algorithm from STM to TA

Zhanjun Huang
, Yiming Wang
, Wenzhuo Shang
, Jianing Yan
, An Zhang

School of Aeronautics

Northwestern Polytechnical University Xian

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Transforming semi-formal models with intuitive features into formal models with strict system behavior descriptions can effectively improve system development efficiency. This paper analyzes the characteristics and differences of the SysML state machine diagram (STM) model and the Timed Automata (TA) model. A corresponding conversion algorithm is proposed for the typical composite state structure of the SysML STM. Firstly, the internal structure of the composite state is represented by constructing a new TA template. Secondly, composite state self-transfers and internal transfers are added to represent the dynamic system behavior. Lastly, additional triggering conditions, enabling transfer conditions, and correspondences are added. An example is analyzed to realize structural conversion to the TA model. Finally, based on Bi-simulation, the correctness of the model before and after conversion is analyzed.

Original language	English
Title of host publication	Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	346-350
Number of pages	5
ISBN (Electronic)	9798350386684
DOIs	https://doi.org/10.1109/ICEI60179.2023.00072
State	Published - 2023
Event	7th IEEE International Conference on Energy Internet, ICEI 2023 - Shenyang, China Duration: 20 Oct 2023 → 22 Oct 2023

Publication series

Name	Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023

Conference

Conference	7th IEEE International Conference on Energy Internet, ICEI 2023
Country/Territory	China
City	Shenyang
Period	20/10/23 → 22/10/23

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 7 Affordable and Clean Energy

Keywords

Bi-simulation
Model Transformation
Model Validation
SysML
TA

Access to Document

10.1109/ICEI60179.2023.00072

Cite this

Huang, Z., Wang, Y., Shang, W., Yan, J., & Zhang, A. (2023). UPPAAL-Based Model Structure Transformation Algorithm from STM to TA. In Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023 (pp. 346-350). (Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICEI60179.2023.00072

@inproceedings{dd3d753e3a794de2a1f4b8e3b409b26e,

title = "UPPAAL-Based Model Structure Transformation Algorithm from STM to TA",

abstract = "Transforming semi-formal models with intuitive features into formal models with strict system behavior descriptions can effectively improve system development efficiency. This paper analyzes the characteristics and differences of the SysML state machine diagram (STM) model and the Timed Automata (TA) model. A corresponding conversion algorithm is proposed for the typical composite state structure of the SysML STM. Firstly, the internal structure of the composite state is represented by constructing a new TA template. Secondly, composite state self-transfers and internal transfers are added to represent the dynamic system behavior. Lastly, additional triggering conditions, enabling transfer conditions, and correspondences are added. An example is analyzed to realize structural conversion to the TA model. Finally, based on Bi-simulation, the correctness of the model before and after conversion is analyzed.",

keywords = "Bi-simulation, Model Transformation, Model Validation, SysML, TA",

author = "Zhanjun Huang and Yiming Wang and Wenzhuo Shang and Jianing Yan and An Zhang",

note = "Publisher Copyright: {\textcopyright} 2023 IEEE.; 7th IEEE International Conference on Energy Internet, ICEI 2023 ; Conference date: 20-10-2023 Through 22-10-2023",

year = "2023",

doi = "10.1109/ICEI60179.2023.00072",

language = "英语",

series = "Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "346--350",

booktitle = "Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023",

}

Huang, Z, Wang, Y, Shang, W, Yan, J & Zhang, A 2023, UPPAAL-Based Model Structure Transformation Algorithm from STM to TA. in Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023. Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023, Institute of Electrical and Electronics Engineers Inc., pp. 346-350, 7th IEEE International Conference on Energy Internet, ICEI 2023, Shenyang, China, 20/10/23. https://doi.org/10.1109/ICEI60179.2023.00072

UPPAAL-Based Model Structure Transformation Algorithm from STM to TA. / Huang, Zhanjun; Wang, Yiming; Shang, Wenzhuo et al.
Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023. Institute of Electrical and Electronics Engineers Inc., 2023. p. 346-350 (Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - UPPAAL-Based Model Structure Transformation Algorithm from STM to TA

AU - Huang, Zhanjun

AU - Wang, Yiming

AU - Shang, Wenzhuo

AU - Yan, Jianing

AU - Zhang, An

PY - 2023

Y1 - 2023

N2 - Transforming semi-formal models with intuitive features into formal models with strict system behavior descriptions can effectively improve system development efficiency. This paper analyzes the characteristics and differences of the SysML state machine diagram (STM) model and the Timed Automata (TA) model. A corresponding conversion algorithm is proposed for the typical composite state structure of the SysML STM. Firstly, the internal structure of the composite state is represented by constructing a new TA template. Secondly, composite state self-transfers and internal transfers are added to represent the dynamic system behavior. Lastly, additional triggering conditions, enabling transfer conditions, and correspondences are added. An example is analyzed to realize structural conversion to the TA model. Finally, based on Bi-simulation, the correctness of the model before and after conversion is analyzed.

AB - Transforming semi-formal models with intuitive features into formal models with strict system behavior descriptions can effectively improve system development efficiency. This paper analyzes the characteristics and differences of the SysML state machine diagram (STM) model and the Timed Automata (TA) model. A corresponding conversion algorithm is proposed for the typical composite state structure of the SysML STM. Firstly, the internal structure of the composite state is represented by constructing a new TA template. Secondly, composite state self-transfers and internal transfers are added to represent the dynamic system behavior. Lastly, additional triggering conditions, enabling transfer conditions, and correspondences are added. An example is analyzed to realize structural conversion to the TA model. Finally, based on Bi-simulation, the correctness of the model before and after conversion is analyzed.

KW - Bi-simulation

KW - Model Transformation

KW - Model Validation

KW - SysML

KW - TA

UR - https://www.scopus.com/pages/publications/85187961895

U2 - 10.1109/ICEI60179.2023.00072

DO - 10.1109/ICEI60179.2023.00072

M3 - 会议稿件

AN - SCOPUS:85187961895

T3 - Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023

SP - 346

EP - 350

BT - Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 7th IEEE International Conference on Energy Internet, ICEI 2023

Y2 - 20 October 2023 through 22 October 2023

ER -

Huang Z, Wang Y, Shang W, Yan J, Zhang A. UPPAAL-Based Model Structure Transformation Algorithm from STM to TA. In Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023. Institute of Electrical and Electronics Engineers Inc. 2023. p. 346-350. (Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023). doi: 10.1109/ICEI60179.2023.00072

UPPAAL-Based Model Structure Transformation Algorithm from STM to TA

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this