Formal approach to model complex adaptive computing systems
| Autor: | Youssef Balouki, Abdessamad Jarrar, Abderrahim Ait Wakrime |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
Correctness
Horizontal and vertical Interaction Computer science Process (engineering) Reaction Distributed computing Complex system 02 engineering and technology lcsh:Analysis Agent Task (project management) 0502 economics and business 0202 electrical engineering electronic engineering information engineering Complex adaptive system Adaptation (computer science) Applied Mathematics Formal methods lcsh:T57-57.97 05 social sciences Complex adaptive systems lcsh:QA299.6-433 Computer Science Applications Modeling and Simulation lcsh:Applied mathematics. Quantitative methods Event-B 020201 artificial intelligence & image processing 050203 business & management |
| Zdroj: | Complex Adaptive Systems Modeling, Vol 8, Iss 1, Pp 1-35 (2020) |
| ISSN: | 2194-3206 |
| Popis: | Complex adaptive systems provide a significant number of concepts such as reaction, interaction, adaptation, and evolution. In general, these concepts are modelled employing different techniques which give an inexplicit vision on the system. Therefore, all concepts must be carefully modelled using the same approach to avoid contradiction and guarantee system homogeneity and correctness. However, developing a computing system that includes all these concepts using the same approach is not an easy task and requires a perfect understanding of the system’s behaviour. In this paper, we contribute as stepwise towards proposing an approach to model the most important concepts of complex adaptive systems while ensuring homogeneity and the correctness of models. For this aim, we present five standard agent-based models formalizing agent properties, reaction, interaction, adaptation, and evolution. These models are adapted to all cases of complex adaptive systems since they include an abstract description of these concepts. To implement our approach formally, we choose the Event-B method due to the strong assurance of bugs’ absence that it guarantees. Besides, it supports horizontal and vertical refinement which facilitates the specification process. Furthermore, the approach of this paper addresses the very abstract level of modelling which expand the use of this approach to other formal methods and tools. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink