Proto-Plasm: parallel language for adaptive and scalable modelling of biosystems

This paper discusses the design goals and the first developments of Proto-Plasm, a novel computational environment to produce libraries of executable, combinable and customizable computer models of natural and synthetic biosystems, aiming to provide a supporting framework for predictive understanding of structure and behaviour through multiscale geometric modelling and multiphysics simulations. Admittedly, the Proto-Plasm platform is still in its infancy. Its computational framework—language, model library, integrated development environment and parallel engine—intends to provide patient-specific computational modelling and simulation of organs and biosystem, exploiting novel functionalities resulting from the symbolic combination of parametrized models of parts at various scales. Proto-Plasm may define the model equations, but it is currently focused on the symbolic description of model geometry and on the parallel support of simulations. Conversely, CellML and SBML could be viewed as defining the behavioural functions (the model equations) to be used within a Proto-Plasm program. Here we exemplify the basic functionalities of Proto-Plasm, by constructing a schematic heart model. We also discuss multiscale issues with reference to the geometric and physical modelling of neuromuscular junctions.

[1]  John Amanatides,et al.  Merging BSP trees yields polyhedral set operations , 1990, SIGGRAPH.

[2]  Giuseppe Pontrelli,et al.  A one-dimensional model for blood flow in prestressed vessels , 2005 .

[3]  Robert J. Holt,et al.  Hierarchical multiresolution reconstruction of shell surfaces , 2002, Comput. Aided Geom. Des..

[4]  Joe Armstrong,et al.  Making reliable distributed systems in the presence of software errors , 2003 .

[5]  Salah Naili,et al.  Sur le remodelage des tissus osseux anisotropes , 2006 .

[6]  Jindong Chen,et al.  Modeling with cubic A-patches , 1995, TOGS.

[7]  Valerio Pascucci,et al.  Splitting a complex of convex polytopes in any dimension , 1996, SCG '96.

[8]  Peter J. Hunter,et al.  Computational multiscale modeling in the IUPS Physiome Project: Modeling cardiac electromechanics , 2006, IBM J. Res. Dev..

[9]  Vadim Shapiro,et al.  Chain-Based Representations for Solid and Physical Modeling , 2008, IEEE Transactions on Automation Science and Engineering.

[10]  Chandrajit L. Bajaj,et al.  Smooth Shell Construction with Mixed Prism Fat Surfaces , 1999, Geometric Modelling.

[11]  Na Lei,et al.  Boolean Operations with Prism Algebraic Patches. , 2008, Computer-aided design and applications.

[12]  Joe Armstrong,et al.  Programming Erlang: Software for a Concurrent World , 1993 .

[13]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[14]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[15]  P. Nardinocchi,et al.  An electromechanical model of cardiac tissue: constitutive issues and electrophysiological effects. , 2008, Progress in biophysics and molecular biology.

[16]  Antonio DiCarlo,et al.  Growth and balance , 2002 .

[17]  Salah Naili,et al.  Sur le remodelage des tissus osseux anisotropes [On the remodelling of anisotropic bone tissue] , 2006 .

[18]  M Hucka,et al.  Evolving a lingua franca and associated software infrastructure for computational systems biology: the Systems Biology Markup Language (SBML) project. , 2004, Systems biology.

[19]  Steve McKeever,et al.  Experience report: a Haskell interpreter for cellML , 2007, ICFP '07.

[20]  Martti Mäntylä,et al.  Introduction to Solid Modeling , 1988 .

[21]  Nathan A. Baker,et al.  Finite element analysis of the time-dependent Smoluchowski equation for acetylcholinesterase reaction rate calculations. , 2007, Biophysical journal.

[22]  Bennet Vance,et al.  On the application of partial evaluation to database optimization , 1993 .

[23]  Luciano Teresi,et al.  The cardiovascular system as a smart system , 2007 .

[24]  P. Nardinocchi,et al.  On the Active Response of Soft Living Tissues , 2007 .

[25]  Vadim Shapiro,et al.  A codimension-zero approach to discretizing and solving field problems , 2008, Adv. Eng. Informatics.

[26]  Henry Fuchs,et al.  On visible surface generation by a priori tree structures , 1980, SIGGRAPH '80.

[27]  Alberto Paoluzzi,et al.  Progressive Conversion from B-rep to BSP for Streaming Geometric Modeling. , 2006, Computer-aided design and applications.

[28]  Chandrajit L. Bajaj,et al.  Geometric computations with algebraic varieties of bounded degree , 1990, SCG '90.

[29]  Steve McKeever,et al.  On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations , 2006, PEPM '06.

[30]  Chandrajit L. Bajaj,et al.  Multi-component heart reconstruction from volumetric imaging , 2008, SPM '08.

[31]  Catherine M Lloyd,et al.  CellML: its future, present and past. , 2004, Progress in biophysics and molecular biology.

[32]  Vadim Shapiro,et al.  Solid and physical modeling with chain complexes , 2007, Symposium on Solid and Physical Modeling.

[33]  Contents , 2018, European Neuropsychopharmacology.

[34]  Peter J. Hunter,et al.  Multiscale modeling: physiome project standards, tools, and databases , 2006, Computer.

[35]  Antonio Di Carlo,et al.  Surface and bulk growth unified.In: Mechanics of Material Forces , 2005 .

[36]  Peter J. Hunter,et al.  Modeling Human Physiology: The IUPS/EMBS Physiome Project , 2006, Proceedings of the IEEE.

[37]  Chandrajit L. Bajaj,et al.  Quality meshing of implicit solvation models of biomolecular structures , 2006, Comput. Aided Geom. Des..

[38]  Nathan A. Baker,et al.  Tetrameric mouse acetylcholinesterase: continuum diffusion rate calculations by solving the steady-state Smoluchowski equation using finite element methods. , 2005, Biophysical journal.

[39]  Alberto Paoluzzi,et al.  Securing Critical Infrastructures via Geometric Modeling and Discrete Simulation , 2008 .

[40]  Valerio Pascucci,et al.  Parallel solid Modeling Using BSP Dataflow , 2008, Int. J. Comput. Geom. Appl..

[41]  H. Kitano.  Systems Biology: A Brief Overview , 2002, Science.

[42]  Zeyun Yu,et al.  Volumetric feature extraction and visualization of tomographic molecular imaging. , 2003, Journal of structural biology.

[43]  Yongjie Zhang,et al.  3D Finite Element Meshing from Imaging Data. , 2005, Computer methods in applied mechanics and engineering.

[44]  V. Pascucci,et al.  Progressive dimension-independent Boolean operations , 2004, SM '04.

[45]  K Cleary,et al.  Final report of the meeting "modeling & simulation in medicine: towards an integrated framework". July 20-21, 2000, National Library of Medicine, National Institutes of Health, Bethesda, Maryland, USA. , 2001, Journal of Computer-Aided Surgery.

[46]  G. Ziegler.  Lectures on Polytopes , 1994 .

[47]  Valerio Pascucci,et al.  Geometric programming: a programming approach to geometric design , 1995, TOGS.

[48]  John H. Williams,et al.  An introduction to the programming language FL , 1990 .

[49]  Martin Hopkins,et al.  Synergistic Processing in Cell's Multicore Architecture , 2006, IEEE Micro.

[50]  Gordon Clapworthy,et al.  Digital Human Modelling: A Global Vision and a European Perspective , 2007, HCI.

[51]  Bruce F. Naylor.  Binary space partitioning trees as an alternative representation of polytopes , 1990, Comput. Aided Des..

[52]  Valerio Pascucci,et al.  Geometric Programming for Computer-Aided Design , 2003 .

[53]  Salah Naili,et al.  Modeling bone remodeling , 2005 .

[54]  Chandrajit Bajaj,et al.  Geometric Modeling and Quantitative Visualization of Virus Ultrastructure , 2005 .

[55]  Samuel Williams,et al.  The potential of the cell processor for scientific computing , 2005, CF '06.

[56]  Franco Milicchio,et al.  Extracting trabecular geometry from tomographic images of spongy bone , 2006 .

[57]  Valerio Pascucci,et al.  Geometric Programming for Computer-Aided Design , 2003 .

[58]  Zeyun Yu,et al.  Geometric and Signal Processing of Reconstructed 3D Maps of Molecular Complexes , 2005 .

[59]  N. Simionescu,et al.  The Cardiovascular System , 1983 .