logical specification
1.the art of assembling logical elements into a computing device; the specification of the relation between parts of a computer system.
2.GALT (Greatest Available Logical Time) algorithm is the key technology which decides whether time management service in the interface specification of HLA (High Level Architecture) can be realized.
