<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Denker, G.</style></author><author><style face="normal" font="default" size="100%">Ehrich, H.-D.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An Event-Based Semantics for Transactions</style></title><secondary-title><style face="normal" font="default" size="100%">Proc1 Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1995</style></year></dates><publisher><style face="normal" font="default" size="100%">Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique</style></publisher><pages><style face="normal" font="default" size="100%">57-72</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">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.</style></abstract><label><style face="normal" font="default" size="100%">DE95</style></label></record></records></xml>