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

17 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

Specification languages
Data structures
Network protocols
Testing
Object-oriented databases
Modeling languages

Cite this

de By, R. A., Even, S. J., & Verkoulen, P. A. C. (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) (pp. 116-121). Los Alamitos, CA: IEEE Computer Society. https://doi.org/10.1109/RIDE.1995.378737
de By, Rolf A. ; Even, Susan J. ; Verkoulen, Peter A.C. / Functionally Specified Distributed Transactions in Co-operative Scenarios. 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. pp. 116-121
@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 = "3",
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",

}

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, Province of China, 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 proceedingConference contributionAcademicpeer-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.

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

ER -

de By RA, Even SJ, Verkoulen PAC. 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). Los Alamitos, CA: IEEE Computer Society. 1995. p. 116-121 https://doi.org/10.1109/RIDE.1995.378737