Managing the integrity of design data generated by multiple applications: The principle of patching

The purpose of this work is to develop automatic methods of semantic integrity maintenance, in support of concurrent engineering. Semantic integrity relations in any final engineering design are built up incrementally, through the use of different computer applications. Here, the structure of these integrity relations are formalised for representation within a database. When changes to a design have to be made, they can invalidate integrity relations in other parts of the design. Formal methods are defined for identifying what data and integrity relations are invalidated by any change. Methods for making changes that minimise re-design are described and formalised. Opportunities for using semantic integrity to assess progress on a design are reviewed.