Event Trace Independence of active behavior ✩

Communicated by S.E. Hambrusch www.elsevier.com/locate/ipl We present the Event Trace Independence (ETI), a novel property of active rules exhibiting a behavior independent of the specific event sequence that had caused a state transition. When employed in a distributed setting, this property supersedes the classical property of confluence, which is not sufficient herein. We show that ETI is in general undecidable and provide a sufficient condition, called invertibility, which offers a practical way to demonstrate ETI. © 2004 Elsevier B.V. All rights reserved