An Event-Based Semantics for Transactions

TitleAn Event-Based Semantics for Transactions
Publication TypeConference Paper
Year of Publication1995
Publicno
AuthorsDenker, G., and H. - D. Ehrich
Conference NameProc. Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995
PublisherUniversite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique
Abstract

In this paper we investigate the notion of transaction in object-oriented specification. Transactions are a suitable concept to cover different aspects that arise in a variety of contexts. For example, in refinement theory a transaction may be understood as the refinement of actions, in database theory it may be understood as an abstraction from sequences of statements, or in business process modelling it may occur as a complex process with a predefined execution order. Thus, there is a wide application area for such a notion.