BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CSL-TR-96-710
       ENTRY:: April 14, 1997
ORGANIZATION:: Stanford University, Computer Systems Laboratory
       TITLE:: Executable Formal Models of Distributed Transaction Systems
               Based on Event Processing
        TYPE:: Thesis
        TYPE:: Technical Report
      AUTHOR:: Kenney, John
        DATE:: November 1996
       PAGES:: 177
    ABSTRACT:: This dissertation presents formal models of distributed
               transaction processing (DTP) that are executable and
               testable. These models apply a new technology, Rapide, an
               object-oriented executable architecture description language
               designed for specifying and prototyping distributed,
               time-sensitive systems. This dissertation shows how the
               Rapide technology can be applied to specify, prototype, and
               test DTP models.

               In particular, this dissertation specifies a reference
               architecture for the X/Open DTP industry standard. The
               reference architecture, written in Rapide, defines
               architectures and behaviors of systems that comply with the
               X/Open standard. This dissertation also applies a technique
               developed previously by Gennart and Luckham for testing
               applications for conformance with reference architectures.
       NOTES:: [Adminitrivia V1/Prg/19970414]
         END:: STAN//CSL-TR-96-710