Using formalized temporal message‐flow diagrams
Wayne V. Citrin, Alistair Cockburn, J. von Kanel, Rainer Hauser · Software Practice and Experience · 1995
Abstract Temporal message‐flow diagrams (TMFDs), alternatively called sequence charts, interaction diagrams, event traces, or actor diagrams, are illustrations of a system's global message‐passing activity over time, and a pictorial aid to understanding the system's behavior. They are widely used for requirements and documentation for network protocols and object‐oriented applications. We present a general formalism for TMFDs, describe a suite of tools we have designed that employs this formalism, and present our experiences with these tools. The formalism and tools described serve to support and broaden the use of TMFDs in developing communicating systems.