{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T22:40:20Z","timestamp":1654123220278},"reference-count":44,"publisher":"IGI Global","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,1,1]]},"abstract":"<p>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.<\/p>","DOI":"10.4018\/jiit.2013010104","type":"journal-article","created":{"date-parts":[[2013,3,6]],"date-time":"2013-03-06T18:52:15Z","timestamp":1362595935000},"page":"56-70","source":"Crossref","is-referenced-by-count":3,"title":["Detecting Distributed Predicates Using Genetic Algorithms"],"prefix":"10.4018","volume":"9","author":[{"given":"Eslam","family":"Al Maghayreh","sequence":"first","affiliation":[{"name":"Computer Sciences Department, Yarmouk University, Irbid, Jordan"}]},{"given":"Iyad","family":"Abu Doush","sequence":"additional","affiliation":[{"name":"Computer Sciences Department, Yarmouk University, Irbid, Jordan"}]},{"given":"Faisal","family":"Alkhateeb","sequence":"additional","affiliation":[{"name":"Computer Sciences Department, Yarmouk University, Irbid, Jordan"}]}],"member":"2432","reference":[{"key":"jiit.2013010104-0","author":"E.Al Maghayreh","year":"2010","journal-title":"Simplifying runtime verification of distributed programs: Ameliorating the state space explosion problem"},{"key":"jiit.2013010104-1","doi-asserted-by":"crossref","unstructured":"Al Maghayreh, E. (2011). Block-based atomicity to simplify the verification of distributed applications. In Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering (CCECE) (pp. 887\u2013891).","DOI":"10.1109\/CCECE.2011.6030585"},{"issue":"01","key":"jiit.2013010104-2","first-page":"53","article-title":"A framework for monitoring the execution of distributed multi-agent programs.","volume":"38","author":"E.Al Maghayreh","year":"2012","journal-title":"International Journal of Advanced Science and Technology"},{"key":"jiit.2013010104-3","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054105003029"},{"key":"jiit.2013010104-4","unstructured":"B\u00e4ck, T. (1995). Generalized convergence models for tournament- and (mu,lambda)-selection. In Proceedings of the 6th International Conference on Genetic Algorithms, San Francisco, CA (pp 2\u20138). Morgan Kaufmann Publishers Inc."},{"key":"jiit.2013010104-5","unstructured":"Baker, J. E. (1985). Adaptive selection methods for genetic algorithms. In Proceedings of the 1st International Conference on Genetic Algorithms, Hillsdale, NJ (pp. 101\u2013111). L. Erlbaum Associates Inc."},{"key":"jiit.2013010104-6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90005-3"},{"key":"jiit.2013010104-7","doi-asserted-by":"crossref","DOI":"10.1007\/0-387-28356-0","author":"E. K.Burke","year":"2005","journal-title":"Search methodologies: Introductory tutorials in optimization and decision support techniques"},{"key":"jiit.2013010104-8","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"},{"key":"jiit.2013010104-9","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050049"},{"key":"jiit.2013010104-10","doi-asserted-by":"crossref","unstructured":"Chu, C., & Brockmeyer, M. (2008). Predicate detection modality and semantics in three partially synchronous models. In Proceedings of the Seventh IEEE\/ACIS International Conference on Computer and Information Science (pp. 444 \u2013450).","DOI":"10.1109\/ICIS.2008.95"},{"key":"jiit.2013010104-11","doi-asserted-by":"publisher","DOI":"10.1145\/127695.122774"},{"key":"jiit.2013010104-12","doi-asserted-by":"publisher","DOI":"10.1109\/71.995818"},{"issue":"4","key":"jiit.2013010104-13","first-page":"223","article-title":"Solving n-queens with a genetic algorithm and its usefulness in a computational intelligence course.","volume":"23","author":"R.Eastridge","year":"2008","journal-title":"Journal of Computing in Small Colleges"},{"key":"jiit.2013010104-14","first-page":"3","article-title":"Multi-parent recombination","author":"A. E.Eiben","year":"1997","journal-title":"Handbook of evolutionary computation"},{"key":"jiit.2013010104-15","doi-asserted-by":"crossref","unstructured":"Feng, S., & Wang, X. (2012). Research on fault diagnosis of mixed-signal circuits based on genetic algorithms. In Proceedings of the International Conference on Computer Science and Electronics Engineering (ICCSEE) (Vol. 3, pp. 12\u201315).","DOI":"10.1109\/ICCSEE.2012.60"},{"key":"jiit.2013010104-16","unstructured":"Fidge, C. (1988). Timestamps in message-passing systems that preserve the partial ordering. In Proceedings of the 11th Australian Computer Science Conference (pp. 56\u201366)."},{"key":"jiit.2013010104-17","doi-asserted-by":"crossref","unstructured":"Freiling, F. C., & Jhumka, A. (2007). Global predicate detection in distributed systems with small faults. In Proceedings of the 9th International Conference on Stabilization, Safety, and Security of Distributed Systems (SSS\u201907), (pp. 296\u2013310). Berlin, Heidelberg, Germany: Springer-Verlag.","DOI":"10.1007\/978-3-540-76627-8_23"},{"key":"jiit.2013010104-18","author":"V. K.Garg","year":"2002","journal-title":"Elements of distributed computing"},{"key":"jiit.2013010104-19","doi-asserted-by":"crossref","unstructured":"Garg, V. K., & Mittal, N. (2001). On slicing a distributed computation. In Proceedings of the 21st International Conference on Distributed Computing Systems, (ICDCS \u201901) (p. 322).","DOI":"10.1109\/ICDSC.2001.918962"},{"key":"jiit.2013010104-20","doi-asserted-by":"publisher","DOI":"10.1109\/71.277788"},{"key":"jiit.2013010104-21","doi-asserted-by":"publisher","DOI":"10.1109\/71.553309"},{"key":"jiit.2013010104-22","doi-asserted-by":"crossref","unstructured":"Jegou, R., Medina, R., & Nourine, L. (1995). Linear space algorithm for on-line detection of global predicates. In Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, Germany (pp. 175\u2013189).","DOI":"10.1007\/978-1-4471-3078-9_12"},{"key":"jiit.2013010104-23","unstructured":"JGAP. (2012). Retrieved 31 July, 2012 from http:\/\/jgap.sourceforge.net\/"},{"key":"jiit.2013010104-24","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"jiit.2013010104-25","doi-asserted-by":"publisher","DOI":"10.1007\/BF01786631"},{"key":"jiit.2013010104-26","doi-asserted-by":"crossref","unstructured":"Li, H. F., Al Maghayreh, E., & Goswami, D. (2007a). Detecting atomicity errors in message passing programs. In Proceedings of the Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT \u201907) (pp. 193\u2013200). IEEE Computer Society.","DOI":"10.1109\/PDCAT.2007.56"},{"key":"jiit.2013010104-27","doi-asserted-by":"crossref","unstructured":"Li, H. F., Al Maghayreh, E., & Goswami, D. (2007b). Using atoms to simplify distributed programs checking. In Proceedings of the Third IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC \u201907) (pp. 75\u201383).","DOI":"10.1109\/DASC.2007.24"},{"key":"jiit.2013010104-28","doi-asserted-by":"publisher","DOI":"10.1023\/B:AUSE.0000008668.12782.6c"},{"key":"jiit.2013010104-29","unstructured":"Mattern, F. (1989). Virtual time and global states of distributed systems. In Proceedings of the International Workshop on Parallel and Distributed Algorithms (pp. 215\u2013226), Cha^teau de Bonas, France."},{"key":"jiit.2013010104-30","doi-asserted-by":"crossref","unstructured":"Mittal, N., & Garg, V. K. (2001). Computation slicing: Techniques and theory. In Proceedings of the 15th International Conference on Distributed Computing (DISC \u201901) (pp. 78\u201392). Springer-Verlag.","DOI":"10.1007\/3-540-45414-4_6"},{"key":"jiit.2013010104-31","doi-asserted-by":"crossref","unstructured":"Montana, D., Brinn, M., Moore, S., & Bidwell, G. (1998). Genetic algorithms for complex, real-time scheduling. In Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics (pp. 2213\u20132218","DOI":"10.1109\/ICSMC.1998.724984"},{"key":"jiit.2013010104-32","doi-asserted-by":"crossref","unstructured":"Pelusi, D. (2011). Optimization of a fuzzy logic controller using genetic algorithms. In Proceedings of the International Conference on Intelligent Human-Machine Systems and Cybernetics (IHMSC) (Vol. 2, pp. 143\u2013146).","DOI":"10.1109\/IHMSC.2011.105"},{"key":"jiit.2013010104-33","doi-asserted-by":"publisher","DOI":"10.4018\/jiit.2011070103"},{"key":"jiit.2013010104-34","doi-asserted-by":"crossref","unstructured":"Sastry, K., & Goldberg, D. (2004). Let\u2019s get ready to rumble: Crossover versus mutation head to head. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2004) (LNCS 3103, pages 126\u2013137). Berlin\/Heidelberg, Germany: Springer.","DOI":"10.1007\/978-3-540-24855-2_12"},{"key":"jiit.2013010104-35","doi-asserted-by":"crossref","unstructured":"Sen, A., & Garg, V. K. (2003). Detecting temporal logic predicates in distributed programs using computation slicing. In Proceedings of the 7th International Conference on Principles of Distributed Systems (OPODIS 2003) (pp. 171\u2013183).","DOI":"10.1007\/978-3-540-27860-3_17"},{"key":"jiit.2013010104-36","doi-asserted-by":"publisher","DOI":"10.1887\/0750308958\/b386c73"},{"key":"jiit.2013010104-37","unstructured":"Spezialetti, M., & Kearns, P. (1986). Efficient distributed snapshots. In International Conference on Distributed Computing Systems, Cambridge, MA (pp. 382\u2013388)."},{"key":"jiit.2013010104-38","unstructured":"Syswerda, G. (1989). Uniform crossover in genetic algorithms. In Proceedings of the 3rd International Conference on Genetic Algorithms, San Francisco, CA (pp. 2\u20139). Morgan Kaufmann Publishers Inc."},{"key":"jiit.2013010104-39","doi-asserted-by":"publisher","DOI":"10.4018\/jiit.2011100102"},{"key":"jiit.2013010104-40","doi-asserted-by":"crossref","unstructured":"Thierens, D., & Goldberg, D. E. (1994). Convergence models of genetic algorithm selection schemes. In Proceedings of the International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature: Parallel Problem Solving from Nature (PPSN III), Jerusalem, Isreal (pp. 119\u2013129). London, UK: Springer-Verlag.","DOI":"10.1007\/3-540-58484-6_256"},{"key":"jiit.2013010104-41","doi-asserted-by":"publisher","DOI":"10.4018\/jiit.2011040104"},{"key":"jiit.2013010104-42","doi-asserted-by":"publisher","DOI":"10.4018\/jiit.2012070102"},{"key":"jiit.2013010104-43","first-page":"205","article-title":"Genetic algorithms for real parameter optimization","author":"A. H.Wright","year":"1991","journal-title":"Foundations of genetic algorithms"}],"container-title":["International Journal of Intelligent Information Technologies"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=75546","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T22:08:43Z","timestamp":1654121323000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jiit.2013010104"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2013,1,1]]},"references-count":44,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,1]]}},"URL":"https:\/\/doi.org\/10.4018\/jiit.2013010104","relation":{},"ISSN":["1548-3657","1548-3665"],"issn-type":[{"value":"1548-3657","type":"print"},{"value":"1548-3665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,1]]}}}