A computer-implemented method for a collaborative process of exchanging messages through an asynchronous messaging network. The method is embodied by a computer program that causes a computer system to retrieve information on local states and local state transitions related to each participant system from a first storage location, including information specifying local states of the corresponding participant system and events triggering, and resulting from, the respective local state transition; process the information to generate, and store in a second storage location, information on collaboration states and collaboration state transitions; retrieve information stored in the second storage location; process the information retrieved from the second storage location to generate information on incompletely specified terminal collaboration states among said collaboration states; and generate a result data object containing information on every incompletely specified terminal collaboration state found.