| H. Wachter and A. Reuter. The contract model. Technical Report 8/91, Univ. of Stuttgart, 1991. |
....are specified using a context free grammar) such restrictions can be difficult to specify correctly when the number of transactions is large and or the dependencies between steps complex. By contrast, in our approach the job of determining correct interleavings is left to the system. ConTracts [36] [30] can be thought of as Sagas in which a partial order of steps is specified in a control flow language. Compensating steps are used to deal with the committed steps of an aborted ConTract and serializability is not guaranteed. Semantics are introduced in the model by including entry and exit ....
H. Wachter and A. Reuter. The contract model. Technical Report 8/91, Univ. of Stuttgart, 1991.
....services or informations might be located by specialised application servers, e.g. using trader based organisations [MML94, MB92] However, the approaches still remain rather centralised and will need a flexible integration of the servers within an overall, open information infrastructure. WAVE [Sap87, Sap88, Sap90, Sap91, Sap92, Sap93] introduces a quite opposite and completely decentralised paradigm, based on a complete program mobility. It can be applied to arbitrary open, heterogeneous and unknown network environments and is able to solve problems in parallel, without any need for centralised control or information. The WAVE ....
P. S. Sapaty. The WAVE paradigm. Technical Report 17/92, Dept. of Informatics, Univ. of Karlsruhe, Germany, July 1992. Also published in Proc. Post-Conference Joint Workshop on Distributed and Parallel Implementations of Logic Programming Systems, JICSLP'92, pages 106-148, Washington, D. C., Nov. 13-14, 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC