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 which restrict to a particular behaviour in a subsystem.
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 language | English |
|---|---|
| Journal | Electronic Notes in Theoretical Computer Science |
| Volume | 141 |
| Issue number | 3 |
| Publication status | Published - 2005 |