• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Compositional Action System Refinement

Ralph-Johan Back, Joakim von Wright, Compositional Action System Refinement. Formal Aspects of Computing 15(2), 103–117, 2003.

Abstract:

We show how a parallel composition of action systems can be refined
by refining the components separately, and checking noninterference
against invariants and guarantee conditions, which are abstract
and stable. The guarantee condition can be thought of as a very
abstract specification of how a system affects the global state,
and it allows us to show that an action system refinement is valid
in a given environment, even if we do not know any of the details
of that environment. The paper extends the traditional notion of action systems slightly, and it
makes use of a generalisation of the attribute
model for program variables.

Files:

Full publication in PDF-format

BibTeX entry:

@ARTICLE{jBavo03a,
  title = {Compositional Action System Refinement},
  author = {Back, Ralph-Johan and Wright, Joakim von},
  journal = {Formal Aspects of Computing},
  volume = {15},
  number = {2},
  pages = {103–117},
  year = {2003},
  keywords = {Action Systems; Refinement; Compositionality, Rely/guarantee},
}

Belongs to TUCS Research Unit(s): Software Construction Laboratorium

Publication Forum rating of this publication: level 2

Edit publication