{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T15:31:58Z","timestamp":1649086318661},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,4,3]],"date-time":"2013-04-03T00:00:00Z","timestamp":1364947200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s11761-013-0131-9","type":"journal-article","created":{"date-parts":[[2013,4,2]],"date-time":"2013-04-02T08:16:30Z","timestamp":1364890590000},"page":"293-315","source":"Crossref","is-referenced-by-count":2,"title":["A policy-based approach for strong mobility of composed Web services"],"prefix":"10.1007","volume":"7","author":[{"given":"Soumaya","family":"Marzouk","sequence":"first","affiliation":[]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,4,3]]},"reference":[{"key":"131_CR1","doi-asserted-by":"crossref","unstructured":"Allen G, Angulo D, Foster I, Lanfermann G, Liu C, Radke T, Seidel E, Shalf J (2001) The cactus worm experiments with dynamic resource discovery and allocation in a grid environment. Int J High Perform Comput Appl 15(4):345\u2013358. citeseer.ist.psu.edu\/article\/allen01cactus.html","DOI":"10.1177\/109434200101500402"},{"key":"131_CR2","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/S0167-739X(97)00037-X","volume":"13","author":"A Barak","year":"1998","unstructured":"Barak A, La\u2019adan O (1998) The mosix multicomputer operating system for high performance cluster computing. Future Gener Comput Syst 13:361\u2013372","journal-title":"Future Gener Comput Syst"},{"key":"131_CR3","unstructured":"Baresi L, Ghezzi C, Guinea S (2004) Towards self-healing service compositions. In: Proceedings of the PriSE04, first conference on the principles of software engineering"},{"issue":"3","key":"131_CR4","first-page":"175","volume":"3","author":"R Ben-Halima","year":"2008","unstructured":"Ben-Halima R, Guennoun MK, Drira K, Jmaiel M (2008) Providing predictive self-healing for web services: a qos monitoring and analysis-based approach. J Inform Assur Secur (JIAS) 3(3):175\u2013184","journal-title":"J Inform Assur Secur (JIAS)"},{"key":"131_CR5","doi-asserted-by":"crossref","unstructured":"Bouchenak S, Hagimont D, Krakowiak S, Palma N (2004) Experiences implementing efficient java thread serialization, mobility and persistence. Softw Pract Exp 34:355\u2013394. citeseer.ist.psu.edu\/bouchenak03experiences.html","DOI":"10.1002\/spe.569"},{"key":"131_CR6","doi-asserted-by":"crossref","unstructured":"Camargo RYD, Goldchleger A, Kon F, Goldman A (2006) Checkpointing BSP parallel applications on the integrade grid middleware: research articles. Concurr Comput Pract Exp 18(6): 567\u2013579","DOI":"10.1002\/cpe.966"},{"key":"131_CR7","doi-asserted-by":"crossref","unstructured":"Cappello F, Djilali S, Fedak G, Herault T, Magniette F, N\u00e9ri V, Lodygensky O (2005) Computing on large-scale distributed systems: xtrem Web architecture, programming models, security, tests and convergence with grid. Future Gener Comput Syst 21(3): 417\u2013437","DOI":"10.1016\/j.future.2004.04.011"},{"key":"131_CR8","doi-asserted-by":"crossref","unstructured":"Chakravarti AJ, Wang X, Hallstrom JO, Baumgartner G (2003) Implementation of strong mobility for multi-threaded agents in java. In: Proceedings of the international conference on parallel processing. IEEE Computer Society, pp 321\u2013330","DOI":"10.1109\/ICPP.2003.1240595"},{"issue":"1","key":"131_CR9","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/TSE.1975.6312824","volume":"1","author":"KM Chandy","year":"1975","unstructured":"Chandy KM, Browne JC, Dissly CW, Uhrig WR (1975) Analytic models for rollback and recovery strategies in data base systems. IEEE Trans Softw Eng 1(1):100\u2013110","journal-title":"IEEE Trans Softw Eng"},{"issue":"3","key":"131_CR10","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s11280-006-0016-3","volume":"10","author":"A Charfi","year":"2007","unstructured":"Charfi A, Mezini M (2007) Ao4bpel: an aspect-oriented extension to bpel. World Wide Web 10(3):309\u2013344","journal-title":"World Wide Web"},{"key":"131_CR11","unstructured":"Chen X, Lyu MR (2003) Performance and effectiveness analysis of checkpointing in mobile environments. Reliable distributed systems, IEEE symposium on 131"},{"key":"131_CR12","unstructured":"Clark C, Fraser K, H S, Hansen JG, Jul E, Limpach C, Pratt I, Warfield A (2005) Live migration of virtual machines. In: Proceedings of the 2nd ACM\/USENIX symposium on networked systems design and implementation (NSDI), pp 273\u2013286"},{"key":"131_CR13","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.sysarc.2006.06.001","volume":"53","author":"CL Fang","year":"2007","unstructured":"Fang CL, Liang D, Lin F, Lin CC (2007) Fault tolerant web services. J Syst Archit 53:21\u201338","journal-title":"J Syst Archit"},{"key":"131_CR14","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1109\/32.685258","volume":"24","author":"A Fuggetta","year":"1998","unstructured":"Fuggetta A, Picco GP, Vigna G (1998) Understanding code mobility. IEEE Trans Softw Eng 24:342\u2013361","journal-title":"IEEE Trans Softw Eng"},{"key":"131_CR15","doi-asserted-by":"crossref","unstructured":"Garbacki P, Biskupski B, Bal HE (2005) Transparent fault tolerance for grid applications. EGC, pp 671\u2013680","DOI":"10.1007\/11508380_68"},{"key":"131_CR16","doi-asserted-by":"crossref","unstructured":"Garcia R, Rodrigues R, Pregui\u00e7a N (2011) Efficient middleware for byzantine fault tolerant database replication. In: Proceedings of the sixth conference on computer systems, EuroSys \u201911. ACM, New York, NY, USA, pp 107\u2013122","DOI":"10.1145\/1966445.1966456"},{"key":"131_CR17","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare CAR (1969) An axiomatic basis for computer programming. Commun ACM 12:576\u2013580","journal-title":"Commun ACM"},{"key":"131_CR18","doi-asserted-by":"crossref","unstructured":"Holger Schmidt R\u00fcdiger Kapitza FJH, Reiser HP (2008) Adaptive web service migration. In: Proceedings of the distributed applications and interoperable systems, lecture notes in computer science, vol 5053\/2008. Springer, Berlin\/Heidelberg, pp 182\u2013195","DOI":"10.1007\/978-3-540-68642-2_15"},{"key":"131_CR19","unstructured":"IBM Corporation (2006) An architectural blueprint for autonomic computing. Available at http:\/\/www-03.ibm.com\/autonomic\/pdfs\/AC_Blueprint_White_Paper_4th.pdf"},{"key":"131_CR20","doi-asserted-by":"crossref","unstructured":"Kovacs J (2007) Transparent parallel checkpointing and migration in clusters and clustergrids. Int J Comput Sci Eng 4(3):171\u2013181","DOI":"10.1504\/IJCSE.2009.027379"},{"issue":"2\u20134","key":"131_CR21","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1504\/IJHPCN.2004.008899","volume":"2","author":"P Lemarinier","year":"2004","unstructured":"Lemarinier P, Bouteiller A, Krawezik G, Cappello F (2004) Coordinated checkpoint versus message log for fault tolerant MPI. Int J High Perform Comput Netw 2(2\u20134):146\u2013155","journal-title":"Int J High Perform Comput Netw"},{"key":"131_CR22","doi-asserted-by":"crossref","unstructured":"Marzouk S, Jmaiel M (2008) Towards making WSRF based Web services strongly mobile. In: Proceedings of the 17th IEEE international workshops on enabling technologies: infrastructure for collaborative enterprises (WETICE\u201908). IEEE Computer Society, Rome, Italy, pp 339\u2013344","DOI":"10.1109\/WETICE.2008.46"},{"key":"131_CR23","doi-asserted-by":"crossref","unstructured":"Marzouk S, Jmaiel M (2010) Low cost checkpoint\/rollback solution for strong mobility of orchestrated Web services. In: Proceedings of the provisioning and management of service oriented architecture and cloud computing (PROMASC2010) held in conjunction with the 10th annual international conference on new technologies of distributed systems (NOTERE2010). IEEE Computer Society, Tozeur, Tunisia, pp 345\u2013350","DOI":"10.1109\/NOTERE.2010.5536560"},{"key":"131_CR24","unstructured":"Marzouk S, Jmaiel M (2011) Source code transformation rules for checkpointing BPEL orchestration processes: technical report. Technical report, ReDCAD Research Unit. http:\/\/www.redcad.org\/members\/soumaya.marzouk\/technical_report.pdf"},{"key":"131_CR25","doi-asserted-by":"crossref","unstructured":"Marzouk S, Ma\u00e2lej AJ, Jmaiel M (2010) Aspect-oriented checkpointing approach of composed web services. In: Proceedings of the 10th international conference on current trends in web engineering, ICWE\u201910. Springer, Berlin, Heidelberg, pp 301\u2013312. http:\/\/dl.acm.org\/citation.cfm?id=1927229.1927261","DOI":"10.1007\/978-3-642-16985-4_27"},{"key":"131_CR26","doi-asserted-by":"crossref","unstructured":"Marzouk S, Ma\u00e2lej AJ, Rodriguez IB, Jmaiel M (2009) Periodic checkpointing for strong mobility of orchestrated web services. In: Proceedings of the international workshop on self healing Web services (SHWS (2009) in conjunction of the 7th IEEE international conference on Web services (ICWS 2009). ACM, LosAngeles, California, USA","DOI":"10.1109\/SERVICES-I.2009.13"},{"key":"131_CR27","doi-asserted-by":"crossref","unstructured":"Mdhaffar A, Marzouk S, Halima RB, Jmaiel M (2010) A runtime performance analysis for Web service-based applications. In: Proceedings of the 1st workshop on engineering SOA and the Web (ESW2010) held in conjunction with the 10th international conference on Web engineering (ICWE2010)","DOI":"10.1007\/978-3-642-16985-4_28"},{"issue":"3","key":"131_CR28","doi-asserted-by":"crossref","first-page":"299","DOI":"10.3233\/MGS-2007-3303","volume":"3","author":"M Momotko","year":"2007","unstructured":"Momotko M, Gajewski M, Ludwig A, Kowalczyk R, Kowalkiewicz M, Zhang JY (2007) Towards adaptive management of qos-aware service compositions. Multiagent Grid Syst 3(3):299\u2013312","journal-title":"Multiagent Grid Syst"},{"key":"131_CR29","doi-asserted-by":"crossref","unstructured":"Most\u00e9faoui GK, Narendra NC, Maamar Z, Thiran P (2007) On modeling and developing self-healing web services using aspects. In Proceedings of the COMSWARE. IEEE","DOI":"10.1109\/COMSWA.2007.382557"},{"key":"131_CR30","doi-asserted-by":"crossref","unstructured":"Nurmi D, Brevik J, Wolski R (2005) Minimizing the network overhead of checkpointing in cycle-harvesting cluster environment. In: Proceedings of cluster 2005","DOI":"10.1109\/CLUSTR.2005.347074"},{"key":"131_CR31","unstructured":"Oracle: glassFish ESB. https:\/\/open-esb.dev.java.net\/"},{"key":"131_CR32","unstructured":"Oracle: glassFish ESB, BPELSE persistence and recovery. http:\/\/wiki.open-esb.java.net\/Wiki.jsp?page=BPELSEPersistenceAndRecovery"},{"key":"131_CR33","unstructured":"Plank JS, Elwasif WR (1998) Experimental assessment of workstation failures and their impact on checkpointing systems. In: FTCS \u201998: Proceedings of the twenty-eighth annual international symposium on fault-tolerant computing. IEEE Computer Society, Washington, DC, USA, p 48"},{"key":"131_CR34","doi-asserted-by":"crossref","unstructured":"Sekiguchi T, Masuhara H, Yonezawa A (1999) A simple extension of java language for controllable transparent migration and its portable implementation. In: Proceedings of the third international conference on coordination languages and models, COORDINATION \u201999. Springer, London, UK, pp 211\u2013226. http:\/\/portal.acm.org\/citation.cfm?id=647015.713297","DOI":"10.1007\/3-540-48919-3_16"},{"issue":"11","key":"131_CR35","doi-asserted-by":"crossref","first-page":"1328","DOI":"10.1109\/TC.1987.5009472","volume":"36","author":"KG Shin","year":"1987","unstructured":"Shin KG, Lin TH, Lee YH (1987) Optimal checkpointing of real-time tasks. IEEE Trans Comput 36(11):1328\u20131341","journal-title":"IEEE Trans Comput"},{"key":"131_CR36","doi-asserted-by":"crossref","unstructured":"Stellner G (1996) Cocheck: checkpointing and process migration for mpi. In: Proceedings of the 10th international parallel processing symposium (IPPS 96), pp 526\u2013531","DOI":"10.1109\/IPPS.1996.508106"},{"key":"131_CR37","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0304-3975(88)90033-3","volume":"58","author":"C Stirling","year":"1988","unstructured":"Stirling C (1988) A generalization of owicki-gries\u2019s hoare logic for a concurrent while language. Theor Comput Sci 58:347\u2013359","journal-title":"Theor Comput Sci"},{"key":"131_CR38","doi-asserted-by":"crossref","unstructured":"Suri N, Bradshaw J, Breedy MR, Groth PT, Hill GA, Jeffers R (2000) Strong mobility and fine-grained resource control in nomads. In: ASA\/MA 2000: Proceedings of the second international symposium on agent systems and applications and fourth international symposium on mobile agents. Springer, London, UK, pp 2\u201315","DOI":"10.1007\/978-3-540-45347-5_2"},{"key":"131_CR39","unstructured":"Tantawi AN, Ruschitzka M (1983) Performance analysis of checkpointing strategies. In: SIGMETRICS \u201983: Proceedings of the 1983 ACM SIGMETRICS conference on measurement and modeling of computer systems. ACM, New York, NY, USA, p 129"},{"issue":"2\u20134","key":"131_CR40","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1002\/cpe.927","volume":"17","author":"S Vadhiyar","year":"2005","unstructured":"Vadhiyar S, Dongarra J (2005) Self adaptivity in Grid computing: research articles. Concurr Comput Pract Exp 17(2\u20134):235\u2013257","journal-title":"Concurr Comput Pract Exp"},{"issue":"1","key":"131_CR41","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1006\/jpdc.1996.0069","volume":"35","author":"KF Wong","year":"1996","unstructured":"Wong KF, Franklin M (1996) Checkpointing in distributed systems. J Parallel Distrib Syst 35(1):67\u201375","journal-title":"J Parallel Distrib Syst"},{"issue":"9","key":"131_CR42","doi-asserted-by":"crossref","first-page":"530","DOI":"10.1145\/361147.361115","volume":"17","author":"JW Young","year":"1974","unstructured":"Young JW (1974) A first order approximation to the optimum checkpoint interval. Commun ACM 17(9):530\u2013531","journal-title":"Commun ACM"},{"key":"131_CR43","doi-asserted-by":"crossref","unstructured":"Zhu Q, Chen L, Agrawal G (2007) Supporting fault-tolerance in streaming grid applications. PPoPP \u201907: Proceedings of the 12th ACM SIGPLAN symposium on principles and practice of parallel programming. ACM, New York, NY, USA, pp 156\u2013157","DOI":"10.1145\/1229428.1229464"},{"issue":"9","key":"131_CR44","doi-asserted-by":"crossref","first-page":"976","DOI":"10.1109\/12.620479","volume":"46","author":"A Ziv","year":"1997","unstructured":"Ziv A, Bruck J (1997) An on-line algorithm for checkpoint placement. IEEE Trans Comput 46(9):976\u2013985","journal-title":"IEEE Trans Comput"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-013-0131-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-013-0131-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-013-0131-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,12]],"date-time":"2022-02-12T20:33:39Z","timestamp":1644698019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-013-0131-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,3]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["131"],"URL":"https:\/\/doi.org\/10.1007\/s11761-013-0131-9","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,3]]}}}