SHARE: A web portal for creating and sharing executable research papers

Procedia Computer Science

Volumn 4, Issue , 2011, Pages 589-597

  Van Gorp, Pieter ^a   Mazanek, Steffen ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Challenge; Executable paper; Reproducible research; Research 2.0; Virtualization; Web portal

Indexed keywords

COMPUTATION THEORY; NETWORK SECURITY; VIRTUAL MACHINE; VIRTUALIZATION;

AUTOMATIC PROOFS; CHALLENGE; COMPUTATIONAL RESULTS; EMBEDDED COMPUTATION; GRAND CHALLENGE; REPRODUCIBLE RESEARCH; RESEARCH 2.0; RESEARCH ENVIRONMENT;

PORTALS;

EID: 79958288222     PISSN: None     EISSN: 18770509     Source Type: Conference Proceeding    
DOI: 10.1016/j.procs.2011.04.062     Document Type: Conference Paper

References (12)

1. P. Van Gorp, P. Grefen, Supporting the internet-based evaluation of research software with cloud infrastructure, Software and Systems Modeling (2010) 1-18doi:10.1007/s10270-010-0163-y.
2. Object Management Group, Business Process Modeling Notation (BPMN), http://www.omg.org/spec/BPMN/1.2/(2009).
3. OASIS, Web Services Business Process Execution Language Version 2.0, http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf (2007).
4. M. Dumas, Case study: BPMN to BPEL model transformation, http://is.ieis.tue.nl/staff/pvgorp/events/grabats2009/cases/ grabats2009synthesis.pdf (2009).
5. S. Mazanek, M. Hanus, Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language, Journal of Visual Languages & Computing 22 (1) (2011) 66 - 89, special Issue on Visual Languages and Logic. doi:DOI:10.1016/j. jvlc.2010.11.005.
6. D. E. Knuth, Literate programming, The Computer Journal 27 (2) (1984) 97-111.
7. M. Hanus, Curry: An Integrated Functional Logic Language (Version 0.8.2), http://www.curry-language.org/(2006).
8. S. Antoy, M. Hanus, Functional logic programming, Communications of the ACM 53 (4) (2010) 74-85.
9. K. Keahey, M. Tsugawa, A. Matsunaga, J. Fortes, Sky computing, IEEE Internet Computing 13 (5) (2009) 43-51. doi:http://doi.ieeecomputersociety.org/ 10.1109/MIC.2009.94.
10. D. Nurmi, R. Wolski, C. Grzegorczyk, G. Obertelli, S. Soman, L. Youseff, D. Zagorodnov, The eucalyptus open-source cloud-computing system, in: Proceedings of 9th IEEE International Symposium on Cluster Computing and the Grid, CCGRID'09, IEEE Computer Society, Washington, DC, USA, 2009, pp. 124-131. doi:http://dx.doi.org/10.1109/CCGRID.2009.93. URL http://open.eucalyptus.com/ documents/ccgrid2009.pdf.
11. L. Wang, G. von Laszewski, J. Tao, M. Kunze, Grid virtualization engine: design, implementation and evaluation, IEEE Systems Journal 3 (4) (2009) 477-488. doi:http://10.1109/JSYST.2009.2028589.
12. J. Claerbout, Electronic documents give reproducible research a new meaning, in: Proc. Ann. Int. Mtg Soc. of Expl. Geophys., 1992, pp. 601-604.