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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
Friedenthal, S., Moore, A., Steiner, R.: A practical guide to sysml. San Francisco Jung Inst. Lib. J. 17(1), 41–46 (2012)
Laleau, R., Semmak, F., Matoussi, A., Petit, D., Hammad, A., Tatibouet, B.: A first attempt to combine sysml requirements diagrams and b. Innov. Syst. Softw. Eng. 6(1–2), 47–54 (2010)
Butler, M., Hallerstede, S.: The Rodin formal modelling tool. In: The International Conference on Formal Methods in Industry, p. 2. British Computer Society (2007)
Le, H.A., Thi, L.D., Truong, N.T.: Modeling and verifying imprecise requirements of systems using Event-B. In: Huynh, V., Denoeux, T., Tran, D., Le, A., Pham, S. (eds.) Knowledge and Systems Engineering. Advances in Intelligent Systems and Computing, vol. 244, pp. 313–325. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-02741-8_27
Younes, A.B., Hlaoui, Y.B., Ayed, L.J.B.: A meta-model transformation from UML activity diagrams to Event-B models. In: IEEE International Computer Software and Applications Conference Workshops, pp. 740–745. IEEE Computer Society (2014)
Bousse, E., Katsuragi, T.: Aligning SysML with the B method to provide V&V for systems engineering. In: The Workshop on Model-Driven Engineering, Verification and Validation, pp. 11–16. ACM (2012)
Mentré, D.: SysML2B: automatic tool for B Project Graphical Architecture Design Using SysML. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 308–311. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-33600-8_26
Xu, H.: Model based system consistency checking using Event-B. Comput. Softw. (2012)
Krakora, J., Waszniowski, L., Pisa, P., Hanzalek, Z.: Timed automata approach to real time distributed system verification. In: IEEE International Workshop on Factory Communication Systems, Proceedings, pp. 407–410. IEEE (2004)
Lamsweerde, A.V.: Requirements engineering: from system goals to UML models to software specifications. Wiley Publishing, Hoboken (2009)
Abrial, J.R.: The B-Book - Assigning Programs to Meanings. DBLP (1996)
Yu, E.S.K., Mylopoulos, J.: Understanding “why” in software process modelling, analysis, and design. In: International Conference on Software Engineering, pp. 159–168. IEEE Computer Society Press (1994)
Traichaiyaporn, K., Aoki, T.: Preserving correctness of requirements evolution through refinement in Event-B. In: Software Engineering Conference, Vol. 1, pp. 315–322. IEEE (2014)
Acknowledgement
This work was supported by the National High-tech R&D Program of China (863 Program) under Grant No. 2015AA015303; Project 61272083 supported by National Natural Science Foundation of China; Supported by National key research and development program 2016YFB1000802.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Zhang, Q., Huang, Z., Xie, J. (2018). Distributed System Model Using SysML and Event-B. In: Gu, X., Liu, G., Li, B. (eds) Machine Learning and Intelligent Communications. MLICOM 2017. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 226. Springer, Cham. https://doi.org/10.1007/978-3-319-73564-1_32
Download citation
DOI: https://doi.org/10.1007/978-3-319-73564-1_32
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-73563-4
Online ISBN: 978-3-319-73564-1
eBook Packages: Computer ScienceComputer Science (R0)