{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T10:41:05Z","timestamp":1761129665482,"version":"3.41.2"},"reference-count":40,"publisher":"Emerald","issue":"3\/4","license":[{"start":{"date-parts":[[2019,11,4]],"date-time":"2019-11-04T00:00:00Z","timestamp":1572825600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.emerald.com\/insight\/site-policies"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IJPCC"],"published-print":{"date-parts":[[2019,11,4]]},"abstract":"<jats:sec><jats:title content-type=\"abstract-subheading\">Purpose<\/jats:title><jats:p>Grid computing is an effective environment for the execution of parallel applications that requires great computing power. This paper aims to present, based on the hierarchical architecture, an improved weighted resource discovery (WRD) algorithm to manage allocation of resources and minimize cost of communications between grid nodes.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-subheading\">Design\/methodology\/approach<\/jats:title><jats:p>A behavioral modeling method is addressed to prove the proposed method correctness. The behavioral model of the proposed algorithm is implemented by StarUML tool with two different model-checking mechanisms. Then, the resource discovery correctness is analyzed in terms of reachability condition, fairness condition and deadlock-free using NuSMV model checker.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-subheading\">Findings<\/jats:title><jats:p>The results show that WRD algorithm has better performance in requiring re-discovery process, the number of examined nodes in each request and discovering the free resources with high-bandwidth links.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-subheading\">Originality\/value<\/jats:title><jats:p>To store information of resources, a new data structure called resource information table is proposed which facilitates resource finding of the algorithm. A behavioral modeling method is addressed to prove the proposed method correctness.<\/jats:p><\/jats:sec>","DOI":"10.1108\/ijpcc-04-2019-0036","type":"journal-article","created":{"date-parts":[[2019,11,22]],"date-time":"2019-11-22T07:17:39Z","timestamp":1574407059000},"page":"199-223","source":"Crossref","is-referenced-by-count":3,"title":["A weighted resource discovery approach in grid computing"],"prefix":"10.1108","volume":"15","author":[{"given":"Saeed","family":"Sabamoniri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alireza","family":"Souri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"140","reference":[{"issue":"4","key":"key2019121710015080700_ref001","doi-asserted-by":"crossref","first-page":"2702789","DOI":"10.1155\/2016\/2702789","article-title":"QoS aware middleware support for dynamically reconfigurable component based IoT applications","volume":"12","year":"2016","journal-title":"International Journal of Distributed Sensor Networks"},{"key":"key2019121710015080700_ref002","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/j.simpat.2014.11.003","article-title":"Model checking temporal knowledge and commitments in multi-agent systems using reduction","volume":"51","year":"2015","journal-title":"Simulation Modelling Practice and Theory"},{"key":"key2019121710015080700_ref003","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/j.scico.2014.02.006","article-title":"Model checking linear temporal logic of rewriting formulas under localized fairness","volume":"99","year":"2015","journal-title":"Science of Computer Programming"},{"issue":"5","key":"key2019121710015080700_ref004","doi-asserted-by":"crossref","first-page":"e3501","DOI":"10.1002\/dac.3501","article-title":"Clustering-based resource discovery on internet-of-Things","volume":"31","year":"2018","journal-title":"International Journal of Communication Systems"},{"issue":"3","key":"key2019121710015080700_ref005","doi-asserted-by":"crossref","first-page":"2893","DOI":"10.1016\/j.eswa.2011.08.151","article-title":"A knowledge-based object modeling advisor for developing quality object models","volume":"39","year":"2012","journal-title":"Expert Systems with Applications"},{"issue":"10","key":"key2019121710015080700_ref006","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/j.parco.2013.08.003","article-title":"P2P-based resource discovery in dynamic grids allowing multi-attribute and range queries","volume":"39","year":"2013","journal-title":"Parallel Computing"},{"issue":"5","key":"key2019121710015080700_ref007","doi-asserted-by":"crossref","first-page":"4835","DOI":"10.1016\/j.eswa.2011.09.130","article-title":"A survey of security in multi-agent systems","volume":"39","year":"2012","journal-title":"Expert Systems with Applications"},{"issue":"1","key":"key2019121710015080700_ref008","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.future.2009.06.003","article-title":"A resource discovery tree using bitmap for grids","volume":"26","year":"2010","journal-title":"Future Generation Computer Systems"},{"article-title":"Test generation by using component composition abstraction refinement","volume-title":"2011 IEEE\/ACIS 10th International Conference on Computer and Information Science (ICIS)","year":"2011","key":"key2019121710015080700_ref009"},{"volume-title":"Model Checking","year":"1999","key":"key2019121710015080700_ref010"},{"article-title":"Grid information services for distributed resource sharing","volume-title":"Proceedings. 10th IEEE International Symposium on High Performance Distributed Computing","year":"2001","key":"key2019121710015080700_ref011"},{"issue":"1","key":"key2019121710015080700_ref012","doi-asserted-by":"crossref","first-page":"33","DOI":"10.3390\/app9010033","article-title":"DiRPL: a RPL-based resource and service discovery algorithm for 6LoWPANs","volume":"9","year":"2018","journal-title":"Applied Sciences"},{"issue":"3","key":"key2019121710015080700_ref013","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/s12652-017-0450-3","article-title":"Hybrid CoAP-based resource discovery for the internet of things","volume":"8","year":"2017","journal-title":"Journal of Ambient Intelligence and Humanized Computing"},{"key":"key2019121710015080700_ref014","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/298595.298598","article-title":"Property specification patterns for finite-state verification","volume-title":"Proceedings of the second workshop on Formal methods in software practice","year":"1998"},{"key":"key2019121710015080700_ref015","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.future.2017.05.024","article-title":"Soft sets based symbiotic organisms search algorithm for resource discovery in cloud computing environment","volume":"76","year":"2017","journal-title":"Future Generation Computer Systems"},{"issue":"6","key":"key2019121710015080700_ref016","first-page":"1829","article-title":"A multi-criteria method for resource discovery in distributed systems using deductive fuzzy system","volume":"19","year":"2016","journal-title":"International Journal of Fuzzy Systems"},{"issue":"7","key":"key2019121710015080700_ref017","doi-asserted-by":"crossref","first-page":"947","DOI":"10.1016\/j.future.2010.03.009","article-title":"Toward dynamic and attribute based publication, discovery and selection for cloud computing","volume":"26","year":"2010","journal-title":"Future Generation Computer Systems"},{"issue":"5","key":"key2019121710015080700_ref018","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","article-title":"The model checker SPIN","volume":"23","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"key2019121710015080700_ref019","first-page":"139","article-title":"Predictive web service monitoring using probabilistic model checking","volume":"7","year":"2013","journal-title":"Applied Mathematics and Information Sciences"},{"key":"key2019121710015080700_ref020","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1016\/j.future.2014.09.004","article-title":"Elastic grid resource provisioning with WoBinGO: a parallel framework for genetic algorithm based optimization","volume":"42","year":"2015","journal-title":"Future Generation Computer Systems"},{"key":"key2019121710015080700_ref021","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/j.jnca.2013.09.013","article-title":"Resource discovery mechanisms in grid systems: a survey","volume":"41","year":"2014","journal-title":"Journal of Network and Computer Applications"},{"key":"key2019121710015080700_ref022","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jss.2016.07.006","article-title":"An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: formal verification, simulation, and statistical testing","volume":"124","year":"2017","journal-title":"Journal of Systems and Software"},{"issue":"2","key":"key2019121710015080700_ref023","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1016\/j.future.2010.08.002","article-title":"FRDT: footprint resource discovery tree for grids","volume":"27","year":"2011","journal-title":"Future Generation Computer Systems"},{"key":"key2019121710015080700_ref024","first-page":"371","article-title":"Developing model checkers using PAT","volume-title":"Automated Technology for Verification and Analysis","year":"2010"},{"volume-title":"Symbolic Model Checking: An Approach to the State Explosion Problem","year":"1992","key":"key2019121710015080700_ref025"},{"article-title":"Resource discovery in a dynamic grid environment","volume-title":"Sixteenth International Workshop on Database and Expert Systems Applications, 2005. Proceedings","year":"2005","key":"key2019121710015080700_ref027"},{"issue":"4\/5","key":"key2019121710015080700_ref026","first-page":"339","article-title":"Peer-to-peer systems for discovering resources in a dynamic grid","volume":"33","year":"2007","journal-title":"Parallel Computing"},{"key":"key2019121710015080700_ref028","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/j.micpro.2017.06.004","article-title":"Functional verification based platform for evaluating fault tolerance properties","volume":"52","year":"2017","journal-title":"Microprocessors and Microsystems"},{"issue":"2","key":"key2019121710015080700_ref029","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/j.cosrev.2010.06.002","article-title":"Linear temporal logic symbolic model checking","volume":"5","year":"2011","journal-title":"Computer Science Review"},{"issue":"8","key":"key2019121710015080700_ref030","doi-asserted-by":"crossref","first-page":"3831","DOI":"10.1016\/j.eswa.2013.11.042","article-title":"Behavioral modeling and formal verification of a resource discovery approach in grid computing","volume":"41","year":"2014","journal-title":"Expert Systems with Applications"},{"key":"key2019121710015080700_ref031","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.csi.2017.11.007","article-title":"Formal verification approaches and standards in the cloud computing: a comprehensive and systematic review","volume":"58","year":"2018","journal-title":"Computer Standards and Interfaces"},{"issue":"17","key":"key2019121710015080700_ref032","first-page":"1","article-title":"Formal verification approaches in the web service composition: a comprehensive analysis of the current challenges for future research","volume":"31","year":"2018","journal-title":"International Journal of Communication Systems"},{"issue":"3","key":"key2019121710015080700_ref033","first-page":"407","article-title":"A model checking approach for user relationship management in the social network","volume":"48","year":"2018","journal-title":"Kybernetes"},{"issue":"1","key":"key2019121710015080700_ref034","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1186\/s13673-019-0165-x","article-title":"A symbolic model checking approach in formal verification of distributed systems","volume":"9","year":"2019","journal-title":"Human-Centric Computing and Information Sciences"},{"issue":"6","key":"key2019121710015080700_ref035","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1016\/j.parco.2005.03.005","article-title":"A time-to-live based reservation algorithm on fully decentralized resource discovery in grid computing","volume":"31","year":"2005","journal-title":"Parallel Computing"},{"key":"key2019121710015080700_ref036","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.micpro.2015.12.001","article-title":"Improving the efficiency of functional verification based on test prioritization","volume":"41","year":"2016","journal-title":"Microprocessors and Microsystems"},{"article-title":"A time-to-live based multi-resources reservation algorithm on resource discovery in grid environment","volume-title":"1st International Symposium on Pervasive Computing and Applications, 2006","year":"2006","key":"key2019121710015080700_ref037"},{"article-title":"A multi-agent approach for P2P based resource discovery in grids","volume-title":"International Joint Conference on Artificial Intelligence, JCAI '09","year":"2009","key":"key2019121710015080700_ref038"},{"key":"key2019121710015080700_ref039","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1016\/j.jnca.2017.04.014","article-title":"HARD: Hybrid adaptive resource discovery for jungle computing","volume":"90","year":"2017","journal-title":"Journal of Network and Computer Applications"},{"key":"key2019121710015080700_ref040","first-page":"565","article-title":"A study on mobile agent based resource management in grid","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","year":"2007"}],"container-title":["International Journal of Pervasive Computing and Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/IJPCC-04-2019-0036\/full\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/IJPCC-04-2019-0036\/full\/html","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T22:05:22Z","timestamp":1753394722000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.emerald.com\/ijpcc\/article\/15\/3-4\/199-223\/161395"}},"subtitle":["Formal verification approach and simulation"],"short-title":[],"issued":{"date-parts":[[2019,11,4]]},"references-count":40,"journal-issue":{"issue":"3\/4","published-print":{"date-parts":[[2019,11,4]]}},"alternative-id":["10.1108\/IJPCC-04-2019-0036"],"URL":"https:\/\/doi.org\/10.1108\/ijpcc-04-2019-0036","relation":{},"ISSN":["1742-7371","1742-7371"],"issn-type":[{"type":"print","value":"1742-7371"},{"type":"print","value":"1742-7371"}],"subject":[],"published":{"date-parts":[[2019,11,4]]}}}