Detecting Distributed Predicates Using Genetic Algorithms

Eslam Al Maghayreh, Iyad Abu Doush and Faisal Alkhateeb
Additional contact information
Eslam Al Maghayreh: Computer Sciences Department, Yarmouk University, Irbid, Jordan
Iyad Abu Doush: Computer Sciences Department, Yarmouk University, Irbid, Jordan
Faisal Alkhateeb: Computer Sciences Department, Yarmouk University, Irbid, Jordan

International Journal of Intelligent Information Technologies (IJIIT), 2013, vol. 9, issue 1, 56-70

Abstract: Detection of distributed predicates is one of the techniques that have been used in the literature to improve the dependability of distributed programs. This technique (sometimes referred to as runtime verification) is used to verify that a given run of a distributed program satisfies certain properties (specified as predicates). In general, the detection of a distributed predicate can incur significant overhead due to the existence of multiple processes running concurrently. Several techniques have been introduced in the literature to efficiently detect distributed predicates. However, most of these techniques work efficiently for certain classes of predicates, like conjunctive predicates. In this paper, the authors have presented a technique based on genetic algorithms to efficiently detect distributed predicates under the possibly modality. The authors have used JGAP (Java Genetic Algorithms Package) to implement the algorithm and conducted several experiments to demonstrate its effectiveness.

Date: 2013
References: Add references at CitEc
Citations:

Downloads: (external link)
https://services.igi-global.com/resolvedoi/resolve ... 4018/jiit.2013010104 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jiit00:v:9:y:2013:i:1:p:56-70

Access Statistics for this article

International Journal of Intelligent Information Technologies (IJIIT) is currently edited by Vijayan Sugumaran

More articles in International Journal of Intelligent Information Technologies (IJIIT) from IGI Global
Bibliographic data for series maintained by Journal Editor ().