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

Component-Oriented Development of Action Systems

Rimvydas Ruksenas, Component-Oriented Development of Action Systems. TUCS Technical Reports 544, Turku Centre for Computer Science, 2003.

Abstract:

We present an approach to compositional refinement of action systems
and their interfaces. Our approach is intended to provide a support
for the component-oriented development of action systems. We introduce
a notion of <i>context-sensitive</i> simulation that is related to
the rely-guarantee methods for program verification.
We consider conditions under which context-sensitive simulation
preserves component matching and present the corresponding theorems.
A small example is used to illustrate our approach.

Files:

Abstract in PDF-format

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tRuksenas03a,
  title = {Component-Oriented Development of Action Systems},
  author = {Ruksenas, Rimvydas},
  number = {544},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2003},
  ISBN = {952-12-1203-9},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication