Abstract
The increasing scale and complex of software makes it difficult to ensure the correctness and consistency of the software, therefore, formal methods emerge and are gradually recognized by industry. Event-B and B method are two formal system languages based on set theory and predicate logic. By comparing the advantages and disadvantages of the Event-B and B method, combining with the case and rewriting requirements from the aspects of environment, function and properties, we use the Event-B to establish the abstract model of immune system and refine it step by step according to the refinement strategy until validating the model. The immune system is a typical large and high-complexity model involving many cytokines and immune responses. Taking immune system model as an example, this paper discusses how to apply the Event-B mothed to this systems from the perspective of the above functions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Wing, J.M.: A specifier’s introduction to formal methods. IEEE Comput. 23(9), 8–24 (1990)
Abrial, J.R.: Formal methods: the becoming practice. J. Univ. Comput. Sci. 13(5), 619–628 (2007)
Shi, J., Zhu, L., Fang, H.: A hardware resource oriented binary intermediate language. In: Proceedings of 2012 17th International Conference on Engineer of Complex Computer Systems (ICECCS 2012), pp. 211–219 (2012)
Lei, Y., Hu, X., Chen, Y.: Formal model of vehicle on-board controller system based on Event-B. Digital Technol. Appl. 2012(8), 13 (2012)
Abrial, J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
Schneider, S.: The B-Method: An Introduction. Palgrave, Hampshire (2001)
Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
Hallerstede, S.: On the Purpose of Event-B Proof Obligations. Formal Aspects Comput. 23(1), 133–150 (2011)
Li, M.: Formal software engineering teaching based on Event-B method and rodin. Comput. Eng. Sci. 38(1), 143–145 (2016)
OMG: UML 2.1.2 Superstructure Specification (2007). http://www.omg/org/cgibin/docs/formal/2007-11-02.pdf
Event-B (2014). http://www.event-b.org
Zhang, Y., Guo, J., Zhu, X.: Modeling and development of multi-application smart cards based on Event-B. Comput. Eng. Sci. 36(10), 1943–1951 (2014)
Zou, S., Zhu, Y., Du, Z.: Influenza immune model based on agent. J. Nanjing Univ. (Eng. Technol. Ed.) 15(3), 50–54 (2015)
Rodin Platform and Plug-in Installation (2011). http://www.event-b.org/install.html
Abrial, J.R., Leino, R.: Mini-course around Event-B and Rodin: hypervisor (2010). http://research.microsoft.com/apps/video/default.aspx?id=151665
Snook, C., Butler, M.: UML-B and Event-B: an integration of languages and tools. In: The 9th IASTED International Conference on Software Engineer. ACTA Press (2008)
Mo, H., Zuo, X.: Artificial Immune System. Science Press, Beijing (2009)
Zou, S.: Formally specifying T cell cytokine networks with B method. In: Zhang, J., He, J.-H., Fu, Y. (eds.) CIS 2004. LNCS, vol. 3314, pp. 385–390. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30497-5_60
Qiao, L., Yang, M., Tan, Y., Pu, G., Yang, H.: Formal verification of memory management system in spacecraft using Event-B. J. Softw. 28(5), 1204–1220 (2017)
Abrial, J.-R., Butler, M., Hallerstede, S., Voisin, L.: An open extensible tool environment for event-B. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 588–605. Springer, Heidelberg (2006). https://doi.org/10.1007/11901433_32
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Zou, Sr., Wang, C., Jiang, Sp., Chen, L. (2018). Comparison of Event-B and B Method: Application in Immune System. In: Tan, Y., Shi, Y., Tang, Q. (eds) Advances in Swarm Intelligence. ICSI 2018. Lecture Notes in Computer Science(), vol 10941. Springer, Cham. https://doi.org/10.1007/978-3-319-93815-8_31
Download citation
DOI: https://doi.org/10.1007/978-3-319-93815-8_31
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-93814-1
Online ISBN: 978-3-319-93815-8
eBook Packages: Computer ScienceComputer Science (R0)