Symbol is a carrier for information, the base for all languages.

For formal languages there are two purposes for symbols:

  1. Syntax: They are thought of as purely syntactic structures, composed into larger structures using a formal grammar,
  2. Semantics: There are associated with an interpretation or model (a formal semantics), that define it in terms of other formal symbols.

In the symbolic atomistic model there is an artefact AHO (Atomistic Hybrid Object), that implements all features of each symbol, captured from the language.

Hence, AHO contains the syntactical reference, it holds the semantics and contains the execution part, the simulation mechanism.

By means of extending the internal symbolic language, which defines the semantics of each symbol, it is possible to build higher order logic to create verification and testing models based on lower level symbols. This approach creates a concept of a megamodel, which has some essential features of abstract interpretation and symbolic model checking.

Some links:

Advertisements