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.

翻译：在软件工程中，建模形式通常需要支持不一致场景，其中多个需求可能相互加强或矛盾。本文提出不一致转换系统作为一种此类形式：状态通过两种可达关系演化，分别捕捉转换存在或不存在的加权证据，其权重来自特定的剩余格。定义了这类系统及其对应代数的范畴，为不同应用场景的建模提供形式化框架。其中，针对量子程序中量子退相干效应的场景被用于示例说明。