Abstract
In-silico scientific research is a complex task that involves the management of huge volumes of data and metadata produced during the scientific exploration life cycle, from hypothesis formulation up to its final validation. This wealth of data needs to be structured and managed in a way that readily makes sense to scientists, so that relevant knowledge may be extracted to contribute to the scientific investigation process. This paper proposes a scientific hypothesis conceptual model that allows scientists to represent the phenomenon been investigated, the hypotheses formulated in the attempt to explain it, and provides the ability to store results of experiment simulations with their corresponding provenance metadata. The proposed model supports scientific life-cycle: provenance, scientists exchange of information, experiment reproducibility, model steering and results analyses. A cardiovascular numerical simulation illustrates the applicability of the model and an initial implementation using SciDB is discussed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Altintas, I., Berkley, C., Jaeger, E., Jones, M., Ludascher, B., Kepler, M.: An Extensible System for Design and Execution of Scientific Workflows. In: Proceedings of the SSDBM (2004)
Blanco, P.J., et al.: On the potentialities of 3d-1d coupled models in hemodynamics simulations. Journal of Biomechanics 42(7), 919–930 (2009)
Bonner, A.J.: Hypothetical Datalog: Complexity and Expressibility. Theoretical Computer Science 76, 3–51 (1990)
Clifford, B., et al.: Tracking Provenance in a Virtual Data Grid. Concurrency and Computation: Practice and Experience 20(5), 565–575 (2008)
Cudre-Mauroux, P., et al.: A Demonstration of SciDB: A Science-Oriented DBMS. In: 22th Int. Conference on Very Large Data Bases, Lyon, France (August 2009)
Freire, J., Koop, D., Santos, E., Silva, C.T.: Provenance for Computational Tasks: A Survey. Computing in Science and Engineering 10(3), 11–21 (2008), doi:10.1109/MCSE.2008.79
Gruber, T.R.: Toward Principles for the Design of Ontologies Used for Knowledge Sharing. International Journal of Human-Computer Studie 43(5-6), 907–928 (1995)
Mattoso, M., Werner, C., Travassos, G.H., Braganholo, V., Murta, L., Ogasawara, E., Oliveira, D., Cruz, S.M.S.D., Martinho, W.: Towards Supporting the Life Cycle of Large Scale Scientific Experiments. Int. J. Business Process Integration and Management 5(1), 79–92 (2010)
Oinn, T., Greenwood, M., Addis, M.: Taverna: Lessons in Creating a Workflow Environment for the Life Sciences. Concurrence Computation: Practice and Expeience, 1–7 (2000)
Parent, C., Spaccapietra, S., Zymanyi, E.: Conceptual Model for Traditional and Spatio-temporal Applications - The MADS approach. Springer (2006)
Porto, F., de Macedo, J.A., Tamargo, J.S., Zufferey, Y.W., Vidal, V.P., Spaccapietra, S.: Towards a Scientific Model Management System. In: Song, I.-Y., Piattini, M., Chen, Y.-P.P., Hartmann, S., Grandi, F., Trujillo, J., Opdahl, A.L., Ferri, F., Grifoni, P., Caschera, M.C., Rolland, C., Woo, C., Salinesi, C., Zimányi, E., Claramunt, C., Frasincar, F., Houben, G.-J., Thiran, P. (eds.) ER Workshops 2008. LNCS, vol. 5232, pp. 55–65. Springer, Heidelberg (2008)
Porto, F., Moura, A.M.C.: Scientific hypothesis database. Technical Report, LNCC (2012)
Porto, F., Tajmouati, O., Silva, V.F.V., Schulze, B., Ayres, F.M.: QEF Supporting Complex Query Applications. In: 7th Int. Symposium on Cluster Computing and the Grid, Rio de Ja-neiro, Brazil, pp. 846–851 (2007)
Racunas, S.A., Shah, N.H., Albert, I., Fedoroff, N.V.: Hybrow: a Prototype System for Computer-Aided Hypothesis Evaluation. Bioinformatics 20(suppl.1), 257–264 (2004)
Racunas, S., Griffin, C., Shah, N.: A Finite Model Theory for Biological Hypotheses. In: Proc. of the 2004 IEEE Computational Sytems Bioinformatics Conference (2004)
Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Founda-tions, Brooks Cole Publishing Co., Pacific Grove, CA, ©2000 (August 1999)
Stonebreaker, M., Rowe, L.A.: The Design of Postgres. In: SIGMOD Conference, pp. 340–355 (1986)
Stonebreaker, M., Becla, J., DeWitt, D., et al.: Requirements for Science Data Base and SciDB. In: Conference on Innovative Data Systems Research, CIDR (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Porto, F., de C. Moura, A.M., Gonçalves, B., Costa, R., Spaccapietra, S. (2012). A Scientific Hypothesis Conceptual Model. In: Castano, S., Vassiliadis, P., Lakshmanan, L.V., Lee, M.L. (eds) Advances in Conceptual Modeling. ER 2012. Lecture Notes in Computer Science, vol 7518. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33999-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-33999-8_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33998-1
Online ISBN: 978-3-642-33999-8
eBook Packages: Computer ScienceComputer Science (R0)