This paper presents a domain-theoretic model for measurements and measuring instruments, by making explicit in simplex-domain structures two important aspects of measurement processes: the notion of standard representation relation, established between the (physical) values that are being measured and the meanings of the readings (semantic values) of the measuring instruments used to measure them, and the time time underlying every measurement process, in a way that it is possible to trace the hostory of every measuring process. We also present the modelling of measurements performed by combined measuring instruments synchrfonized in time. Finally, the domain-theoretic modelling of a sample measuring process is presented to imllustrate the approach.
展开▼
