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