Pattern Based Composition of Web Services for Symbolic Computations

  • Alexandru Cârstea
  • Georgiana Macariu
  • Dana Petcu
  • Alexander Konovalov
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5101)


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.


dynamically generated workflows service-oriented architecture symbolic computing workflow patterns 


  1. 1.
    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)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
  4. 4.
  5. 5.
    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)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Milanovic, N., Malek, M.: Current Solutions for Web Service Composition. IEEE Internet Computing 8(6), 51–59 (2004)CrossRefGoogle Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    Grid-Enabled Numerical and Symbolic Services,
  14. 14.
    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)Google Scholar
  15. 15.
  16. 16.
    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)Google Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    The GAP Group, GAP - Groups, Algorithms, and Programming, Version 4.4.10 (2007)
  19. 19.
    Kiepuszewski, B.: Expressiveness and Suitability of Languages for Control Flow Modeling in Workflows. PhD thesis, Brisbane, Australia (2003)Google Scholar
  20. 20.
    Lübeck, F., Neunhöffer, M.: Enumerating Large Orbits and Direct Condensation. Experiment. Math. 10(2), 197–205 (2001)MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Alexandru Cârstea
    • 1
  • Georgiana Macariu
    • 1
  • Dana Petcu
    • 1
  • Alexander Konovalov
    • 2
  1. 1.Institute e-Austria TimişoaraRomânia
  2. 2.University of St AndrewsSt AndrewsScotland

Personalised recommendations