Object-Oriented Development and the Semantic Distance Problem.
The software system is structured in terms of the entities of the application
domain. For example, the position of a robot arm may be defined
in terms of objects defining angles of the joints rather than as
a set of arrays of numbers.
The constraints which must be obeyed by each object (eg. - the joints of the
robot) can be defined directly in each object.
Execution behavior of the software system is defined by operations which
carry the semantics of the application.
Implementation (translation) is partitioned into units with application
Validation can be expressed in application semantics.