1 research outputs found
A Minimal OO Calculus for Modelling Biological Systems
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.Comment: In Proceedings CompMod 2011, arXiv:1109.104