{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T17:41:14Z","timestamp":1692553274213},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,10,28]],"date-time":"2016-10-28T00:00:00Z","timestamp":1477612800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"EU","award":["312579"],"award-info":[{"award-number":["312579"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Grid Computing"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s10723-016-9383-x","type":"journal-article","created":{"date-parts":[[2016,10,28]],"date-time":"2016-10-28T06:27:00Z","timestamp":1477636020000},"page":"655-671","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Formal Approach to Support Interoperability in Scientific Meta-workflows"],"prefix":"10.1007","volume":"14","author":[{"given":"Junaid","family":"Arshad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Terstyanszky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tamas","family":"Kiss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noam","family":"Weingarten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuliano","family":"Taffoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,28]]},"reference":[{"key":"9383_CR1","doi-asserted-by":"crossref","unstructured":"Plankensteiner, K., Prodan, R., Janetschek, M., Fahringer, T., Montagnat, J., Rogers, D., Harvey, I., Taylor, I., Balasko, A., Kacsuk, P.: Fine-Grained Interoperability of scientific workflows in distributed computing infrastructures. In: The Journal Of Grid Computing, vol. 11, pp. 429\u2013455 (2013)","DOI":"10.1007\/s10723-013-9261-8"},{"key":"9383_CR2","unstructured":"Mosgrid Science Gateway. https:\/\/www.mosgrid.de\/ [Last Accessed: 29 th June 2016]"},{"key":"9383_CR3","doi-asserted-by":"crossref","unstructured":"Pierantoni, G., And Carley, E.: Metaworkflows and workflow interoperability for heliophysics. In: The Proceedings Of The 6 t h ,International Workshop On Science Gateways, pp. 79\u201384 (2014)","DOI":"10.1109\/IWSG.2014.19"},{"key":"9383_CR4","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/j.ascom.2015.02.006","volume":"11","author":"G Castelli","year":"2015","unstructured":"Castelli, G., Taffoni, G., Sciacca, E., Becciani, U., Costa, A., Krokos, M., Pasian, F., Vuerli, C.: VO-Compliant Workflows And Science Gateways. Astron. Comput. 11, 102\u2013108 (2015)","journal-title":"Astron. Comput."},{"key":"9383_CR5","doi-asserted-by":"crossref","unstructured":"Arshad, J., Terstyanszky, G., Kiss, T., Weingarten, N.: A Definition And Analysis Of The Role Of Meta-Workflows In Workflow Interoperability. In: the Proceedings of the 7 t h International Workshop On Science Gateways (IWSG) 8-15 Budapest, Hungary (2015)","DOI":"10.1109\/IWSG.2015.18"},{"key":"9383_CR6","unstructured":"SHIWA: Sharing Interoperable Workflows For Large-Scale Scientific Simulation On Available DCIs. http:\/\/www.shiwa-workflow.eu , 2011. [Last Acccessed: 29 th June 2016]"},{"key":"9383_CR7","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1016\/j.future.2014.02.016","volume":"37","author":"G Terstyanszky","year":"2014","unstructured":"Terstyanszky, G., Kukla, T., Kiss, T., Kacuuk, P., Balasko, A., Farkas, Z.: Enabling Scientific Workflow Sharing Through Coarse Grained Interoperability. Futur. Gener. Comput. Syst. 37, 46\u201359 (2014)","journal-title":"Futur. Gener. Comput. Syst."},{"key":"9383_CR8","unstructured":"Guse Grid And Cloud Science Gateway Available online At: https:\/\/sourceforge.net\/projects\/guse\/ [Last Accessed: 21 st June 2016]"},{"key":"9383_CR9","doi-asserted-by":"crossref","unstructured":"Kert\u00e9sz, A., Sipos, G., And Kacsuk, P.: Brokering Multi-Grid Workflows in the p-GRADE portal. In: Euro-Par 2006: Parallel processing, vol. 4375, Springer, Berlin, pp 138\u2013149 (2007)","DOI":"10.1007\/978-3-540-72337-0_14"},{"issue":"10","key":"9383_CR10","doi-asserted-by":"crossref","first-page":"1451","DOI":"10.1101\/gr.4086505","volume":"15","author":"B Giardine","year":"2005","unstructured":"Giardine, B., Riemer, C., Hardison, R.C., Burhans, R., Elnitski, L., Shah, P., Zhang, Y., Blankenberg, D., Albert, I., Taylor, J., Miller, W., Kent, W.J., Nekrutenko, A.: Galaxy: a platform for interactive Large-Scale genome analysis. Genome Res. 15(10), 1451\u20135 (2005)","journal-title":"Genome Res."},{"issue":"17","key":"9383_CR11","doi-asserted-by":"crossref","first-page":"3045","DOI":"10.1093\/bioinformatics\/bth361","volume":"20","author":"T Oinn","year":"2004","unstructured":"Oinn, T., Addis, M., Ferris, J., Marvin, D., Senger, M., Greenwood, M., Carver, T., Glover, K., Pocock, M.R., Wipat, A., Li, P.: Taverna: a tool for the composition and enactment of bioinformatics workflows. Bioinformatics 20(17), 3045\u201354 (2004)","journal-title":"Bioinformatics"},{"key":"9383_CR12","unstructured":"ISO\/IEC 13568: Information Technology- Z Formal Specification Notation- Syntax, Type System And Semantics, International Standard (2002)"},{"key":"9383_CR13","doi-asserted-by":"crossref","unstructured":"Woodcock, J., Stepney, S., Cooper, D., Clark, J., And Jacob, I.: The certificationof the mondex electronic purse to ITSEC level e6, Formal Aspects of Computing 20(1) (2008)","DOI":"10.1007\/s00165-007-0060-5"},{"key":"9383_CR14","doi-asserted-by":"crossref","unstructured":"Mcdermott, And Freitas, L.: A Formal Security Policy For Xenon, ACM Conference on Computer And Communications Security, Virginia, USA, 43\u201352 (2008)","DOI":"10.1145\/1456396.1456401"},{"issue":"1","key":"9383_CR15","first-page":"137","volume":"5","author":"Y Toda","year":"1996","unstructured":"Toda, Y.: The forMalization Of Simple Graphs. Formalized Math. 5(1), 137\u2013144 (1996)","journal-title":"Formalized Math."},{"key":"9383_CR16","unstructured":"Virtual Observatory Use-Case Report. ER Flow Project. Available At: http:\/\/www.erflow.eu\/virtual-observatory-use-case [Last Accessed: 29 th June 2016]"},{"key":"9383_CR17","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1051\/aas:1996164","volume":"317","author":"E Bertin","year":"1996","unstructured":"Bertin, E., Arnouts, S.: Sextractor: Software For Source Extraction. Astron. Astrophys., Suppl. 317, 393 (1996)","journal-title":"Astron. Astrophys., Suppl."},{"key":"9383_CR18","unstructured":"Starnet Gateway Federation At: www.oact.inaf.it\/starnet\/ [Last Accessed: 29 th June 2016]"},{"key":"9383_CR19","unstructured":"Mink, J., Mann, R.G., Hanisch, R., Rots, A., Seaman, R., Jenness, T., Thomas, B., O\u2019Mullane, W.: The Past, Present, And Future Of Astronomical Data Formats, 2015ASPC, 495, 11M"},{"key":"9383_CR20","unstructured":"Williams, R., Hanisch, R., Szalay, A., Plante, R.: IVOA Recommendation: Simple Cone Search Version 1.03, astro-ph.IM. arXiv: 1110.0498"},{"key":"9383_CR21","unstructured":"Dowler, P., Tody, D., Bonnarel, F.: IVOA Simple Image Access, 2016, Astro-ph.IM. arXiv: 1601.00519"},{"issue":"2","key":"9383_CR22","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1002\/cpe.3292","volume":"27","author":"S Herres-Pawlis","year":"2015","unstructured":"Herres-Pawlis, S., Hoffman, A., Balasko, A., Kacsuk, P., Birkenheuer, G., Brinkman, A., Garza, L., Kruger, J., Gesing, S., Grunzke, R., Terstyansky, G., Weingarten, N.: Quantum Chemical Meta-Workflows In Mosgrid. Concurrency and Comput.: Pract. Experience 27(2), 344\u2013357 (2015)","journal-title":"Concurrency and Comput.: Pract. Experience"},{"key":"9383_CR23","doi-asserted-by":"crossref","unstructured":"Herres-Pawlis, S., Hoffman, A., Garza, L., Kruger, J., Gesing, S., Grunzke, R., Nagel, W.E., Terstyansky, G., Weingarten, N.: Meta-Metaworkflows For Combining Quantum Chemistry And Molecular Dynamics. In: The Mosgrid Science Gateway in the 6 t h , International Workshop On Science Gateways, pp. 73\u201378 (2014)","DOI":"10.1109\/IWSG.2014.20"},{"key":"9383_CR24","doi-asserted-by":"crossref","unstructured":"Herres-Pawlis, S., Hoffman, A., Gesing, S., Kruger, J., Balasko, A., Kacsuk, P., Grunzke, R., Birkenheuer, G., Packschies, L.: User-Friendly Metaworkflows In Quantum Chemistry. In: The IEEE International Conference On Cluster Computing, pp. 1\u20133 (2013)","DOI":"10.1109\/CLUSTER.2013.6702700"},{"key":"9383_CR25","doi-asserted-by":"crossref","unstructured":"Becciani, U., Sciacca, E., Costa, A., Massimino, P., Pistagna, C., Riggi, S., Vitello, F., Petta, C., Bandieramonte, M., Krokos, M.: Science gateway technologies for the astrophysics community in the concurrency and computation: Practice and experience (2014)","DOI":"10.1002\/cpe.3255"},{"key":"9383_CR26","doi-asserted-by":"crossref","unstructured":"Abouelhoda, M., Alaa, S., Ghanem, M.: Meta-Workflows: Pattern-Based Interoperability Between Galaxy And Taverna In The International Workshop On Workflow Approaches For New Data-Centric Science (2010)","DOI":"10.1145\/1833398.1833400"},{"key":"9383_CR27","doi-asserted-by":"crossref","unstructured":"Glatard, T., Montagnat, J., Lingrand, D., Pennec, X.: Flexible And Efficient Workflow Deployment Of Data-Intensive Applications On Grids With MOTEUR. In: The International Journal Of High Performance Computing Applications (2008)","DOI":"10.1177\/1094342008096067"},{"key":"9383_CR28","doi-asserted-by":"crossref","unstructured":"Korkhov, V., Krefting, D., Montagnat, J., Truong Huu, T., Kukla, T., Terstyanszky, G., Manset, D., Caan, M., Olabarriaga, S.: SHIWA Workflow interoperability solutions for neuroimaging data analysis. In: The Studies In Health Technology And Informaitcs, vol. 175, pp. 109\u201310 (2012)","DOI":"10.1145\/2110497.2110508"},{"key":"9383_CR29","doi-asserted-by":"crossref","unstructured":"Korkhov, V., Krefting, D., Kukla, T., Terstyanszky, G., Caan, M., Olabarriaga, S.D.: Exploring workflow interoperability tools For neuroimaging data analysis. In: the Proceedings of the 6 t h workshop on the Workflows in support of Large-Scale Science, Seattle, U.S., pp. 87\u201396 (2011)","DOI":"10.1145\/2110497.2110508"},{"key":"9383_CR30","first-page":"816","volume":"7524","author":"J Kranjc","year":"2012","unstructured":"Kranjc, J., Podpecan, V., Lavrac, N.: Clowdflows: a cloud based scientific platform, in machine learning and knowledge discovery in databases. LNCS 7524, 816\u2013819 (2012)","journal-title":"LNCS"},{"key":"9383_CR31","unstructured":"Gil, Y., Ratnakar, V., Dellman, E.: Wings For Pegasus: A Semantic Approach To Creating Very Large Scientific Workflows. In: OWLED (2006)"},{"issue":"1","key":"9383_CR32","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WM Van Der Aalst","year":"1998","unstructured":"Van Der Aalst, W.M.: The application of petri nets to workflow management. J. Circuits Syst. Comput. 8(1), 21\u201366 (1998)","journal-title":"J. Circuits Syst. Comput."},{"key":"9383_CR33","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1016\/j.jcss.2009.11.009","volume":"76","author":"J Sroka","year":"2010","unstructured":"Sroka, J., Hidders, J., Missier, P., Globe, C.: A formal semantics for the taverna2 workflow model. J. Comput. Syst. Sci. 76, 490\u2013508 (2010)","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Journal of Grid Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10723-016-9383-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10723-016-9383-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10723-016-9383-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T17:24:08Z","timestamp":1692552248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10723-016-9383-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,28]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["9383"],"URL":"https:\/\/doi.org\/10.1007\/s10723-016-9383-x","relation":{},"ISSN":["1570-7873","1572-9184"],"issn-type":[{"value":"1570-7873","type":"print"},{"value":"1572-9184","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,28]]}}}