Abstract
| 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 | |
| Publication status | Published - Mar 1995 |
| Event | 5th International Workshop on Research Issues in Data Engineering, Distributed Object Management, RIDE-DOM 1995 - Taipei, Taiwan, Province of China 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 | Taiwan, Province of China |
| City | Taipei |
| Period | 6/03/95 → 7/03/95 |
Fingerprint
Cite this
}
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.
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 -