Roman, A. (2017) Relating Specifications of Compensations and Dynamic Update. Bachelor's Thesis, Computing Science.
|
Text
Thesis.pdf - Published Version Download (233kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
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: | https://fse.studenttheses.ub.rug.nl/id/eprint/16438 |
Actions (login required)
 |
View Item |