Open Systems Laboratory at Illinois

A rewriting based model for probabilistic distributed object systems

By Nirman Kumar, Koushik Sen, José Meseguer, and Gul Agha. In FMOODS, volume 2884 of Lecture Notes in Computer Science, 32–46. Springer, 2003.

Full Text:
Download PDF
Publisher Link:


Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The nondeterminism provides an abstraction over scheduling, network delays, failures and randomization. However a probabilistic model can capture these sources of nondeterminism more precisely and enable statistical analysis, simulations and reasoning. We have developed a general semantic framework for probabilistic systems using probabilistic rewriting. Our framework also allows nondeterminism in the system. In this paper, we briefly describe the framework and its application to concurrent object based systems such as actors. We also identify a sufficiently expressive fragment of the general framework and describe its implementation. The concepts are illustrated by a simple client-server example.

Keywords  Rewrite theory - probability - actors - Maude - nondeterminism


    author = "Kumar, Nirman and Sen, Koushik and Meseguer, José and
              Agha, Gul",
    editor = "Najm, Elie and Nestmann, Uwe and Stevens, Perdita",
    title = "A Rewriting Based Model for Probabilistic Distributed
             Object Systems",
    booktitle = "FMOODS",
    crossref = "conf/fmoods/2003",
    ee = "",
    keywords = "formal methods, sensor networks, real-time systems",
    pages = "32-46",
    year = "2003",

    editor = "Najm, Elie and Nestmann, Uwe and Stevens, Perdita",
    title = "Formal Methods for Open Object-Based Distributed Systems,
             6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris,
             France, November 19.21, 2003, Proceedings",
    isbn = "3-540-20491-1",
    publisher = "Springer",
    series = "Lecture Notes in Computer Science",
    volume = "2884",
    year = "2003",