The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
An Artificial Bee Colony Algorithm for Detecting Distributed Predicates
Abstract
Developing correct dependable distributed applications is a difficult task. The techniques developed to detect distributed predicates can be used to verify the satisfaction of specific properties (represented as predicates) in a given run of a distributed application. These techniques have several applications including the verification of the correctness of a particular implementation of a distributed system (runtime verification). Due to concurrency, the number of states to be considered in detecting a distributed predicate is exponential. This article investigates the effectiveness of using a meta-heuristic algorithm in solving the problem of detecting distributed predicates. Namely, the authors have used the Artificial Bee Colony algorithm to develop an algorithm to detect distributed predicates. The conducted experiments demonstrate that the ABC-based detection algorithm has a better performance compared with the traditional state enumeration-based detection algorithm.
Related Content
|
Sushruta Mishra, Sunil Kumar Mohapatra, Brojo Kishore Mishra, Soumya Sahoo.
© 2021.
24 pages.
|
|
Carlos Santos, Helena Inácio, Rui Pedro Marques.
© 2021.
16 pages.
|
|
Akash Chowdhury, Swastik Mukherjee, Sourav Banerjee.
© 2021.
26 pages.
|
|
Stojan Kitanov, Toni Janevski.
© 2021.
28 pages.
|
|
Ramesh C. Poonia, Linesh Raja.
© 2021.
27 pages.
|
|
Jens Kohler, Thomas Specht.
© 2021.
27 pages.
|
|
Jagdish Chandra Patni.
© 2021.
15 pages.
|
|
|