Modeling Software Systems

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


Applying tools and techniques for increasing the reliability of a software system usually requires first modeling it. That is, representing the system in terms of mathematical objects that reflect its observed properties. In physics, it is helpful to use a model of a system (e.g., an atom, a planet) in order to analyze some of its aspects. Modeling usually involves the process of abstraction, i.e., simplifying the description of the system, while preserving only a limited number of the original details. This allows one to focus only on the main properties and better manage the complexity of the system. In software, as in physics, it is often much more convenient and manageable to deal with an abstract model, which is simplified and idealized, than to reason about the whole system. Issues such as high complexity can often prohibit analyzing software code directly, while a model can often be made small and simple enough for applying formal methods. From a different perspective, modeling is required since mathematical methods cannot handle physical entities (e.g., computer memory), but rather mathematical abstractions of them.


Partial Order Critical Section Program Variable Program Counter Process Fairness 
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. Z. Manna, A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag, 1991.Google Scholar
  2. N. Francez, Fairness, Springer-Verlag, 1986Google Scholar
  3. M. Ben-Ari, Principles of Concurrent and Distrubuted Programming, Prentice-Hall, 1990.Google Scholar

Copyright information

© Lucent Technologies 2001

Authors and Affiliations

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

Personalised recommendations