Action Refinement in End-Based Choice Settings


Fecher, Harald


[img]
Preview
PDF
DISS.pdf - Published

Download (928kB)

URL: http://ub-madoc.bib.uni-mannheim.de/74
URN: urn:nbn:de:bsz:180-madoc-746
Document Type: Doctoral dissertation
Year of publication: 2003
Publishing house: Universität Mannheim
Evaluator: Majster-Cederbaum, Mila
Date of oral examination: 7 July 2003
Publication language: English
Institution: School of Business Informatics and Mathematics > Praktische Informatik II (Majster-Cederbaum Em)
Subject: 004 Computer science, internet
Classification: CCS: F.3.2 ,
Subject headings (SWD): Nebenläufigkeit , Auswahl , Verfeinerung , Reaktives System , Vollständige Halbordnung , Äquivalenz , Kongruenz , Transitionssystem , Prozessalgebra ,
Individual keywords (German): Ereignisstrukturen , Termination , Aktionsverfeinerung
Keywords (English): event structures , termination , action refinement
Abstract: The choice operator is essential for the description of action-based reactive systems. If the atomicity of actions is dropped (e.g. by action refinement), one has to decide when the choice is triggered. The standard approach is to trigger the choice when actions start. This thesis examine the alternative approach that the choice is triggered when actions terminate. This end-based choice is motivated and a process algebra, which contains an end-based choice and an action refinement operator, is established. Consistent semantics (operational, denotational, axiomatical) are given. Furthermore, the difference between the start-based and the end-based choice are examined, in particular with respect to equivalence notions. New equivalence are established, since the standard equivalences are not preserved by the end-based action refinement operator.
Translation of the title: Aktionsverfeinerung in end-basierten Auswahl-Systemen (German)
Translation of the abstract: Der Auswahloperator ist ein wichtiges Element in der Beschreibung von aktionsbasierten, reaktiven Systemen. Wenn man den Ansatz der Atomarität von Aktion aufgibt, zum Beispiel durch Aktionsverfeinerung, muss man festlegen, wann die Auswahl getroffen wird. In der Regel wird die Auswahl beim Starten von Aktionen getroffen. Diese Doktorarbeit beschäftigte sich mit dem alternativen Ansatz, der darin besteht, dass die Auswahl beim Beenden von Aktionen getroffen wird (end-basierte Auswahl). Diese Sichtweise wird motiviert. Desweiteren wird eine Prozess-Algebra entwickelt, die einen end-basierten Auswahloperator und einen Aktionsverfeinerungsoperator besitzt. Konsistente Semantiken (denotationale, operationale und axiomatische) für diese Prozess-Algebra werden angegeben. Weiterhin wird der Unterschied zwischen dem end-basierten und dem start-basierten Auswahloperator herausgearbeitet, z.B. bezüglich der Äquivalenzbegriffe. Weiterhin werden auch neue Äquivalenzen eingeführt, da die herkömlichen nicht durch den end-basierten Aktionsverfeinerungsoperator erhalten bleiben. (German)
Additional information:

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




+ Citation Example and Export

Fecher, Harald (2003) Action Refinement in End-Based Choice Settings. Open Access [Doctoral dissertation]
[img]
Preview


+ 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