Data refinement of remote procedures

Kaisa Sere, Marina Walden*

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

4 Lataukset (Pure)

Abstrakti

Recently the action systems formalism for parallel and distributed systems has been extended with the procedure mechanism. This gives us a very general framework for describing different communication paradigms for action systems, e.g. remote procedure calls. Action systems come with a design methodology based on the refinement calculus. Data refinement is a powerful technique for refining action systems. In this paper we will develop a theory and proof rules for the refinement of action systems that communicate via remote procedures based on the data refinement approach. The proof rules we develop are compositional so that modular refinement of action systems is supported. As an example we will especially study the atomicity refinement of actions. This is an important refinement strategy, as it potentially increases the degree of parallelism in an action system.
AlkuperäiskieliEnglanti
KustantajaTurku Center for Computer Science (TUCS)
ISBN (painettu)952-12-0018-9
TilaJulkaistu - 1997
OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

Julkaisusarja

NimiTUCS Technical Reports
Vuosikerta115

Sormenjälki

Sukella tutkimusaiheisiin 'Data refinement of remote procedures'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Viittausmuodot