Carnegie Mellon University
Browse

Model Checking Implicit-Invocation Systems

Download (68.12 kB)
journal contribution
posted on 1965-01-01, 00:00 authored by David Garlan, Serge Khersonsky
While implicit invocation (publish-subscribe) systems have good engineering properties, they are difficult to reason about and to test. Model checking such systems is an attractive alternative. However, it is not clear what kinds of state models are best suited for this. We propose a structural approach, which factors the model checking problem into two parts: behavior specific to a particular implicit invocation system, and reusable run-time infrastructure that handles event-based communication and delivery policies. The reusable portion is itself structured so that alternative run-time mechanisms may be experimented with

History

Publisher Statement

All Rights Reserved

Date

1965-01-01

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC