Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such formalism: states evolve through two accessibility relations capturing weighted evidence of a transition or its absence, respectively. Their weights come from a specific residuated lattice. A category of these systems, and the corresponding algebra, is defined as providing a formal setting to model different application scenarios. One of them, dealing with the effect of quantum decoherence in quantum programs, is used for illustration purposes.

翻译：前向一致性转换系统 通常情况下，在软件工程中，建模形式必须支持包含多个需求的不一致性场景，这些需求可能相互支持或相互矛盾。本文提出了一种名为“前向一致性转换系统”的形式化方法：状态通过两个可达性关系来演化，这两个关系分别捕捉转换或其缺失的加权证据。权重来自于特定的剩余格。本文定义了这些系统的类别和相应的代数系统，作为建模不同应用场景的正式设置。其中一个应用场景涉及量子程序中量子相干性的影响，用于说明目的。