• Doron A. Peled
Part of the Texts in Computer Science book series (TCS)


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.


Model Check Process Line Textual Representation Program Counter Input Place 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Further Reading

  1. ITU-T Recommendation Z.120, Message Sequence Chart (MSC), March 1993.Google Scholar
  2. D. Harel, M. Politi, Modeling Reactive Systems with Statecharts, McGraw-Hill, 1998.Google Scholar
  3. K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Springer-Verlag, 1995.Google Scholar
  4. W. Reisig, Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets, Springer-Verlag, 1998.Google Scholar
  5. 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
  6. I. Jacobson, G. Booch, J. Rumbaugh, Unified Software Development Process, Addison-Wesley, 1999.Google Scholar
  7. J. Rumbaugh, I. Jacobson, G. Booch, The Unified Modeling Language, Reference Manual, Addison-Wesley, 1998.Google Scholar
  8. G. Booch, I. Jacobson, J. Rumbaugh, The Unified Modeling Language User Guide, Addison-Wesley, 1998.Google Scholar

Copyright information

© Lucent Technologies 2001

Authors and Affiliations

  • Doron A. Peled
    • 1
  1. 1.Computing SciencesBell Labs/Lucent TechnologiesMurray HillUSA

Personalised recommendations