Distributed System Model Using SysML and Event-B

Qi Zhang; Zhiqiu Huang; Jian Xie

Machine Learning and Intelligent Communications. Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I

Research Article

Distributed System Model Using SysML and Event-B

Download

352 downloads

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.1007/978-3-319-73564-1_32,
    author={Qi Zhang and Zhiqiu Huang and Jian Xie},
    title={Distributed System Model Using SysML and Event-B},
    proceedings={Machine Learning and Intelligent Communications. Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I},
    proceedings_a={MLICOM},
    year={2018},
    month={2},
    keywords={Distributed system SysML Event-B Requirement diagram},
    doi={10.1007/978-3-319-73564-1_32}
}

Qi Zhang
Zhiqiu Huang
Jian Xie
Year: 2018
Distributed System Model Using SysML and Event-B
MLICOM
Springer
DOI: 10.1007/978-3-319-73564-1_32

Qi Zhang¹^,*, Zhiqiu Huang¹^,*, Jian Xie¹^,*

1: Nanjing University of Aeronautics and Astronautics

*Contact email: zhang1993@nuaa.edu.com, zqhuang@nuaa.edu.cn, xiejian_5@nuaa.edu.cn

Abstract

Distributed system is more complicated compared with other systems due to its concurrency and distribution. Moreover, the traditional system development process is usually informal, and a large number of tests are required. On the other hand, the formal methods have been applied in many system development fields and many achievements have been made. In this paper, a method which combines SysML requirement diagrams and Event-B to model distributed system is proposed, including their mapping relations.

Keywords: Distributed system SysML Event-B Requirement diagram

Published: 2018-02-09
Appears in: SpringerLink

: http://dx.doi.org/10.1007/978-3-319-73564-1_32