Welcome to the InfoSci Platform
Reference Hub3
Detecting Distributed Predicates Using Genetic Algorithms

Detecting Distributed Predicates Using Genetic Algorithms

Eslam Al Maghayreh, Iyad Abu Doush, Faisal Alkhateeb
Copyright: © 2013 |Volume: 9 |Issue: 1 |Pages: 15
ISSN: 1548-3657|EISSN: 1548-3665|EISBN13: 9781466631434|DOI: 10.4018/jiit.2013010104
Cite Article Cite Article

MLA

Al Maghayreh, Eslam, et al. "Detecting Distributed Predicates Using Genetic Algorithms." IJIIT vol.9, no.1 2013: pp.56-70. http://doi.org/10.4018/jiit.2013010104

APA

Al Maghayreh, E., Abu Doush, I., & Alkhateeb, F. (2013). Detecting Distributed Predicates Using Genetic Algorithms. International Journal of Intelligent Information Technologies (IJIIT), 9(1), 56-70. http://doi.org/10.4018/jiit.2013010104

Chicago

Al Maghayreh, Eslam, Iyad Abu Doush, and Faisal Alkhateeb. "Detecting Distributed Predicates Using Genetic Algorithms," International Journal of Intelligent Information Technologies (IJIIT) 9, no.1: 56-70. http://doi.org/10.4018/jiit.2013010104

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.