Distributed System Model Using SysML and Event-B

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.