Pattern based composition of Web services for symbolic computations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5101 LNCS, Issue PART 1, 2008, Pages 126-135

  Cârstea, Alexandru ^a   Macariu, Georgiana ^a   Petcu, Dana ^a   Konovalov, Alexander ^b  

^a Institute e Austria Timi oara   (Romania)

^b UNIVERSITY OF ST ANDREWS   (United Kingdom)

Author keywords

Dynamically generated workflows; Service oriented architecture; Symbolic computing; Workflow patterns

Indexed keywords

ALGEBRA; BOOLEAN ALGEBRA; INFORMATION SERVICES; MANAGEMENT; MATRIX ALGEBRA; STANDARDS; WEB SERVICES;

COMPUTATIONAL ALGEBRA; COMPUTATIONAL SCIENCES; DESCRIPTION LANGUAGES; DYNAMIC COMPOSITIONS; DYNAMIC GENERATION; HEIDELBERG (CO); INTERNATIONAL CONFERENCES; PROTOTYPE IMPLEMENTATIONS; SYMBOLIC COMPUTATION (COMPUTER ALGEBRA); WORK-FLOWS; WORKFLOW PATTERNS;

WORLD WIDE WEB;

EID: 47749123493     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69384-0_18     Document Type: Conference Paper

References (20)

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)
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)
3. ActiveBPEL, http://www.active-endpoints.com/active-bpel-engine-overview. htm
4. PostgreSQL. http://www.postgresql.org/
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, Washington (2004)
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)
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)
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)
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)
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)
11. Milanovic, N., Malek, M.: Current Solutions for Web Service Composition. IEEE Internet Computing 8(6). 51-59 (2004)
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)
13. Grid-Enabled Numerical and Symbolic Services, http ://genss.es.bath.ac. uk/index.htm
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)
15. OpenMath, http://www.openmath.org/
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)
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)
18. The GAP Group, GAP - Groups, Algorithms, and Programming, Version 4.4.10 (2007) http://www.gap-system.org
19. Kiepuszewski. B.: Expressiveness and Suitability of Languages for Control Flow Modeling in Workflows. PhD thesis, Brisbane, Australia (2003)
20. Lübeck. F., Neunhöffer. M.: Enumerating Large Orbits and Direct Condensation. Experiment. Math. 10(2), 197-205 (2001)