Definition.       Atomistic model.

An atomistic model is a set of source code atoms.
A short main method (which has something in common with the Server program):

void main()
{
int port = 1;
new Server(port);
}

The corresponding atom for the main contains the following command:

def(methoddef(“main”,[],basic_type(“void”),[],[at(04FD3450,[]),at(04FB2990,[at(04FD3450,[])])]))

The numbers are pointers to other atoms.

OBS. Note that there is only one predicate for the method, which normally in other models contains several variables, links and references. Here none of them is needes.

This oversimplified notation enables formal and exhaustive programming in the tool (like Visual Prolog).

Advertisements