Functionally Specified Distributed Transactions in Co-operative Scenarios

By de, Rolf A. 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.

Preview

PDF
599Kb

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:	Information Systems (IS) Databases (DB)
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

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 119848