Functionally Specified Distributed Transactions in Co-operative Scenarios

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

doi:10.1109/RIDE.1995.378737

Functionally Specified Distributed Transactions in Co-operative Scenarios

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

Databases (Former)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

38 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 language	English
Title of host publication	Proceedings of the 5th International Workshop on Research Issues in Data Engineering - Distributed Object Management (RIDE-DOM '95)
Place of Publication	Los Alamitos, CA
Publisher	IEEE Computer Society
Pages	116-121
Number of pages	6
ISBN (Print)	0-8186-7056-8
DOIs	https://doi.org/10.1109/RIDE.1995.378737
Publication status	Published - Mar 1995
Event	5th International Workshop on Research Issues in Data Engineering, Distributed Object Management, RIDE-DOM 1995 - Taipei, Taiwan Duration: 6 Mar 1995 → 7 Mar 1995 Conference number: 5

Workshop

Workshop	5th International Workshop on Research Issues in Data Engineering, Distributed Object Management, RIDE-DOM 1995
Abbreviated title	RIDE-DOM
Country/Territory	Taiwan
City	Taipei
Period	6/03/95 → 7/03/95

Access to Document

10.1109/RIDE.1995.378737

DeBy1995functionallyFinal published version, 599 KB

Cite this

@inproceedings{b542554b20b34995b08d9baaa88c7536,

title = "Functionally Specified Distributed Transactions in Co-operative Scenarios",

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.",

author = "{de By}, {Rolf A.} and Even, {Susan J.} and Verkoulen, {Peter A.C.}",

year = "1995",

month = mar,

doi = "10.1109/RIDE.1995.378737",

language = "English",

isbn = "0-8186-7056-8",

pages = "116--121",

booktitle = "Proceedings of the 5th International Workshop on Research Issues in Data Engineering - Distributed Object Management (RIDE-DOM '95)",

publisher = "IEEE Computer Society",

address = "United States",

note = "5th International Workshop on Research Issues in Data Engineering, Distributed Object Management, RIDE-DOM 1995, RIDE-DOM ; Conference date: 06-03-1995 Through 07-03-1995",

}

de By, RA, Even, SJ & Verkoulen, PAC 1995, Functionally Specified Distributed Transactions in Co-operative Scenarios. in Proceedings of the 5th International Workshop on Research Issues in Data Engineering - Distributed Object Management (RIDE-DOM '95). IEEE Computer Society, Los Alamitos, CA, pp. 116-121, 5th International Workshop on Research Issues in Data Engineering, Distributed Object Management, RIDE-DOM 1995, Taipei, Taiwan, 6/03/95. https://doi.org/10.1109/RIDE.1995.378737

Functionally Specified Distributed Transactions in Co-operative Scenarios. / de By, Rolf A.; Even, Susan J.; Verkoulen, Peter A.C.

Proceedings of the 5th International Workshop on Research Issues in Data Engineering - Distributed Object Management (RIDE-DOM '95). Los Alamitos, CA : IEEE Computer Society, 1995. p. 116-121.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Functionally Specified Distributed Transactions in Co-operative Scenarios

AU - de By, Rolf A.

AU - Even, Susan J.

AU - Verkoulen, Peter A.C.

N1 - Conference code: 5

PY - 1995/3

Y1 - 1995/3

N2 - 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.

AB - 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.

U2 - 10.1109/RIDE.1995.378737

DO - 10.1109/RIDE.1995.378737

M3 - Conference contribution

SN - 0-8186-7056-8

SP - 116

EP - 121

BT - Proceedings of the 5th International Workshop on Research Issues in Data Engineering - Distributed Object Management (RIDE-DOM '95)

PB - IEEE Computer Society

CY - Los Alamitos, CA

T2 - 5th International Workshop on Research Issues in Data Engineering, Distributed Object Management, RIDE-DOM 1995

Y2 - 6 March 1995 through 7 March 1995

ER -

Functionally Specified Distributed Transactions in Co-operative Scenarios

Abstract

Workshop

Access to Document

Fingerprint

Cite this