{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:37:28Z","timestamp":1725910648643},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319680330"},{"type":"electronic","value":"9783319680347"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68034-7_12","type":"book-chapter","created":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T13:32:45Z","timestamp":1505309565000},"page":"198-215","source":"Crossref","is-referenced-by-count":0,"title":["Certification of Workflows in a Component-Based Cloud of High Performance Computing Services"],"prefix":"10.1007","author":[{"given":"Allberson B.","family":"de Oliveira Dantas","sequence":"first","affiliation":[]},{"given":"F. Heron","family":"de Carvalho Junior","sequence":"additional","affiliation":[]},{"given":"Luis S.","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,14]]},"reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"WMP Aalst","year":"1997","unstructured":"Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407\u2013426. Springer, Heidelberg (1997). doi: 10.1007\/3-540-63139-9_48"},{"issue":"2","key":"12_CR2","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1023\/A:1008656726700","volume":"10","author":"NR Adam","year":"1998","unstructured":"Adam, N.R., Atluri, V., Huang, W.-K.: Modeling and analysis of workflows using petri nets. J. Intell. Inf. Syst. 10(2), 131\u2013158 (1998)","journal-title":"J. Intell. Inf. Syst."},{"key":"12_CR3","unstructured":"Attie, P., Singh, M., Sheth, A.P., Rusinkiewicz, M.: Specifying and enforcing intertask dependencies. In: 19th International Conference on Very Large Data Bases, Dublin, Ireland, 24\u201327 August 1993, Proceedings, pp. 134\u2013145 (1993)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., Basten, T., Reniers, M.A., Algebra, P.: Equational theories of communicating processes. Cambridge Tracts in Theoretical Computer Science (50). Cambridge University Press, Cambridge (2010)","DOI":"10.1017\/CBO9781139195003"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Davulcu, H., Kifer, M., Ramakrishnan, C.R., Ramakrishnan, I.V.: Logic based modeling and analysis of workflows. In: Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 25\u201333. ACM (1998)","DOI":"10.1145\/275487.275491"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Dayal, U., Hsu, M., Ladin, R.: Organizing long-running activities with triggers and transactions. In: ACM SIGMOD Record, vol. 19, pp. 204\u2013214. ACM (1990)","DOI":"10.1145\/93597.98730"},{"issue":"5","key":"12_CR7","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1002\/cpe.1121","volume":"19","author":"FH Carvalho Junior de","year":"2007","unstructured":"de Carvalho Junior, F.H., Lins, R.D., Correa, R.C., Ara\u00fajo, G.A.: Towards an architecture for component-oriented parallel programming. Concurr. Comput.: Pract. Exp. 19(5), 697\u2013719 (2007)","journal-title":"Concurr. Comput.: Pract. Exp."},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1016\/j.scico.2016.07.005","volume":"132","author":"FH Carvalho Junior de","year":"2016","unstructured":"de Carvalho Junior, F.H., Rezende, C.A., Silva, J.C., Al Alam, W.G.: Contextual abstraction in a type system for component-based high performance computing platforms. Sci. Comput. Program. 132, 96\u2013128 (2016)","journal-title":"Sci. Comput. Program."},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-319-45279-1_11","volume-title":"Programming Languages","author":"J Carvalho Silva de","year":"2016","unstructured":"de Carvalho Silva, J., de Carvalho Junior, F.H.: A platform of scientific workflows for orchestration of parallel components in a cloud of high performance computing applications. In: Castor, F., Liu, Y.D. (eds.) SBLP 2016. LNCS, vol. 9889, pp. 156\u2013170. Springer, Cham (2016). doi: 10.1007\/978-3-319-45279-1_11"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"de Oliveira Dantas, A.B., de Carvalho Junior, F.H., Soares Barbosa, L.: A framework for certification of large-scale component-based parallel computing systems in a cloud computing platform for HPC services. In: Proceedings of the 7th International Conference on Cloud Computing and Services Science. CLOSER, vol. 1, pp. 229\u2013240. ScitePress (2017)","DOI":"10.5220\/0006306802290240"},{"issue":"1","key":"12_CR11","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/1327452.1327492","volume":"51","author":"J Dean","year":"2008","unstructured":"Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. Commun. ACM 51(1), 107\u2013113 (2008)","journal-title":"Commun. ACM"},{"issue":"3","key":"12_CR12","first-page":"219","volume":"13","author":"E Deelman","year":"2005","unstructured":"Deelman, E., Singh, G., Su, M.-H., Blythe, J., Gil, Y., Kesselman, C., Mehta, G., Vahi, K., Berriman, G.B., Good, J., et al.: Pegasus: a framework for mapping complex scientific workflows onto distributed systems. Sci. Program. 13(3), 219\u2013237 (2005)","journal-title":"Sci. Program."},{"key":"12_CR13","unstructured":"Dongarra, J., Otto, S.W., Snir, M., Walker, D.: An Introduction to the MPI Standard. Technical report CS-95-274, University of Tennessee, January 1995"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-45319-9_11","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"X Fu","year":"2001","unstructured":"Fu, X., Bultan, T., Hull, R., Su, J.: Verification of vortex workflows. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 143\u2013157. Springer, Heidelberg (2001). doi: 10.1007\/3-540-45319-9_11"},{"key":"12_CR15","unstructured":"Groote, J.F., Mathijssen, A., Reniers, M., Usenko, Y., van Weerdenburg, M.: The formal specification language mCRL2. In: Methods for Modelling Software Systems: Dagstuhl Seminar 06351 (2007)"},{"key":"12_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9946.001.0001","volume-title":"Modeling and Analysis of Communicating Systems","author":"JF Groote","year":"2014","unstructured":"Groote, J.F., Mousavi, M.R.: Modeling and Analysis of Communicating Systems. MIT Press, Cambridge (2014)"},{"issue":"3","key":"12_CR17","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1177\/1094342007086226","volume":"22","author":"A Harrison","year":"2008","unstructured":"Harrison, A., Taylor, I., Wang, I., Shields, M.: WS-Rf workflow in triana. Int. J. High Perform. Comput. Appl. 22(3), 268\u2013283 (2008)","journal-title":"Int. J. High Perform. Comput. Appl."},{"issue":"2","key":"12_CR18","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/295666.295674","volume":"24","author":"R Hull","year":"1999","unstructured":"Hull, R., Llirbat, F., Siman, E., Su, J., Dong, G., Kumar, B., Zhou, G.: Declarative workflows that support easy modification and dynamic browsing. ACM SIGSOFT Softw. Eng. Notes 24(2), 69\u201378 (1999)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"12_CR19","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional $$\\mu $$ -calculus. Theoret. Comput. Sci. 27, 333\u2013354 (1983)","journal-title":"Theoret. Comput. Sci."},{"issue":"10","key":"12_CR20","doi-asserted-by":"crossref","first-page":"1039","DOI":"10.1002\/cpe.994","volume":"18","author":"B Lud\u00e4scher","year":"2006","unstructured":"Lud\u00e4scher, B., Altintas, I., Berkley, C., Higgins, D., Jaeger, E., Jones, M., Lee, E.A., Tao, J., Zhao, Y.: Scientific workflow management and the kepler system. Concurr. Comput.: Pract. Exp. 18(10), 1039\u20131065 (2006)","journal-title":"Concurr. Comput.: Pract. Exp."},{"key":"12_CR21","doi-asserted-by":"publisher","unstructured":"Qin, J., Fahringer, T., Pllana, S.: UML based grid workflow modeling under ASKALON. In: Kacsuk, P., Fahringer, T., N\u00e9meth, Z. (eds.) Distributed and Parallel Systems: From Cluster to Grid Computing (DAPSYS 2006), pp. 191\u2013200. Springer, Boston (2006). doi: 10.1007\/978-0-387-69858-8_19","DOI":"10.1007\/978-0-387-69858-8_19"},{"key":"12_CR22","volume-title":"Foundations of Algebraic Specifications and Formal Program Development","author":"D Sannella","year":"2011","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specifications and Formal Program Development. Cambridge University Press, Cambridge (2011)"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Senkul, P., Kifer, M., Toroslu, I.H.: A logical framework for scheduling workflows under resource allocation constraints. In: Proceedings of the 28th International Conference on Very Large Data Bases, pp. 694\u2013705. VLDB Endowment (2002)","DOI":"10.1016\/B978-155860869-6\/50067-6"},{"key":"12_CR24","volume-title":"Workflows for e-Science: Scientific Workflows for Grids","author":"IJ Taylor","year":"2006","unstructured":"Taylor, I.J., Deelman, E., Gannon, D.B., Shields, M.: Workflows for e-Science: Scientific Workflows for Grids. Springer, New York (2006)"},{"issue":"01","key":"12_CR25","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst Van der","year":"1998","unstructured":"Van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circ. Syst. Comput. 8(01), 21\u201366 (1998)","journal-title":"J. Circ. Syst. Comput."},{"key":"12_CR26","doi-asserted-by":"publisher","unstructured":"Wassermann, B., Emmerich, W., Butchart, B., Cameron, N., Chen, L., Patel, J.: Sedna: a BPEL-based environment for visual scientific workflow modeling. In: Taylor, I.J., Deelman, E., Gannon, D.B., Shields, M. (eds.) Workflows for e-Science, pp. 428\u2013449. Springer, London (2007). doi: 10.1007\/978-1-84628-757-2_26","DOI":"10.1007\/978-1-84628-757-2_26"},{"key":"12_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-62222-5_48","volume-title":"Database Theory \u2014 ICDT \u201997","author":"D Wodtke","year":"1997","unstructured":"Wodtke, D., Weikum, G.: A formal foundation for distributed workflow execution based on state charts. In: Afrati, F., Kolaitis, P. (eds.) ICDT 1997. LNCS, vol. 1186, pp. 230\u2013246. Springer, Heidelberg (1997). doi: 10.1007\/3-540-62222-5_48"},{"issue":"W1","key":"12_CR28","doi-asserted-by":"crossref","first-page":"W557","DOI":"10.1093\/nar\/gkt328","volume":"41","author":"K Wolstencroft","year":"2013","unstructured":"Wolstencroft, K., Haines, R., Fellows, D., Williams, A., Withers, D., Owen, S., Reyes, S.S., Dunlop, I., Nenadic, A., Fisher, P., et al.: The Taverna workflow suite: designing and executing workflows of web services on the desktop, web or in the cloud. Nucleic Acids Res. 41(W1), W557 (2013)","journal-title":"Nucleic Acids Res."}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68034-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T08:37:09Z","timestamp":1570091829000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68034-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319680330","9783319680347"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68034-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}