Functionally Specified Distributed Transactions in Co-operative Scenarios


By, Rolf A. de and Even, Susan J. and Verkoulen, Peter A.C. (1995) Functionally Specified Distributed Transactions in Co-operative Scenarios. In: Fifth International Workshop on Research Issues in Data Engineering, Distributed Object Management,RIDE-DOM, 6-7 March 1995, Taipei, Taiwan (pp. pp. 116-121).

open access
Abstract:Addresses the problem of specifying co-operative, distributed transactions in a manner that can be subject to verification and testing. Our approach combines the process-algebraic language LOTOS and the object-oriented database modelling language TM to obtain a clear and formal protocol for distributed database transactions meant to describe co-operation scenarios. We argue that a separation of concerns, namely the interaction of database applications on the one hand and data modelling on the other, results in a practical, modular approach that is formally well-founded. An advantage of this is that we may vary over transaction models to support the language combination
Item Type:Conference or Workshop Item
Copyright:© 1995 IEEE
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 119848