Issues on decentralized consistency checking of multi-lateral collaborations

Decentralized consistency checking of multi-lateral collaborations is based on propagating local information to trading partners until a fixed point has been reached. However, which information has to be propagated and how to represent this information is a challenge, because the local consistency decisions should derive consistency only if the collaboration is consistent. In this paper, two scenarios are discussed arguing that history information about reaching a state must be propagated and that messages must be named uniquely in this history information to achieve the aimed equivalence of local consistency and collaboration consistency.