About | Contact Us | Register | Login
ProceedingsSeriesJournalsSearchEAI
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(Requires a free EAI acccount)
541 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 Zhang1,*, Zhiqiu Huang1,*, Jian Xie1,*
  • 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
Copyright © 2017–2025 EAI
EBSCOProQuestDBLPDOAJPortico
EAI Logo

About EAI

  • Who We Are
  • Leadership
  • Research Areas
  • Partners
  • Media Center

Community

  • Membership
  • Conference
  • Recognition
  • Sponsor Us

Publish with EAI

  • Publishing
  • Journals
  • Proceedings
  • Books
  • EUDL