Definition.      Atomistic hybrid object, AHO.

The atomistic hybrid object, AHO, is an object to implement the atomistic architecture,  which consists of an object-oriented interface and contents implemented by a predicate combining the logic programming paradigm with the object paradigm.

Implementation in a tool

Atomistic architecture is a reductionist model having the base class (SymbolicElement) and specializations Symbolic<T>Element for each type <T>. The semantics for an atom is packed on the command field. Simulating the model is done by invoking the run method, which gives the result to the caller as Symbolic clauses. See FIGURE.

AHO_Architecture

Each clause type has then its own specialized class. The common base class inherits the class Symbolic, which is the foundation for the whole symbolic analysis installation, the Symbolic language. The architecture for the object-oriented AHO model can be drawn below.

Class_Hierarchy_for_AtomThis model is comparable with MDA’s MOF or abstract syntax tree.

class SymbolicElement inherits Symbolic
facts
command: Symbolic::clause.
link: (linkType, SymbolicElement)
run: () -> clause*.
end class SymbolicElement

Any subelement of type <T> has the class contract:

class Symbolic<T>Element inherits SymbolicElement
facts
command: <T>Clause.
end class Symbolic<T>Element

UML has a number of different notations. Hence, it is hard to show how UML, MOF, MDA, OWL and others fit together.

Links:

Advertisements