Inconsistency Management and View Updates

Catherine Menon, Michael Johnson, Charles Lakos

Research output: Contribution to journalArticlepeer-review


Inconsistency management in component-based languages is the identification and
resolution of conflicting constraints or expectations between the different components which make up a system. Here we present a category theoretical framework for detecting and classifying those inconsistencies which can arise throughout a simulation. In addition, the framework permits us to apply techniques developed for defining database view updates. With these, we can analyse the set of traces of a system which restrict to a particular behaviour in a subsystem.
Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Issue number3
Publication statusPublished - 2005


Dive into the research topics of 'Inconsistency Management and View Updates'. Together they form a unique fingerprint.

Cite this