Anzeige
Erschienen in:
2018 | OriginalPaper | Buchkapitel
Comparison of Event-B and B Method: Application in Immune System
verfasst von : Sheng-rong Zou, Chen Wang, Si-ping Jiang, Li Chen
Erschienen in: Advances in Swarm Intelligence
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.