A Set-based Logical Language for Specification of Combinatorial Models

Abstract

We propose a logical language for specifying combinatorial models, which employs the notion of sets and their complements to overcome some weaknesses of the use of standard Boolean semantics. The proposed language may lead to better modelling techniques in combinatorial test design, with the potential to lower the cognitive load of the modeller and thereby reduce the risk of modelling errors.