A Minimal OO Calculus for Modelling Biological Systems
Computational Engineering, Finance, and Science
2011-09-08 v1 Logic in Computer Science
Abstract
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.
Keywords
Cite
@article{arxiv.1109.1366,
title = {A Minimal OO Calculus for Modelling Biological Systems},
author = {Livio Bioglio},
journal= {arXiv preprint arXiv:1109.1366},
year = {2011}
}
Comments
In Proceedings CompMod 2011, arXiv:1109.1044