Abstract
The orchestration of high performance computing (HPC) services to build scientific applications is based on complex workflows. A challenging task consists of improving the reliability of such workflows, avoiding faulty behaviors that can lead to bad consequences in practice. This paper introduces a certifier component for certifying scientific workflows in a certification framework proposed for HPC Shelf, a cloud-based platform for HPC in which different kinds of users can design, deploy and execute scientific applications. This component is able to inspect the workflow description of a parallel computing system of HPC Shelf and check its consistency with respect to a number of safety and liveness properties specified by application designers and component developers.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
References
Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997). doi:10.1007/3-540-63139-9_48
Adam, N.R., Atluri, V., Huang, W.-K.: Modeling and analysis of workflows using petri nets. J. Intell. Inf. Syst. 10(2), 131–158 (1998)
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–27 August 1993, Proceedings, pp. 134–145 (1993)
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)
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–33. ACM (1998)
Dayal, U., Hsu, M., Ladin, R.: Organizing long-running activities with triggers and transactions. In: ACM SIGMOD Record, vol. 19, pp. 204–214. ACM (1990)
de Carvalho Junior, F.H., Lins, R.D., Correa, R.C., Araújo, G.A.: Towards an architecture for component-oriented parallel programming. Concurr. Comput.: Pract. Exp. 19(5), 697–719 (2007)
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–128 (2016)
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–170. Springer, Cham (2016). doi:10.1007/978-3-319-45279-1_11
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–240. ScitePress (2017)
Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. Commun. ACM 51(1), 107–113 (2008)
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–237 (2005)
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
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–157. Springer, Heidelberg (2001). doi:10.1007/3-540-45319-9_11
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)
Groote, J.F., Mousavi, M.R.: Modeling and Analysis of Communicating Systems. MIT Press, Cambridge (2014)
Harrison, A., Taylor, I., Wang, I., Shields, M.: WS-Rf workflow in triana. Int. J. High Perform. Comput. Appl. 22(3), 268–283 (2008)
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–78 (1999)
Kozen, D.: Results on the propositional \(\mu \)-calculus. Theoret. Comput. Sci. 27, 333–354 (1983)
Ludäscher, 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–1065 (2006)
Qin, J., Fahringer, T., Pllana, S.: UML based grid workflow modeling under ASKALON. In: Kacsuk, P., Fahringer, T., Németh, Z. (eds.) Distributed and Parallel Systems: From Cluster to Grid Computing (DAPSYS 2006), pp. 191–200. Springer, Boston (2006). doi:10.1007/978-0-387-69858-8_19
Sannella, D., Tarlecki, A.: Foundations of Algebraic Specifications and Formal Program Development. Cambridge University Press, Cambridge (2011)
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–705. VLDB Endowment (2002)
Taylor, I.J., Deelman, E., Gannon, D.B., Shields, M.: Workflows for e-Science: Scientific Workflows for Grids. Springer, New York (2006)
Van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circ. Syst. Comput. 8(01), 21–66 (1998)
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–449. Springer, London (2007). doi:10.1007/978-1-84628-757-2_26
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–246. Springer, Heidelberg (1997). doi:10.1007/3-540-62222-5_48
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
de Oliveira Dantas, A.B., de Carvalho Junior, F.H., Barbosa, L.S. (2017). Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. In: Proença, J., Lumpe, M. (eds) Formal Aspects of Component Software. FACS 2017. Lecture Notes in Computer Science(), vol 10487. Springer, Cham. https://doi.org/10.1007/978-3-319-68034-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-68034-7_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-68033-0
Online ISBN: 978-3-319-68034-7
eBook Packages: Computer ScienceComputer Science (R0)