Early formal methods were text-based. This included formal description of systems, the specification of system properties, the interaction with the tools and the testing and verification results. Researchers and practitioners have recently begun to realize that visual representation of software greatly enhances the effectiveness of software development. In many cases, one may obtain, by observing a visualization of the code, some new information, e.g., about the different program objects and their connection, the flow of control, and the pattern of communication. Such an intuitive understanding of the code may not be achieved by simply observing the linear text of the code.
KeywordsModel Check Process Line Textual Representation Program Counter Input Place
Unable to display preview. Download preview PDF.
- ITU-T Recommendation Z.120, Message Sequence Chart (MSC), March 1993.Google Scholar
- D. Harel, M. Politi, Modeling Reactive Systems with Statecharts, McGraw-Hill, 1998.Google Scholar
- K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Springer-Verlag, 1995.Google Scholar
- W. Reisig, Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets, Springer-Verlag, 1998.Google Scholar
- W. Reisig, G. Rozenberg, eds. Lectures on Petri Nets I: Basic Models, Lec- ture Notes in Computer Science, Volume 1941, Springer-Verlag, 1998.Google Scholar
- I. Jacobson, G. Booch, J. Rumbaugh, Unified Software Development Process, Addison-Wesley, 1999.Google Scholar
- J. Rumbaugh, I. Jacobson, G. Booch, The Unified Modeling Language, Reference Manual, Addison-Wesley, 1998.Google Scholar
- G. Booch, I. Jacobson, J. Rumbaugh, The Unified Modeling Language User Guide, Addison-Wesley, 1998.Google Scholar