Abstract
The suitability of the BPEL workflow description language for the dynamic composition of Web services representing computational algebra systems is investigated. The prototype implementation of the system for dynamic generation of BPEL workflows and two examples demonstrating the benefits of our approach are described. One of important aspects of the design is that the composition is achieved using standard workflow patterns without any modification of the underlying computational algebra systems, provided they support the OpenMath format.
Chapter PDF
Similar content being viewed by others
Keywords
References
Cârstea, A., Frîncu, M., Konovalov, A., Macariu, G., Petcu, D.: On Service-oriented Symbolic Computing. In: Wyrzykowski, R. (ed.) PPAM 2007. LNCS, vol. 4967. Springer, Berlin (inprint, 2008)
Cârstea, A., Macariu, G., Frîncu, M., Petcu, D.: Composing Web-based Mathematical Services. In: Negru, V., et al. (eds.) SYNASC 2007, pp. 327–334. IEEE Computer Society Press, Los Alamitos (2007)
ActiveBPEL, http://www.active-endpoints.com/active-bpel-engine-overview.htm
PostgreSQL, http://www.postgresql.org/
Majithia, S., Shields, M., Taylor, I., Wang, I.: Triana: a Graphical Web service Composition and Execution Toolkit. In: ICWS 2004, pp. 514–521. IEEE Computer Society, Washigton (2004)
Casati, F., Ilnicki, S., Jin, L., Krishnamoorthy, V., Shan, M.C.: Adaptive and Dynamic Service Composition in eFlow. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 13–31. Springer, Heidelberg (2000)
Solomon, A.: Distributed Computing for Conglomerate Mathematical Systems. In: Joswig, M., Takayama, N. (eds.) Algebra, Geometry and Software System, pp. 309–325. Springer, Berlin (2003)
Rao, J., Su, X.: A Survey of Automated Web Service Composition Methods. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 43–54. Springer, Heidelberg (2005)
Schuster, H., Georgakopoulos, D., Cichocki, A., Baker, D.: Modeling and Composing Service-based and Reference Process-based Multi-enterprise Processes. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 247–263. Springer, Heidelberg (2000)
Ankolekar, A., Burstein, M., Hobbs, J., Lassila, O., Martin, D.L., Mcllraith, S.A., Narayanan, S., et al.: DAML-S: Semantic Markup for Web Services. In: Cruz, I.F., et al. (eds.) The Emerging Semantic Web ISWC 2002. IOS Press, Amsterdam (2002)
Milanovic, N., Malek, M.: Current Solutions for Web Service Composition. IEEE Internet Computing 8(6), 51–59 (2004)
Aird, M.L., Medina, W.B., Padget, J.: MONET - Service Discovery and Composition for Mathematical Problems. In: IEEE/ACM CCGrid 2003, pp. 678–685. IEEE Computer Society, Los Alamitos (2003)
Grid-Enabled Numerical and Symbolic Services, http://genss.cs.bath.ac.uk/index.htm
Baraka, R., Schreiner, W.: Querying Registry-published Mathematical Web Services. In: Wagner, R., Ma, J., Durresi, A. (eds.) AINA 2006, pp. 767–772. IEEE Computer Society, Los Alamitos (2006)
OpenMath, http://www.openmath.org/
Russell, N., ter Hofstede, A.H.M., van der Aalst, W.M.P., Mulyar, N.: Workflow Control-flow Patterns: A revised view. BPM Center Report BPM-06-22 (2006)
Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of Web Services Composition Languages: The case of BPEL4WS. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 200–215. Springer, Heidelberg (2003)
The GAP Group, GAP - Groups, Algorithms, and Programming, Version 4.4.10 (2007) http://www.gap-system.org
Kiepuszewski, B.: Expressiveness and Suitability of Languages for Control Flow Modeling in Workflows. PhD thesis, Brisbane, Australia (2003)
Lübeck, F., Neunhöffer, M.: Enumerating Large Orbits and Direct Condensation. Experiment. Math. 10(2), 197–205 (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cârstea, A., Macariu, G., Petcu, D., Konovalov, A. (2008). Pattern Based Composition of Web Services for Symbolic Computations. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds) Computational Science – ICCS 2008. ICCS 2008. Lecture Notes in Computer Science, vol 5101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69384-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-69384-0_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69383-3
Online ISBN: 978-3-540-69384-0
eBook Packages: Computer ScienceComputer Science (R0)