Academic Journals Database
Disseminating quality controlled scientific knowledge

A Minimal OO Calculus for Modelling Biological Systems

Author(s): Livio Bioglio

Journal: Electronic Proceedings in Theoretical Computer Science
ISSN 2075-2180

Volume: 67;
Issue: Proc. CompMod 2011;
Start page: 50;
Date: 2011;
Original page

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.
Why do you need a reservation system?      Save time & money - Smart Internet Solutions