A generic formal model for the comparison and analysis of distributed job-scheduling algorithms in grid environment
Nowadays, high-end Systems consist of thousands of individual devices which are in general heterogeneous. Grid computing environments are an example of high-end systems which are composed of many diverse and heterogeneous resources distributed within multiple geographical areas. The performance of s...
Uloženo v:
| Vydáno v: | Journal of parallel and distributed computing Ročník 132; s. 331 - 343 |
|---|---|
| Hlavní autor: | |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier Inc
01.10.2019
|
| Témata: | |
| ISSN: | 0743-7315, 1096-0848 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Nowadays, high-end Systems consist of thousands of individual devices which are in general heterogeneous. Grid computing environments are an example of high-end systems which are composed of many diverse and heterogeneous resources distributed within multiple geographical areas. The performance of such systems depends considerably on job scheduling and resource allocation algorithms. Indeed, to improve the global throughput of these environments, effective and efficient load balancing algorithms are fundamentally important. In this paper, we propose a completely distributed formal model for the description of grid architecture. Our model, is then parameterized to describe different job-scheduling algorithms in a completely parallel architecture. In particular, we focus on the modeling and description of distributed load-balancing algorithms. To reach this purpose, we define a set of parallel schedulers communicating together to achieve a given load-balancing policy. To show the applicability of our approach, we propose to specify and compare different well-known job-scheduling policies in grid environments. The formal verification of different properties of the studied protocols has been performed automatically using Model-checking and a set of performance analysis results are also provided.
•A generic formal model for the description of a Grid architecture as a component-based system. A completely parallel model built as a set of communicating local-schedulers.•A completely distributed model built as a composition of a set of local schedulers communicating via a set of connectors (interactions). We believe that any distributed job-scheduling strategy could be easily implemented using interactions and priorities between these interactions.•The model is adapted to describe a set of well-known load-balancing protocols•We have conducted several formal verification experiments to prove a set of properties over the modeled protocols•We have performed a series of experiments to evaluate, analyze and compare the performance of the modeled protocols under a set of real-time executions for different configurations and metrics. |
|---|---|
| AbstractList | Nowadays, high-end Systems consist of thousands of individual devices which are in general heterogeneous. Grid computing environments are an example of high-end systems which are composed of many diverse and heterogeneous resources distributed within multiple geographical areas. The performance of such systems depends considerably on job scheduling and resource allocation algorithms. Indeed, to improve the global throughput of these environments, effective and efficient load balancing algorithms are fundamentally important. In this paper, we propose a completely distributed formal model for the description of grid architecture. Our model, is then parameterized to describe different job-scheduling algorithms in a completely parallel architecture. In particular, we focus on the modeling and description of distributed load-balancing algorithms. To reach this purpose, we define a set of parallel schedulers communicating together to achieve a given load-balancing policy. To show the applicability of our approach, we propose to specify and compare different well-known job-scheduling policies in grid environments. The formal verification of different properties of the studied protocols has been performed automatically using Model-checking and a set of performance analysis results are also provided.
•A generic formal model for the description of a Grid architecture as a component-based system. A completely parallel model built as a set of communicating local-schedulers.•A completely distributed model built as a composition of a set of local schedulers communicating via a set of connectors (interactions). We believe that any distributed job-scheduling strategy could be easily implemented using interactions and priorities between these interactions.•The model is adapted to describe a set of well-known load-balancing protocols•We have conducted several formal verification experiments to prove a set of properties over the modeled protocols•We have performed a series of experiments to evaluate, analyze and compare the performance of the modeled protocols under a set of real-time executions for different configurations and metrics. |
| Author | Hafaiedh, Imene Ben |
| Author_xml | – sequence: 1 givenname: Imene Ben orcidid: 0000-0001-7941-158X surname: Hafaiedh fullname: Hafaiedh, Imene Ben email: imen.benhafaiedh@isi.utm.tn organization: University of Tunis El Manar (UTM), Higher Institute of Computer Science of Tunis (ISI), Tunisia |
| BookMark | eNp9kE1LxDAQhoMouH78AU_5A61J2rRZ8CKLXyB40XNIk2l3SpssSVzw39uiJw8ehmFgnhfe54Kc-uCBkBvOSs54czuW48HZUjC-LZksGRMnZMPZtimYqtUp2bC2roq24vKcXKQ0Msa5bNWGpHs6gIeIlvYhzmaic3AwrQfNe6A2zAcTMQVPjXfLmOkrYaKhpw5Tjth9ZnB0DF2R7B7c54R-oGYaQsS8nxNFT4eIjoI_Ygx-Bp-vyFlvpgTXv_uSfDw-vO-ei9e3p5fd_WthK8ZyIaVpBAMh69pVxqlecOCdggZk3zppVV9Lp5qmE67ZisZWVvROtcujEwurqksifnJtDClF6PUh4mzil-ZMr9r0qFdtetWmmdSLtgVSfyCL2WQMPkeD0__o3Q8KS6kjQtTJIngLDiPYrF3A__Bv3XKNtA |
| CitedBy_id | crossref_primary_10_1016_j_simpat_2021_102331 crossref_primary_10_3390_electronics12061402 |
| Cites_doi | 10.1016/j.future.2006.05.002 10.1016/j.future.2010.05.015 10.1007/s00446-012-0168-6 10.1145/1387249.1387253 10.1007/978-3-319-24953-7_25 10.1016/j.asoc.2012.03.065 10.1007/s00165-015-0349-8 10.1109/MC.2009.283 10.1016/j.jpdc.2007.01.008 10.1016/j.ipl.2006.01.002 10.1002/cpe.1505 10.1109/MS.2011.27 10.4204/EPTCS.144.5 10.1007/s10703-011-0128-y 10.1109/TC.2008.26 10.3844/jcssp.2007.186.194 10.1016/j.future.2007.04.008 10.1109/SIES.2009.5196211 10.1109/GCC.2006.62 10.1145/769782.769787 10.1016/j.jlap.2010.10.001 10.1016/j.ress.2005.11.005 10.1016/j.cie.2005.12.004 10.1002/cpe.4330070709 10.1016/j.eswa.2013.11.042 10.1109/CSCWD.2005.194199 10.1109/GCC.2006.61 10.1016/j.future.2007.06.001 10.1007/BF02948918 |
| ContentType | Journal Article |
| Copyright | 2019 Elsevier Inc. |
| Copyright_xml | – notice: 2019 Elsevier Inc. |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.jpdc.2019.05.002 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1096-0848 |
| EndPage | 343 |
| ExternalDocumentID | 10_1016_j_jpdc_2019_05_002 S0743731519303703 |
| GroupedDBID | --K --M -~X .~1 0R~ 1B1 1~. 1~5 29L 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABBOA ABEFU ABFNM ABFSI ABJNI ABMAC ABTAH ABXDB ABYKQ ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADFGL ADHUB ADJOM ADMUD ADTZH AEBSH AECPX AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CAG COF CS3 DM4 DU5 E.L EBS EFBJH EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q G8K GBLVA GBOLZ HLZ HVGLF HZ~ H~9 IHE J1W JJJVA K-O KOM LG5 LG9 LY7 M41 MO0 N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SBC SDF SDG SDP SES SET SEW SPC SPCBC SST SSV SSZ T5K TN5 TWZ WUQ XJT XOL XPP ZMT ZU3 ZY4 ~G- ~G0 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD |
| ID | FETCH-LOGICAL-c300t-55a620e2544d3ad8f21e1b8e6e5f7d5c8f45d866b2d6926c3c2fd87d8fd255a83 |
| ISICitedReferencesCount | 3 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000476580400027&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0743-7315 |
| IngestDate | Sat Nov 29 07:20:01 EST 2025 Tue Nov 18 22:30:52 EST 2025 Fri Feb 23 02:31:21 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Distributed scheduling Load balancing algorithms Grid computing environment Formal verification |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c300t-55a620e2544d3ad8f21e1b8e6e5f7d5c8f45d866b2d6926c3c2fd87d8fd255a83 |
| ORCID | 0000-0001-7941-158X |
| PageCount | 13 |
| ParticipantIDs | crossref_primary_10_1016_j_jpdc_2019_05_002 crossref_citationtrail_10_1016_j_jpdc_2019_05_002 elsevier_sciencedirect_doi_10_1016_j_jpdc_2019_05_002 |
| PublicationCentury | 2000 |
| PublicationDate | October 2019 2019-10-00 |
| PublicationDateYYYYMMDD | 2019-10-01 |
| PublicationDate_xml | – month: 10 year: 2019 text: October 2019 |
| PublicationDecade | 2010 |
| PublicationTitle | Journal of parallel and distributed computing |
| PublicationYear | 2019 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Basu, Bensalem, Peled, Sifakis (b8) 2011; 39 Hafaiedh, Graf, Mazouz (b20) 2011 Yang, Guo, Galis, Yang, Liu (b42) 2003; 37 van der Aalst, Bratosin, Sidorova, Trčka (b1) 2010; 22 Wu (b39) 1998 Drechsler (b18) 2018 Tanenbaum (b37) 2001 Y. Han, X. Luo, Modeling and performance analysis of grid task scheduling based on composition and reduction of petri nets, in: Grid and Cooperative Computing - GCC, 5th International Conference, Changsha, 2006, pp. 331–334. Z. Shan, C. Lin, F. Ren, Y. Wei, Modeling and performance analysis of a multiserver multiqueue system on the grid, in: 9th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2003, pp. 337–343. I.V. Konnov, T. Kotek, Q. Wang, H. Veith, S. Bliudze, J. Sifakis, Parameterized systems in BIP: design and model checking, in: 27th international conference on concurrency theory, CONCUR, 2016, pp. 30:1–30:16. Tat, Veeravalli, Hung, See (b38) 2007; 67 Abrial (b2) 2009; 42 Hafaiedh, Graf, Quinton (b21) 2011; 80 L. Li, F. Yang, Modeling and performance analysis of a priority-based scheduling scheme in service grid, in: Proceedings of the Fifth International Conference on Grid and Cooperative Computing, 2006, pp. 327–330. Attie, Baranov, Bliudze, Jaber, Sifakis (b4) 2016; 28 Azgomi, Entezari-Maleki (b5) 2010; 26 Basu, Bozga, Sifakis (b9) 2006 Astefanoaei, Rayana, Bensalem, Bozga, Combaz (b3) 2015; 11 Elmroth, Tordsson (b19) 2008; 24 Balasangameshwara, Nedunchezhian (b6) 2010 G. Ritchie, J. Levine, A fast, effective local search for scheduling independent jobs in heterogeneous computing environments, in: 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 2003. Y. Han, C. Jiang, X. Luo, Resource scheduling model for grid computing based on sharing synthesis of Petri net, in: Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, CSCWD, vol. 1, 2005, pp. 367–372. Levitin, Dai (b28) 2007; 92 Bliudze, Sifakis (b11) 2008; 57 Yagoubi, Slimani (b41) 2007; 3 M. Bozga, M. Jaber, J. Sifakis, Source-to-source architecture transformation for performance optimization in BIP, in: Proc. of SIES’09, 2009, pp. 152–160. Y.B. Hlaoui, L.J. BenAyed, Toward an UML-based composition of grid services workflows, in: Proceedings of the 2Nd International Workshop on Agent-oriented Software Engineering Challenges for Ubiquitous and Pervasive Computing, 2008, pp. 21–28. Rayana, Bozga, Bensalem, Combaz (b31) 2016 Souri, Navimipour (b36) 2014; 41 C.A.R. Restrepo, J.A. Pérez, J. Aranda, J.F. Díaz, Towards formal interaction-based models of grid computing infrastructures, in: International Workshop on Developments in Computational Models, DCM2013., 2013, pp. 57–72. Basu, Bensalem, Bozga, Combaz, Jaber, Nguyen, Sifakis (b7) 2011; 28 Dai, Xie, Poh (b17) 2006; 50 S. Bliudze, A. Cimatti, M. Jaber, S. Mover, M. Roveri, W. Saab, Q. Wang, Formal verification of infinite-state BIP models, in: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12–15, 2015, Proceedings, 2015, pp. 326–343. Chunlin, Layuan (b15) 2006; 98 Jakobovic, Marasovic (b26) 2012; 12 Lim, Hoong, Yeoh (b30) 2012 Silberschatz, Galvin, Gagne (b35) 2002 Bonakdarpour, Bozga, Jaber, Quilbeuf, Sifakis (b12) 2012; 25 Dai, Levitin, Wang (b16) 2007; 23 Xu, Lau, Monien, Lüling (b40) 1995; 7 Caron, Garonne, Tsaregorodtsev (b14) 2007; 23 He, Sun, von Laszewski (b24) 2003; 18 Caron (10.1016/j.jpdc.2019.05.002_b14) 2007; 23 He (10.1016/j.jpdc.2019.05.002_b24) 2003; 18 10.1016/j.jpdc.2019.05.002_b25 Balasangameshwara (10.1016/j.jpdc.2019.05.002_b6) 2010 Yagoubi (10.1016/j.jpdc.2019.05.002_b41) 2007; 3 10.1016/j.jpdc.2019.05.002_b23 Silberschatz (10.1016/j.jpdc.2019.05.002_b35) 2002 Dai (10.1016/j.jpdc.2019.05.002_b17) 2006; 50 Souri (10.1016/j.jpdc.2019.05.002_b36) 2014; 41 10.1016/j.jpdc.2019.05.002_b22 Rayana (10.1016/j.jpdc.2019.05.002_b31) 2016 Dai (10.1016/j.jpdc.2019.05.002_b16) 2007; 23 Drechsler (10.1016/j.jpdc.2019.05.002_b18) 2018 Bonakdarpour (10.1016/j.jpdc.2019.05.002_b12) 2012; 25 10.1016/j.jpdc.2019.05.002_b29 Azgomi (10.1016/j.jpdc.2019.05.002_b5) 2010; 26 Astefanoaei (10.1016/j.jpdc.2019.05.002_b3) 2015; 11 Jakobovic (10.1016/j.jpdc.2019.05.002_b26) 2012; 12 10.1016/j.jpdc.2019.05.002_b27 Yang (10.1016/j.jpdc.2019.05.002_b42) 2003; 37 Chunlin (10.1016/j.jpdc.2019.05.002_b15) 2006; 98 Attie (10.1016/j.jpdc.2019.05.002_b4) 2016; 28 Hafaiedh (10.1016/j.jpdc.2019.05.002_b20) 2011 Basu (10.1016/j.jpdc.2019.05.002_b9) 2006 Levitin (10.1016/j.jpdc.2019.05.002_b28) 2007; 92 Lim (10.1016/j.jpdc.2019.05.002_b30) 2012 Abrial (10.1016/j.jpdc.2019.05.002_b2) 2009; 42 10.1016/j.jpdc.2019.05.002_b34 10.1016/j.jpdc.2019.05.002_b13 Basu (10.1016/j.jpdc.2019.05.002_b7) 2011; 28 10.1016/j.jpdc.2019.05.002_b10 10.1016/j.jpdc.2019.05.002_b32 Tanenbaum (10.1016/j.jpdc.2019.05.002_b37) 2001 Hafaiedh (10.1016/j.jpdc.2019.05.002_b21) 2011; 80 10.1016/j.jpdc.2019.05.002_b33 van der Aalst (10.1016/j.jpdc.2019.05.002_b1) 2010; 22 Xu (10.1016/j.jpdc.2019.05.002_b40) 1995; 7 Basu (10.1016/j.jpdc.2019.05.002_b8) 2011; 39 Bliudze (10.1016/j.jpdc.2019.05.002_b11) 2008; 57 Wu (10.1016/j.jpdc.2019.05.002_b39) 1998 Elmroth (10.1016/j.jpdc.2019.05.002_b19) 2008; 24 Tat (10.1016/j.jpdc.2019.05.002_b38) 2007; 67 |
| References_xml | – volume: 12 start-page: 2781 year: 2012 end-page: 2789 ident: b26 article-title: Evolving priority scheduling heuristics with genetic programming publication-title: Appl. Soft Comput. – volume: 41 start-page: 3831 year: 2014 end-page: 3849 ident: b36 article-title: Behavioral modeling and formal verification of a resource discovery approach in grid computing publication-title: Expert Syst. Appl. – volume: 18 start-page: 442 year: 2003 end-page: 451 ident: b24 article-title: Qos guided min-min heuristic for grid task scheduling publication-title: J. Comput. Sci. Technol. – year: 2001 ident: b37 article-title: Modern Operating Systems – volume: 98 start-page: 119 year: 2006 end-page: 126 ident: b15 article-title: Qos based resource scheduling by computational economy in computational grid publication-title: Inform. Process. Lett. – volume: 11 year: 2015 ident: b3 article-title: Compositional verification for timed systems based on automatic invariant generation publication-title: Log. Methods Comput. Sci. – volume: 3 start-page: 186 year: 2007 end-page: 194 ident: b41 article-title: Task load balancing strategy for grid computing publication-title: J. Comput. Sci. – volume: 23 start-page: 209 year: 2007 end-page: 218 ident: b16 article-title: Optimal task partition and distribution in grid service system with common cause failures publication-title: Future Gener. Comput. Syst. – reference: G. Ritchie, J. Levine, A fast, effective local search for scheduling independent jobs in heterogeneous computing environments, in: 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 2003. – start-page: 1215 year: 2012 end-page: 1219 ident: b30 article-title: Heuristic neighbor selection algorithm for decentralized load balancing in clustered heterogeneous computational environment publication-title: International Conference Advanced Communication Technology (ICACT) – year: 2002 ident: b35 article-title: Operating System Concepts – reference: L. Li, F. Yang, Modeling and performance analysis of a priority-based scheduling scheme in service grid, in: Proceedings of the Fifth International Conference on Grid and Cooperative Computing, 2006, pp. 327–330. – year: 2018 ident: b18 article-title: Formal System Verification – volume: 24 start-page: 585 year: 2008 end-page: 593 ident: b19 article-title: Grid resource brokering algorithms enabling advance reservations and resource selection based on performance predictions publication-title: Future Gener. Comput. Syst. – reference: I.V. Konnov, T. Kotek, Q. Wang, H. Veith, S. Bliudze, J. Sifakis, Parameterized systems in BIP: design and model checking, in: 27th international conference on concurrency theory, CONCUR, 2016, pp. 30:1–30:16. – volume: 22 start-page: 1365 year: 2010 end-page: 1385 ident: b1 article-title: A reference model for grid architectures and its validation publication-title: Concurr. Comput.: Pract. Exper. – volume: 26 start-page: 1141 year: 2010 end-page: 1150 ident: b5 article-title: Task scheduling modelling and reliability evaluation of grid services using coloured petri nets publication-title: Future Gener. Comput. Syst. – volume: 25 start-page: 383 year: 2012 end-page: 409 ident: b12 article-title: A framework for automated distributed implementation of component-based models publication-title: Distrib. Comput. – volume: 23 start-page: 968 year: 2007 end-page: 976 ident: b14 article-title: Definition, modelling and simulation of a grid computing scheduling system for high throughput computing publication-title: Future Gener. Comput. Syst. – year: 1998 ident: b39 article-title: Distributed System Design – year: 2010 ident: b6 article-title: A decentralized recent neighbor load balancing algorithm for computational grid publication-title: Int. J. ACM Jordan – volume: 67 start-page: 659 year: 2007 end-page: 673 ident: b38 article-title: A multi-dimensional scheduling scheme in a grid computing environment publication-title: J. Parallel Distrib. Comput. – reference: M. Bozga, M. Jaber, J. Sifakis, Source-to-source architecture transformation for performance optimization in BIP, in: Proc. of SIES’09, 2009, pp. 152–160. – reference: Y. Han, X. Luo, Modeling and performance analysis of grid task scheduling based on composition and reduction of petri nets, in: Grid and Cooperative Computing - GCC, 5th International Conference, Changsha, 2006, pp. 331–334. – volume: 7 start-page: 707 year: 1995 end-page: 736 ident: b40 article-title: Nearest-neighbor algorithms for load-balancing in parallel computers publication-title: Concurr. Pract. Exper. – volume: 92 start-page: 40 year: 2007 end-page: 46 ident: b28 article-title: Service reliability and performance in grid system with star topology publication-title: Reliab. Eng. Syst. Safety – reference: Z. Shan, C. Lin, F. Ren, Y. Wei, Modeling and performance analysis of a multiserver multiqueue system on the grid, in: 9th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2003, pp. 337–343. – start-page: 394 year: 2016 end-page: 406 ident: b31 article-title: RTD-Finder: A tool for compositional verification of real-time component-based systems publication-title: Tools and Algorithms for the Construction and Analysis of Systems TACAS – volume: 57 year: 2008 ident: b11 article-title: The algebra of connectors - structuring interaction in bip publication-title: IEEE Trans. Comput. – volume: 80 start-page: 194 year: 2011 end-page: 218 ident: b21 article-title: Building distributed controllers for systems with priorities publication-title: J. Log. Algebr. Program. – volume: 50 start-page: 130 year: 2006 end-page: 147 ident: b17 article-title: Reliability of grid service systems publication-title: Comput. Ind. Eng. – reference: Y. Han, C. Jiang, X. Luo, Resource scheduling model for grid computing based on sharing synthesis of Petri net, in: Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, CSCWD, vol. 1, 2005, pp. 367–372. – volume: 28 start-page: 207 year: 2016 end-page: 231 ident: b4 article-title: A general framework for architecture composability publication-title: Formal Asp. Comput. – volume: 28 start-page: 41 year: 2011 end-page: 48 ident: b7 article-title: Rigorous component-based system design using the bip framework publication-title: IEEE Softw. – volume: 39 start-page: 229 year: 2011 end-page: 245 ident: b8 article-title: Priority scheduling of distributed systems based on model checking publication-title: Form. Methods Syst. Des. – volume: 42 start-page: 30 year: 2009 end-page: 36 ident: b2 article-title: Faultless systems: yes we can! publication-title: Computer – reference: S. Bliudze, A. Cimatti, M. Jaber, S. Mover, M. Roveri, W. Saab, Q. Wang, Formal verification of infinite-state BIP models, in: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12–15, 2015, Proceedings, 2015, pp. 326–343. – start-page: 38 year: 2011 end-page: 57 ident: b20 article-title: Distributed implementation of systems with multiparty interactions and priorities publication-title: Software Engineering and Formal Methods SEFM – start-page: 3 year: 2006 end-page: 12 ident: b9 article-title: Modeling heterogeneous real-time components in bip publication-title: SEFM – reference: Y.B. Hlaoui, L.J. BenAyed, Toward an UML-based composition of grid services workflows, in: Proceedings of the 2Nd International Workshop on Agent-oriented Software Engineering Challenges for Ubiquitous and Pervasive Computing, 2008, pp. 21–28. – volume: 37 start-page: 37 year: 2003 end-page: 43 ident: b42 article-title: Towards efficient resource on-demand in grid computing publication-title: SIGOPS Oper. Syst. Rev. – reference: C.A.R. Restrepo, J.A. Pérez, J. Aranda, J.F. Díaz, Towards formal interaction-based models of grid computing infrastructures, in: International Workshop on Developments in Computational Models, DCM2013., 2013, pp. 57–72. – volume: 23 start-page: 209 year: 2007 ident: 10.1016/j.jpdc.2019.05.002_b16 article-title: Optimal task partition and distribution in grid service system with common cause failures publication-title: Future Gener. Comput. Syst. doi: 10.1016/j.future.2006.05.002 – ident: 10.1016/j.jpdc.2019.05.002_b27 – volume: 26 start-page: 1141 year: 2010 ident: 10.1016/j.jpdc.2019.05.002_b5 article-title: Task scheduling modelling and reliability evaluation of grid services using coloured petri nets publication-title: Future Gener. Comput. Syst. doi: 10.1016/j.future.2010.05.015 – start-page: 394 year: 2016 ident: 10.1016/j.jpdc.2019.05.002_b31 article-title: RTD-Finder: A tool for compositional verification of real-time component-based systems – volume: 25 start-page: 383 year: 2012 ident: 10.1016/j.jpdc.2019.05.002_b12 article-title: A framework for automated distributed implementation of component-based models publication-title: Distrib. Comput. doi: 10.1007/s00446-012-0168-6 – ident: 10.1016/j.jpdc.2019.05.002_b25 doi: 10.1145/1387249.1387253 – ident: 10.1016/j.jpdc.2019.05.002_b10 doi: 10.1007/978-3-319-24953-7_25 – volume: 12 start-page: 2781 year: 2012 ident: 10.1016/j.jpdc.2019.05.002_b26 article-title: Evolving priority scheduling heuristics with genetic programming publication-title: Appl. Soft Comput. doi: 10.1016/j.asoc.2012.03.065 – ident: 10.1016/j.jpdc.2019.05.002_b33 – volume: 28 start-page: 207 year: 2016 ident: 10.1016/j.jpdc.2019.05.002_b4 article-title: A general framework for architecture composability publication-title: Formal Asp. Comput. doi: 10.1007/s00165-015-0349-8 – volume: 42 start-page: 30 year: 2009 ident: 10.1016/j.jpdc.2019.05.002_b2 article-title: Faultless systems: yes we can! publication-title: Computer doi: 10.1109/MC.2009.283 – volume: 67 start-page: 659 year: 2007 ident: 10.1016/j.jpdc.2019.05.002_b38 article-title: A multi-dimensional scheduling scheme in a grid computing environment publication-title: J. Parallel Distrib. Comput. doi: 10.1016/j.jpdc.2007.01.008 – volume: 98 start-page: 119 year: 2006 ident: 10.1016/j.jpdc.2019.05.002_b15 article-title: Qos based resource scheduling by computational economy in computational grid publication-title: Inform. Process. Lett. doi: 10.1016/j.ipl.2006.01.002 – year: 2001 ident: 10.1016/j.jpdc.2019.05.002_b37 – volume: 22 start-page: 1365 year: 2010 ident: 10.1016/j.jpdc.2019.05.002_b1 article-title: A reference model for grid architectures and its validation publication-title: Concurr. Comput.: Pract. Exper. doi: 10.1002/cpe.1505 – volume: 28 start-page: 41 year: 2011 ident: 10.1016/j.jpdc.2019.05.002_b7 article-title: Rigorous component-based system design using the bip framework publication-title: IEEE Softw. doi: 10.1109/MS.2011.27 – ident: 10.1016/j.jpdc.2019.05.002_b32 doi: 10.4204/EPTCS.144.5 – volume: 11 year: 2015 ident: 10.1016/j.jpdc.2019.05.002_b3 article-title: Compositional verification for timed systems based on automatic invariant generation publication-title: Log. Methods Comput. Sci. – volume: 39 start-page: 229 year: 2011 ident: 10.1016/j.jpdc.2019.05.002_b8 article-title: Priority scheduling of distributed systems based on model checking publication-title: Form. Methods Syst. Des. doi: 10.1007/s10703-011-0128-y – volume: 57 issue: 10 year: 2008 ident: 10.1016/j.jpdc.2019.05.002_b11 article-title: The algebra of connectors - structuring interaction in bip publication-title: IEEE Trans. Comput. doi: 10.1109/TC.2008.26 – volume: 3 start-page: 186 year: 2007 ident: 10.1016/j.jpdc.2019.05.002_b41 article-title: Task load balancing strategy for grid computing publication-title: J. Comput. Sci. doi: 10.3844/jcssp.2007.186.194 – volume: 23 start-page: 968 year: 2007 ident: 10.1016/j.jpdc.2019.05.002_b14 article-title: Definition, modelling and simulation of a grid computing scheduling system for high throughput computing publication-title: Future Gener. Comput. Syst. doi: 10.1016/j.future.2007.04.008 – ident: 10.1016/j.jpdc.2019.05.002_b13 doi: 10.1109/SIES.2009.5196211 – year: 2010 ident: 10.1016/j.jpdc.2019.05.002_b6 article-title: A decentralized recent neighbor load balancing algorithm for computational grid publication-title: Int. J. ACM Jordan – ident: 10.1016/j.jpdc.2019.05.002_b23 doi: 10.1109/GCC.2006.62 – ident: 10.1016/j.jpdc.2019.05.002_b34 – volume: 37 start-page: 37 year: 2003 ident: 10.1016/j.jpdc.2019.05.002_b42 article-title: Towards efficient resource on-demand in grid computing publication-title: SIGOPS Oper. Syst. Rev. doi: 10.1145/769782.769787 – volume: 80 start-page: 194 year: 2011 ident: 10.1016/j.jpdc.2019.05.002_b21 article-title: Building distributed controllers for systems with priorities publication-title: J. Log. Algebr. Program. doi: 10.1016/j.jlap.2010.10.001 – volume: 92 start-page: 40 year: 2007 ident: 10.1016/j.jpdc.2019.05.002_b28 article-title: Service reliability and performance in grid system with star topology publication-title: Reliab. Eng. Syst. Safety doi: 10.1016/j.ress.2005.11.005 – start-page: 3 year: 2006 ident: 10.1016/j.jpdc.2019.05.002_b9 article-title: Modeling heterogeneous real-time components in bip – year: 2002 ident: 10.1016/j.jpdc.2019.05.002_b35 – volume: 50 start-page: 130 year: 2006 ident: 10.1016/j.jpdc.2019.05.002_b17 article-title: Reliability of grid service systems publication-title: Comput. Ind. Eng. doi: 10.1016/j.cie.2005.12.004 – start-page: 38 year: 2011 ident: 10.1016/j.jpdc.2019.05.002_b20 article-title: Distributed implementation of systems with multiparty interactions and priorities – year: 2018 ident: 10.1016/j.jpdc.2019.05.002_b18 – start-page: 1215 year: 2012 ident: 10.1016/j.jpdc.2019.05.002_b30 article-title: Heuristic neighbor selection algorithm for decentralized load balancing in clustered heterogeneous computational environment – volume: 7 start-page: 707 year: 1995 ident: 10.1016/j.jpdc.2019.05.002_b40 article-title: Nearest-neighbor algorithms for load-balancing in parallel computers publication-title: Concurr. Pract. Exper. doi: 10.1002/cpe.4330070709 – volume: 41 start-page: 3831 issue: 8 year: 2014 ident: 10.1016/j.jpdc.2019.05.002_b36 article-title: Behavioral modeling and formal verification of a resource discovery approach in grid computing publication-title: Expert Syst. Appl. doi: 10.1016/j.eswa.2013.11.042 – year: 1998 ident: 10.1016/j.jpdc.2019.05.002_b39 – ident: 10.1016/j.jpdc.2019.05.002_b22 doi: 10.1109/CSCWD.2005.194199 – ident: 10.1016/j.jpdc.2019.05.002_b29 doi: 10.1109/GCC.2006.61 – volume: 24 start-page: 585 year: 2008 ident: 10.1016/j.jpdc.2019.05.002_b19 article-title: Grid resource brokering algorithms enabling advance reservations and resource selection based on performance predictions publication-title: Future Gener. Comput. Syst. doi: 10.1016/j.future.2007.06.001 – volume: 18 start-page: 442 year: 2003 ident: 10.1016/j.jpdc.2019.05.002_b24 article-title: Qos guided min-min heuristic for grid task scheduling publication-title: J. Comput. Sci. Technol. doi: 10.1007/BF02948918 |
| SSID | ssj0011578 |
| Score | 2.2444587 |
| Snippet | Nowadays, high-end Systems consist of thousands of individual devices which are in general heterogeneous. Grid computing environments are an example of... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 331 |
| SubjectTerms | Distributed scheduling Formal verification Grid computing environment Load balancing algorithms |
| Title | A generic formal model for the comparison and analysis of distributed job-scheduling algorithms in grid environment |
| URI | https://dx.doi.org/10.1016/j.jpdc.2019.05.002 |
| Volume | 132 |
| WOSCitedRecordID | wos000476580400027&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1096-0848 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0011578 issn: 0743-7315 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3db9MwELeqjgde-EaMAfIDb1Mq24kT57GgIYbQhMRAfYscf4xWIa26Mm3_PefYTjI-JkDiJWqj2LV8v9ydr3e_Q-hlVuZKUqESro1NsqyGd07BYUVnlteAaumzKj-_L05OxGJRfphMrmItzEVTtK24vCw3_1XUcA-E7Upn_0Lc_aRwAz6D0OEKYofrHwl-7roidwnynT_a-GY3fTqhGhoPep7WgZREOxJd1_8KnNDVuk7g4AuGqKtXl83Zervcffnapc-ebZd6XCL3Gw_X0Yo3jfFkBOPJVddKIhrNTv9ZCb5wF-I5hhnN4atQohYCErTsU9tClCxWylxL5OyoUIvUl27OjFe2xCVAC8-02WvjEO70-jSWc3nTnHpGp5-0vg9ArGarjXaslLSc-UjZYOP6zMOPbiFuHeC4krRwPLF7rOClmKK9-fHR4l3_FxTl3ozHhYeKK58c-OMv_dqrGXkqp_fQnSAAPPfQuI8mpn2A7sb2HTho84fofI4DUrBHCu6Q4r5gQAoekIJBgDgiBa8tHgkTX0cKHpCCly12SMEjpDxCn94cnb5-m4QeHIlKCdklnMucEeOI7HQqtbCMGloLkxtuC82VsBnXIs9rpvOS5SpVzGpRwIMaDqtSpI_RtF235gnC4DnrmhVZnlKbEZVJbVlNcpJKSZkyfB_RuIeVCgT1rk9KU8VMxFXl9r1y-14RXsG-76PDfszG07Pc-DSPoqmCg-kdxwqQdMO4p_847gDdHl6QZ2i6234zz9EtdbFbnm9fBMB9B2IHpNE |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+generic+formal+model+for+the+comparison+and+analysis+of+distributed+job-scheduling+algorithms+in+grid+environment&rft.jtitle=Journal+of+parallel+and+distributed+computing&rft.au=Hafaiedh%2C+Imene+Ben&rft.date=2019-10-01&rft.pub=Elsevier+Inc&rft.issn=0743-7315&rft.eissn=1096-0848&rft.volume=132&rft.spage=331&rft.epage=343&rft_id=info:doi/10.1016%2Fj.jpdc.2019.05.002&rft.externalDocID=S0743731519303703 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0743-7315&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0743-7315&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0743-7315&client=summon |