Toggle Main Menu Toggle Search

Open Access padlockePrints

Transaction Support for Ada

Lookup NU author(s): Professor Alexander RomanovskyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented. Then the design of the framework is given. Applications from many different domains can benefit from using transactions; it is therefore important to provide means to customize the framework depending on the application requirements. This flexibility is achieved by using design patterns. Class hierarchies with classes implementing standard transactional behavior are provided, but a programmer is free to extend the hierarchies by implementing application-specific functionalities. An interface for Ada programmers is presented and its use demonstrated via a simple example.

Publication metadata

Author(s): Kienzle J, Jimenez-Peris R, Romanovsky A, Patino-Martinez M

Editor(s): Craeynest, D., Strohmeier, A.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 6th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe)

Year of Conference: 2001

Pages: 290-304

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag


DOI: 10.1007/3-540-45136-6_23

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540421238