Extending scientific workflows for managing hypotheses and models

• Bernardo Gonçalves LNCC
• Fabio Porto LNCC
• Ana Maria de C. Moura LNCC

Resumo

Support for in-silico scientific exploration has been focusing on the research experimental phase. Nevertheless, there is valuable information associated to the research endeavor that has been left out of reach of the eScience environment and is mostly kept by scientists tacitly or in unstructured forms in their desktop environment. It concerns a description of the observed phenomenon, the conceptual formulation of scientific hypotheses as tentative explanations for it, as well as the models developed to encode these hypotheses. In this paper, we propose to extend scientific workflows in order to include such entities as data elements in the eScience environment, enabling then for their semantic management. These elements are integrated in a three-layered architecture which is illustrated in a case study in the modeling and simulation of the human cardiovascular system.

Referências

Altintas I., Berkley C., Jaeger E., Jones, M. Ludascher B. and Kepler M. (2004) “An Extensible System for Design and Execution of Scientific Workflows”, In: SSDBM'04.

Bavoil,L., Callahan, S.P., Crossno,P.J., Freire, J., Scheidegger, C.E., Silva, C.T. and Vo, T.H. (2005), VisTrails: Enabling Interactive Multiple-View Visualizations. In Proceedings of IEEE Visualization.

Blanco, P.J., Pivelloa, M.R., Urquizar, S., and Feijóo, R., (2009) On the potentialities of 3d-1d coupled models in hemodynamics simulations. Journal of Biomechanics, 42(7):19-930.

Bonner A. J. (1990), Hypothetical Datalog: Complexity and Expressibility. Theoretical Computer Science 76, pp. 3-51, North-Holland.

Callahan A., Dumontier, M., Shah, N.H. (2011) HyQue: Evaluating Hypotheses using Semantic Web Technologies. Journal of Biomedical Semantics, 2(Suppl 2):S3.

Dean, J. Ghemawat, S. (2004), MapReduce: Simplified data processing in large clusters, Sixth Symposium on Operating System Design and Implementation, San Francisco, CA, USA.

Hunter J. (2006), Scientific Models – A User-oriented Approach to the Integration of Scientific Data and Digital Libraries, VALA, Melbourne, February.

Liang F., Takagi, S., Himeno, R., Liu, H. (2009) Multiscale modeling of the human cardiovascular system with applications to aortic valvular and arterial stenoses. Med Bio Eng Comput 47(7):743-55. DOI: 10.1007/s11517-009-0449-9.

M. Mattoso, C. Werner, G.H. Travassos, V. Braganholo, L. Murta, E. Ogasawara, D. Oliveira, S.M.S. da Cruz, and W. Martinho (2010). Towards Supporting the Life Cycle of Large-scale Scientific Experiments. Int Journal of Business Process Integration and Management, 5(1):79–92.

Oinn T., Greenwood M., Addis M. (2000), Taverna: Lessons in Creating a Workflow Environment for the Life Sciences. Concurrency and Computation: Pract. Exper., 1-7.

Ogasawara, E., Dias, J., Oliveira, D., Porto, F., Valduriez, P., Mattoso, M. (2011), An Algebraic Approach for Data-Centric Scientific Workflows, VLDB, Seattle, Wa, USA.

Popper K. (2002), The logic of scientific discovery. Routledge, 2nd ed.

Porto F., Tajmouati O. Silva V.F.V, Schulze,B., Ayres F.M. (2007), QEF Supporting Complex Query Applications. 7th Int’l Symposium on Cluster Computing and the Grid, Rio de Janeiro, Brazil, pp. 846-851.

Porto F., Spacappietra, S. (2011) Data model for scientific models and hypotheses. In “The evolution of Conceptual Modeling: From a historical perspective towards the future of Conceptual Modeling”, LNCS, vol. 6520, pp 285-305. Springer, 1st ed..

Porto, F., Macedo, J. A. F., Tamargo, J. S., Zufferey, Y. W., Vidal, V. P., Spaccapietra, S. (2008). Towards a Scientific Model Management System. ER Workshops: 55-65.

Racunas S.A., Shah N.H., Albert I., Fedoroff N.V. (2004a) Hybrow: a Prototype System for Computer-Aided Hypothesis Evaluation, Bioinformatics, Vol.20, Suppl.1, pp. 257-264.

Sowa, John F. (2000), Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks Cole Publishing Co., Pacific Grove, CA.