K. De Bosschere and J.-M. Jacquet. Log: Towards remote coordination. In P. Ciancarini and C. Hankin, editors, Proc. of Coordination'96, Cesena, Italy, April 1996.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....systems that consist of loosely coupled asynchronous long running services, like work flow systems. These systems are conveniently modeled as multiple data spaces interacting via remote writings. The multiple data spaces paradigm is widely regarded as interesting for coordination applications [4, 8, 10]. Brogi and Jacquet [5] argue convincingly for the relevance of asynchronous communications. Still, there is a lack of satisfactory design and analysis techniques for these systems. We introduce Oikos adtl, a specification language for distributed systems based on asynchronous communication via ....

K. De Bosschere and J.-M. Jacquet. 2 Log: Towards Remote Coordination. In P. Ciancarini and C. Hankin, editors, Proc. Coordination Languages and Models, First International Conference, COORDINATION 96, volume 1061 of Lecture Notes in Computer Science, pages 142--159, Cesena, April 1996. Springer-Verlag.

....systems that consist of loosely coupled asynchronous long running services, like work flow systems. These systems are conveniently modeled as multiple data spaces interacting via remote writings. The multiple data spaces paradigm is widely regarded as interesting for coordination applications [4, 8, 10]. Brogi and Jacquet [5] argue convincingly for the relevance of asynchronous communications. Still, there is a lack of satisfactory design and analysis techniques for these systems. We introduce Oikos adtl, a specification language for distributed systems based on asynchronous communication via ....

....be distributed: a notable exception is needs, which can be used only locally. Indeed, for needs to hold, the event and its enabling condition must be synchronous, and this notion is defined only locally in an asynchronous world. Components interact via remote writings, as in multiple tuple spaces [4, 8, 10]. They are denoted in Oikos adtl by expressions like n : q m, meaning that component n has caused condition q to be established in component m. Remote writings introduce temporal ordering among the states of different components. Table 1. Oikos adtl syntax. F : M : Local fi fi Distr with M ....

K. De Bosschere and J.-M. Jacquet. 2 Log: Towards Remote Coordination. In P. Ciancarini and C. Hankin, editors, Proc. Coordination Languages and Models, First International Conference, COORDINATION 96, volume 1061 of Lecture Notes in Computer Science, pages 142--159, Cesena, April 1996. Springer-Verlag.

....issues In order to argue the feasibility of the D, R, W and I families of languages, let us now sketch how they can be implemented. This section actually reports on a prototype under development. It builds upon previous work made in order to implement the L family of languages (see e.g. [13]) 5.1 Implementation of the Linda primitives The implementation of the Linda primitives has been done by using the threads library of Solaris. The tuple space is implemented as a token indexed list. Per list element (token) we keep track of the number of identical tokens (token counter) and ....

K. de Bosschere and J.-M. Jacquet.  2 Log : Towards Remote Coordination. In P. Ciancarini and C. Hankin, editors, Proceedings of the Coordination Conference, volume 1061 of Lecture Notes in Computer Science, pages 142-159. SpringerVerlag, April 1996.

....have been introduced in [8] in the aim of providing processes with private memories and of allowing communication to take place locally instead of globally. Moreover, conditional primitives have been proposed in order to select data in a finer way. A distributed version has been presented in [9]. There, among others, aliases have been proposed to link virtual blackboards to real blackboards to which they point. This form of indirection is very desirable for dynamic systems since, for such systems, it is quite difficult to track the exact location of a particular blackboard. It also ....

....and conditional primitives of [8] We shall of course be quite concise and refer the reader to the above references for more information. Moreover, distribution issues are orthogonal to the goals of this paper and thus will not be treated here. They can be easily integrated following the lines of [9]. 2.1 Basic Concepts There are three major ideas behind the design of the core of Log. Pure communication via a shared data space. The first one, inspired from Linda ( 11] consists of regarding a computation as a set of processes floating around and acting on a shared space of data. The ....

[Article contains additional citation context not shown here]

K. de Bosschere and J.-M. Jacquet. ¯ 2 log : Towards remote coordination. In P. Ciancarini and C. Hankin, editors, Proceedings of the Coordination Conference, volume 1061 of Lecture Notes in Computer Science, pages 142--159. SpringerVerlag, April 1996.

No context found.

K. De Bosschere and J.-M. Jacquet. Log: Towards remote coordination. In P. Ciancarini and C. Hankin, editors, Proc. of Coordination'96, Cesena, Italy, April 1996.

No context found.

De Bosschere, K. and Jacquet, J.-M. 1996a. \ log: Towards Remote Coordination ", In 1st Int. Conf. on Coordination Models, Languages and Applications (Coordination'96), P. Ciancarini and C. Hankin (eds.), Cesena, Italy, LNCS 1061, Springer-Verlag, April, pp.142-159.

No context found.

De Bosschere, K. and Jacquet, J.-M. 1996a. \ log: Towards Remote Coordination ", In 1st Int. Conf. on Coordination Models, Languages and Applications (Coordination'96), P. Ciancarini and C. Hankin (eds.), Cesena, Italy, LNCS 1061, Springer-Verlag, April, pp.142-159.

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