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

航空学院

Northwestern Polytechnical University Xian

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

摘要

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.

源语言	英语
主期刊名	Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023
出版商	Institute of Electrical and Electronics Engineers Inc.
页	346-350
页数	5
ISBN（电子版）	9798350386684
DOI	https://doi.org/10.1109/ICEI60179.2023.00072
出版状态	已出版 - 2023
活动	7th IEEE International Conference on Energy Internet, ICEI 2023 - Shenyang, 中国期限: 20 10月 2023 → 22 10月 2023

出版系列

姓名	Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023

会议

会议	7th IEEE International Conference on Energy Internet, ICEI 2023
国家/地区	中国
市	Shenyang
时期	20/10/23 → 22/10/23

联合国可持续发展目标

此成果有助于实现下列可持续发展目标：

可持续发展目标 7 经济适用的清洁能源

访问文件

10.1109/ICEI60179.2023.00072

其它文件与链接

链接到 Scopus 的出版物

引用此

Huang, Z., Wang, Y., Shang, W., Yan, J., & Zhang, A. (2023). UPPAAL-Based Model Structure Transformation Algorithm from STM to TA. 在 Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023 (页码 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. 在 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., 页码 346-350, 7th IEEE International Conference on Energy Internet, ICEI 2023, Shenyang, 中国, 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 等.
Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023. Institute of Electrical and Electronics Engineers Inc., 2023. 页码 346-350 (Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

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. 在 Proceedings - 2023 IEEE International Conference on Energy Internet, ICEI 2023. Institute of Electrical and Electronics Engineers Inc. 2023. 页码 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

摘要

出版系列

会议

联合国可持续发展目标

访问文件

其它文件与链接

指纹

引用此