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.

[img]
Preview
Text
Thesis.pdf - Published Version

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

Download (77kB)

Abstract

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
URI: http://fse.studenttheses.ub.rug.nl/id/eprint/16438

Actions (login required)

View Item View Item