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.
|Publisher||IEEE Computer Society|
|Workshop||International Workshop on Distributed and Mobile Collaboration (DMC) (WETICE'05)|
|Period||13/06/05 → 15/06/05|
|Other||13-15 June 2005|