A formal approach to timing analysis and design of information systems

摘要

Timing design is an architectural design decision, which consists in assigning a production time to each process and a deletion time to each information set of the database. The decision has important consequences on some system properties, such as storage requirements and database contents. In this paper we try to identify this decision, show how the possible alternatives can be formally generated and present some criteria that can be used for choosing the most convenient alternative. Practical application of the approach is emphasized.