Inconsistency management and view updates

Catherine Menon*, Michael Johnson, Charles Lakos

*Corresponding author for this work

Research output: Contribution to journalArticle

Abstract

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 with respect to a particular behaviour in a subsystem.

Original languageEnglish
Pages (from-to)27-51
Number of pages25
JournalElectronic Notes in Theoretical Computer Science
Volume141
Issue number3
DOIs
Publication statusPublished - 1 Dec 2005

Keywords

  • Analysis
  • Category theory
  • Inconsistency management
  • Rosetta
  • Specification
  • Traces

Fingerprint Dive into the research topics of 'Inconsistency management and view updates'. Together they form a unique fingerprint.

  • Cite this