Title | An Event-Based Semantics for Transactions |
Publication Type | Conference Paper |
Year of Publication | 1995 |
Public | no |
Authors | Denker, G., and H. - D. Ehrich |
Conference Name | Proc. Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995 |
Publisher | Universite 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. |