Functionally Specified Distributed Transactions in Co-operative Scenarios

Rolf A. de By, Susan J. Even, Peter A.C. Verkoulen

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

30 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationProceedings of the 5th International Workshop on Research Issues in Data Engineering - Distributed Object Management (RIDE-DOM '95)
Place of PublicationLos Alamitos, CA
PublisherIEEE Computer Society
Pages116-121
Number of pages6
ISBN (Print)0-8186-7056-8
DOIs
Publication statusPublished - Mar 1995
Event5th International Workshop on Research Issues in Data Engineering, Distributed Object Management, RIDE-DOM 1995 - Taipei, Taiwan, Province of China
Duration: 6 Mar 19957 Mar 1995
Conference number: 5

Workshop

Workshop5th International Workshop on Research Issues in Data Engineering, Distributed Object Management, RIDE-DOM 1995
Abbreviated titleRIDE-DOM
CountryTaiwan, Province of China
CityTaipei
Period6/03/957/03/95

Fingerprint Dive into the research topics of 'Functionally Specified Distributed Transactions in Co-operative Scenarios'. Together they form a unique fingerprint.

Cite this