Using formalized temporal message‐flow diagrams
- 1 December 1995
- journal article
- Published by Wiley in Software: Practice and Experience
- Vol. 25 (12) , 1367-1401
- https://doi.org/10.1002/spe.4380251205
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.Keywords
This publication has 14 references indexed in Scilit:
- Techniques for the formal definition of the G-LOTOS syntaxPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The specification of visual language syntaxPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Requirements for graphical front ends for visual languagesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Visual specification of actor configurationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Escalante: an environment for the rapid construction of visual language applicationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A syntax and semantics for network diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Simulation of communications architecture specifications using PrologACM SIGAPP Applied Computing Review, 1993
- Escort: an environment for specifying communication requirementsIEEE Software, 1989
- Programming in PrologPublished by Springer Nature ,1987
- Women, Fire, and Dangerous ThingsPublished by University of Chicago Press ,1987