Description and execution of patterns for symbolic computations

SYNASC 2009 - 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Volumn , Issue , 2009, Pages 197-204

  Cârstea, Alexandru ^a   Macariu, Georgiana ^a   Frîncu, Marc ^a   Petcu, Dana ^a  

^a Institute e Austria   (Romania)

Author keywords

Computer algebra; Grid computing; Workflows

Indexed keywords

COMPUTATION POWER; COMPUTER ALGEBRA; CONTROL FLOWS; DISTRIBUTED SYSTEMS; MULTIPLE PROCESSING; PROCESSING CAPABILITY; SINGLE MACHINES; SYMBOLIC COMPUTATION; SYMBOLIC COMPUTING; SYMBOLIC COMPUTING SYSTEMS; WORK-FLOWS; WORKFLOW MANAGEMENTS;

ALGEBRA; COMPUTATION THEORY; MANAGEMENT; WORK SIMPLIFICATION;

GRID COMPUTING;

EID: 77953060699     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SYNASC.2009.40     Document Type: Conference Paper

References (19)

1. A. Cârstea, M. Frîncu, A. Konovalov, G. Macariu, and D. Petcu, "On service-oriented symbolic computing," in Parallel Processing and Applied Mathematics, ser. Lecture Notes in Computer Science, vol. 4967. Springer Berlin / Heidelberg, May 2008, pp. 843-851.
2. OpenMath. [Online]. Available: http://www.openmath.org/
3. S. Freundt, P. Horn, A. Konovalov, S. Linton, and D. Roozemond. (2009) Symbolic Computation Software Composability Protocol (SCSCP) specification, Version 1.3.
4. GAP - Groups, Algorithms, and Programming, version 4.4.10. [Online]. Available: http://www.gap-system.org
5. KANT/KASH computational algebraic number theory. [Online]. Available: http://www.math.tu-berlin.de/~kant/kash.html
6. MapleSoft. [Online]. Available: http://www.maplesoft.com/
7. MuPAD, SciFace Software. [Online]. Available: http://www.sciface.com/
8. J. L. Peterson, Petri Net theory and the modeling of systems. Upper Saddle River, NJ, USA: Prentice Hall PTR, 1981.
9. ActiveBPEL. [Online]. Available: http://www.activevos.com/community-open- source.php
10. R. Baraka and W. Schreiner, "Querying registry-published mathematical Web Services," in Proceedings of the IEEE 20th International Conference on Advanced Information Networking and Applications (AINA 2006), Vienna, Austria. Los Alamitos: IEEE Computer Society, April 18 - 20 2006, pp. 767-772.
11. S. Buswell, O. Caprotti, and M. Dewar. (2003) Mathematical Service Description Language. [Online]. Available: http://monet.nag.co.uk/monet/ publicdocs/monet-msdl-final.pdf
12. WS-BPEL 2.0. [Online]. Available: http://docs.oasisopen.org/wsbpel/2.0/ OS/wsbpel-v2.0-OS.html
13. G. Macariu, A. Cârstea, M. Frîncu, and D. Petcu, "Towards a grid oriented architecture for symbolic computing," in ISPDC 2008: Proceedings of the 7th International Symposium on Parallel and Distributed Computing. IEEE Computer Press, 2008, pp. 259-266.
14. A. Cârstea, G. Macariu, M. Frîncu, and D. Petcu, "Workflow management for symbolic grid services," in SYNASC '08: Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE Computer Press, 2009, pp. 373-379.
15. A. Duscher, "Interaction patterns of mathematical services," Research Institute for Symbolic Computation, Johannes Kepler University, Tech. Rep., 2006.
16. Workflow Patterns Initiative. [Online]. Available: http://www. workflowpatterns.com/
17. A. Cârstea, G. Macariu, A. Konovalov, and D. Petcu, "Pattern based composition of web services for symbolic computations," in ICCS '08: Proceedings of the 8th International Conference on Computational Science, ser. Lecture Notes in Computer Science, vol. 5101. Springer Berlin / Heidelberg, June 2008, pp. 126-135.
18. W. Allcock, J. Bresnahan, R. Kettimuthu, M. Link, C. Dumitrescu, I. Raicu, and I. Foster, "The Globus striped GridFTP framework and server," in SC '05: Proceedings of the 2005 ACM/IEEE Conference on Supercomputing. Washington, DC, USA: IEEE Computer Society, 2005, p. 54.
19. T. Berners-Lee, R. Fielding, U. Irvine, and L. Masinter. (1998, august) Uniform Resource Identifiers (URI): Generic syntax. [Online]. Available: http://www.ietf.org/rfc/rfc2396.txt