Some Properties of Refinement


Benjes, Friederike


[img]
Vorschau
PDF
TR-96-014.pdf - Veröffentlichte Version

Download (367kB)

URL: https://ub-madoc.bib.uni-mannheim.de/798
URN: urn:nbn:de:bsz:180-madoc-7989
Dokumenttyp: Arbeitspapier
Erscheinungsjahr: 1996
Titel einer Zeitschrift oder einer Reihe: Technical Reports
Band/Volume: 96-014
Ort der Veröffentlichung: Mannheim
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
MADOC-Schriftenreihe: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Fachgebiet: 004 Informatik
Normierte Schlagwörter (SWD): Reaktives System
Abstract: Two problems on action refinement are considered: First we treat the problem that there may exist configurations in the product ${\cal E}_1~\|_A~{\cal E}_2$ of event structures that do not map to configurations of the individual event structures under projection. [Sch91] and [CZ89] showed that languages using only the operators $+, ;, ~\|_A$ do not create event structures of that type. We show the same for languages extended with a refinement operator. In the second part the connection between syntactic and semantic refinement is analyzed. We define a notion of syntactic refinement in which the refinement of a synchronizing action is seen as a parallel call of procedure in which one of the participating processes takes the control and the other one inscribes. This improves a version of syntactic refinement developed in [GGR92] which coincides with semantic refinement on flow event structures only under fairly restrictive conditions if synchronizing actions are refined. We show that our notion of syntactic refinement coincides with semantic refinement also for synchronizing actions provided they are not auto-concurrent.




Dieser Eintrag ist Teil der Universitätsbibliographie.

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.




Metadaten-Export


Zitation


+ Suche Autoren in

+ Download-Statistik

Downloads im letzten Jahr

Detaillierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen