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