Functionally specified distributed transactions in co-operative scenarios
| Autor: | R.A. de By, P.A.C. Verkoulen, Susan Even |
|---|---|
| Přispěvatelé: | Databases (Former) |
| Jazyk: | angličtina |
| Rok vydání: | 1994 |
| Předmět: | |
| Zdroj: | Memoranda informatica. University of Twente ISSUE=72;ISSN=0924-3755;TITLE=Memoranda informatica Proceedings of the 5th International Workshop on Research Issues in Data Engineering-Distributed Object Management (RIDE-DOM '95), 116-121 STARTPAGE=116;ENDPAGE=121;TITLE=Proceedings of the 5th International Workshop on Research Issues in Data Engineering-Distributed Object Management (RIDE-DOM '95) RIDE-DOM |
| ISSN: | 0924-3755 |
| Popis: | 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. > |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|