Functionally Specified Distributed Transactions in Co-operative Scenarios


Share/Save/Bookmark

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
[img]
Preview
PDF
613kB
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:http://purl.utwente.nl/publications/19325
Official URL:http://dx.doi.org/10.1109/RIDE.1995.378737
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 119848