Some Properties of Refinement

Benjes, Friederike

TR-96-014.pdf - Published

Download (367kB)

URN: urn:nbn:de:bsz:180-madoc-7989
Document Type: Working paper
Year of publication: 1996
The title of a journal, publication series: Technical Reports
Volume: 96-014
Place of publication: Mannheim
Publication language: English
Institution: School of Business Informatics and Mathematics > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
MADOC publication series: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject: 004 Computer science, internet
Subject headings (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.

Metadata export


+ Search Authors in

+ Download Statistics

Downloads per month over past year

View more statistics

You have found an error? Please let us know about your desired correction here: E-Mail

Actions (login required)

Show item Show item