Relating Specifications of Compensations and Dynamic Update

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

Preview	Text Thesis.pdf - Published Version Download (233kB) | Preview
	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