A Minimal OO Calculus for Modelling Biological Systems

Livio Bioglio

In this paper we present a minimal object oriented core calculus for modelling the biological notion of type that arises from biological ontologies in formalisms based on term rewriting. This calculus implements encapsulation, method invocation, subtyping and a simple formof overriding inheritance, and it is applicable to models designed in the most popular term-rewriting formalisms. The classes implemented in a formalism can be used in several models, like programming libraries.

In Ion Petre and Erik de Vink: Proceedings Third International Workshop on Computational Models for Cell Processes (CompMod 2011), Aachen, Germany, September 10, 2011, Electronic Proceedings in Theoretical Computer Science 67, pp. 50–64.
Published: 8th September 2011.

ArXived at: http://dx.doi.org/10.4204/EPTCS.67.6 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org