Composition with Consistent Updates for Abstract State Machines

Composition with Consistent Updates for Abstract State Machines

Cached

Download Links

by Colin Gordon , Leo Meyerovich , Joel Weinberger , Shriram Krishnamurthi

BibTeX

@MISC{Gordon_compositionwith,
    author = {Colin Gordon and Leo Meyerovich and Joel Weinberger and Shriram Krishnamurthi},
    title = {Composition with Consistent Updates for Abstract State Machines},
    year = {}
}

OpenURL

Abstract

Abstract. Abstract State Machines (asms) offer a formalism for describing state transitions over relational structures. This makes them promising for modeling system features such as access control, especially in an environment where the policy’s outcome depends on the evolving state of the system. The current notions of modularity for asms, however, provide insufficiently strong guarantees of consistency in the face of parallel update requests. We present a real-world context that illustrates this problem, discuss desirable properties for composition in this context, describe an operator that exhibits these properties, formalize its meaning, and outline its implementation strategy. 1

Keyphrases

abstract state machine consistent update implementation strategy system feature access control parallel update request current notion state transition discus desirable property strong guarantee relational structure outcome depends real-world context