Although many research efforts have been spent on the theory and implementation of data-based coordination languages, not much effort has been devoted to constructing programming environments to analyze and re...
Coordination languages have classically been divided into control-based coordination languages, on the one hand, and data-based coordination languages, on the other hand. The great majority of work on coordina...
Building upon previous work by the authors, this paper reviews and proposes extensions of Linda-like languages aiming at coordinating data-intensive distributed systems. The languages manipulate tokens associa...
19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Business process management systems aim at ensuring an efficient chaining of the tasks composing a business process. Their activity relies on process models representing sets of business scenarios. Unfortunate...
In the realm of coordination languages, reactivity by means of blackboard rules has been used in order to increase the dynamic behavior of data-spaces by enriching them with programmable capabilities. In real-...
Coordination languages have been proved very suitable for modeling and programming service-oriented applications. In particular, those based on tuple spaces offer an elegant way of making different components ...
When it comes to tax duties, Belgian fiscal authorities never forget a citizen. Not only that his revenues, whatever they are, are taxed along all his life but, when he dies, an important part of his assets is...
Hydrogenated microcrystalline silicon (μc-Si:H) solar cells are made using modified veryhigh-frequency (MVHF) glow discharge at deposition rates ∼3–5 Å/s. We find that the solar cells made under certain condit...
Building upon previous work on timed coordination languages, this paper presents a novel notion of refinement for these languages which satisfies the substitutability property: if the implementation I refines the...
Reducing mechanical friction losses in engine components is a never-ending challenge for engine designers. Studies indicate that friction loss comprises the major percentage of the energy consumption generated...
This paper describescoordination relations, that are relations that induce the presence or absence of data on some dataspaces from the presence or absence of other data on other dataspaces.
We present a language Scc for a specification of the direct exchange and/or the global sharing of information in multi-agent systems. Scc is based on concurrent constraint programming paradigm which we modify ...
A number of different coordination models for specifying inter-process communication and synchronisation rely on a notion of shared dataspace. Many of these models are extensions of the Linda coordination mode...
The paper proposes a theoretical study of coordination languages. A language that embodies the essential features of coordination languages is considered. The language includes Linda's asynchronous communicati...
Concurrent constraint programming is classically based on asynchronous communication via a shared store. This paper presents new version of the ask and tell primitives which features synchronicity. Our approac...
We present a general methodology for transforming between HCLP and PCSP in both directions. HCLP and PCSP each have advantages when modelling problems, and each have advantages when implementing models and sol...
Modern computing is characterized, among others, by two major facts. On the one hand, methods are needed to master the ever growing complexity of information systems. On the other hand, distributed and open sy...
The PPL framework is proposed as a simple extension to logic programming aiming at handling resources. It is argued that the separation between logical treatments and resource handling is desirable and, to that e...