Javascript must be enabled for the correct page display

Relating Specifications of Compensations and Dynamic Update

Roman, A. (2017) Relating Specifications of Compensations and Dynamic Update. Bachelor's Thesis, Computing Science.

Thesis.pdf - Published Version

Download (233kB) | Preview
[img] Text
toestemming.pdf - Other
Restricted to Backend only

Download (77kB)


The present paper is a report of the research done during the final project of the Computing Science bachelor. Triggered by recent results by the Fundamental Computing group, I investigated the formal principles of modern programming languages with characteristics such as failure handling, self-adaptation and dynamic update, which are essential in programming business-oriented and service-oriented systems in the modern world. The research done involved exploring a wide variety of design options related to system transactions and their associated compensation actions (the actions that should take place in case a transaction fails). Various models have been proposed to include compensations, based on different formal approaches and abstract languages.

Item Type: Thesis (Bachelor's Thesis)
Degree programme: Computing Science
Thesis type: Bachelor's Thesis
Language: English
Date Deposited: 15 Feb 2018 08:35
Last Modified: 15 Feb 2018 08:35

Actions (login required)

View Item View Item