In general, integrity refers to maintaining the correctness and consistency of the data.
Therefore, we need to adopt recovery mechanism to ensure the correctness and consistency of the database.
In this paper, we applied a formal approach to model the SecureDIS system and its security policies and verify the correctness and consistency of the model.
In this paper, we apply a formal approach to model a DIS with the SecureDIS security policies and verify the correctness and consistency of the model.
The correctness and consistency of the data will be ensured by the double-entry technique and by a set of electronic and manual edit checks.
To ensure the correctness and consistency of multi-view requirement models, the formal verification technology should be applied to the model-driven development process.
In tMDA, developers model system requirements with UML static and dynamic models and verify the correctness and consistency of different models.
In particular, an approach to achieve topological entity correspondence across collaborative sites during modeling procedure, which is critical to guarantee the correctness and consistency of collaborative modeling result, is proposed.
Data may come from various internal and external sources, and therefore data accuracy refers to the correctness and consistency of data.
We cross checked the data for the number of cases by year, facilities and districts as well as the correctness and consistency of information.
Moreover, missing data or false data, if there is any, will be detected by designed application program and recorded by data managers, who are qualified to recheck the original CRFs to ensure the correctness, completeness, and consistency of entered data.
