We address the problem of specifring co-operative, distributed transactions in a manner that can be subject to verspecification language requirements for this field. Preliminary work was described in 171. The goals that we have in mind in performins this work are the following: ification and testing. Our approach combines the processalgebraic language LOTOS and the object-oriented database modelling language TM to obtain a clear and f o m l protocol for distributed database transactions meant to describe co-operation scenarios. We argue that a separation of concerns, namely interaction of database applications on the one hand and data modelling on the other hand, results in a practical, modular approach that is f o m l l y wellfounded. An advantage of this is that we may vary over transaction models to support the language combination.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.