|
Action Refinement in End-Based Choice Settings
Fecher, Harald
|
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
|
|
The title of a journal, publication series:
|
None
|
|
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. |
 Search Authors in
You have found an error? Please let us know about your desired correction here: E-Mail
Actions (login required)
 |
Show item |
|
![[img]](https://madoc.bib.uni-mannheim.de/style/images/fileicons/application_pdf.png)