23,095 Hits in 5.4 sec

An extensible framework for the development of coordinated applications [chapter]

Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
1996 Lecture Notes in Computer Science  
On the other hand, the separation of computation and coordination models definitely simplifies the design of a programming environment for distributed applications.  ...  Such an approach is based on the idea of reactive communication abstractions, which can be programmed by agents according to a specification language which is rooted in the same model as the coordination  ...  Conclusions In this work we have presented a framework for multi-agent system programming, based on the logic tuple space abstraction, which provides a notion of event reaction to tuple space operations  ... 
doi:10.1007/3-540-61052-9_53 fatcat:4qh44foe5ng7xcpbkjhwthr5yu

Locality based Linda: Programming with explicit localities [chapter]

Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
1997 Lecture Notes in Computer Science  
We consider multiple tuple spaces that are distributed over a collections of sites and use localities to distribute/retrieve tuples and processes over/from these sites.  ...  In this paper we investigate the issue of defining a programming calculus which supports programming with explicit localities.  ...  Acknowledgments We are grateful to Luca Cardelli for stimulating discussions about global programming.  ... 
doi:10.1007/bfb0030636 fatcat:agdql24fijb63nv2gayh2keqha

Software Architecture for Mobile Computing [chapter]

Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
2003 Lecture Notes in Computer Science  
Louis > 39 LIME: Linda in a Mobile Environment ♦ Maintain simple DSM programming model ♦ LIME = Linda + ♦ Transiently Shared Tuple SpacesTuple Location ♦ Reactions ♦ System Configuration  ...  tuple space are separated as if each mobile agent were alone ♦ Separate federated tuple spaces are computed based on the system configuration after disconnection ♦ In practice, all the tuples are  ...  ♦ Degree of atomicity ♦ Strikes in when determining the semantics of operations, and their relationship to sharing ♦ Determines the extent to which one can treat the GVDS as a "local" data structure ♦  ... 
doi:10.1007/978-3-540-39800-4_9 fatcat:g7uiakrkofetxbjzilds54jiey

Decentralized Coordination in Self-Organizing Systems based on Peer-to-Peer Coordination Spaces

Thomas Preisler, Ante Vilenica, Wolfgang Renz
2013 Electronic Communications of the EASST  
This paper extends the approach by a distribution concept for coordination spaces.  ...  Coordination Spaces are part of the agent environment and handle a declarative description of the coordination process.  ...  Acknowledgements: We would like to thank the Deutsche Forschungsgemeinschaft (DFG) for supporting this work in a project on "Self-organisation based on decentralized Coordination in Distributed Systems  ... 
doi:10.14279/tuj.eceasst.56.808 dblp:journals/eceasst/PreislerVR13 fatcat:fn45crqysjgcjn5l6avqeck33m

X-Klaim and Klava

Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
2002 Electronical Notes in Theoretical Computer Science  
multiple tuple spaces and mobile code.  ...  Highly distributed networks have now become a common infrastructure for a new kind of wide-area distributed applications whose key design principle is network awareness, namely the ability to deal with  ...  In Linda there is only one global shared tuple space; Klaim extends Linda by handling multiple distributed tuple spaces. Tuple spaces are placed on nodes (or sites), which are part of a net.  ... 
doi:10.1016/s1571-0661(04)00317-2 fatcat:tuqscvipabhovlrikzkl6qoeim

Coordination in Situated Systems: Engineering MAS Environment in TuCSoN [chapter]

Stefano Mariani, Andrea Omicini
2014 Lecture Notes in Computer Science  
be used to deal with both social and situated dependencies Till now, coordination artefacts have been mostly devoted to handle social interaction-however, as a form of environment-based coordination [  ...  systems (MAS) [Omicini et al., 2008] Environment too is an essential abstraction for MAS modelling and engineering [Weyns et al., 2007] This means that in MAS things happen not just as a result of agent  ...  TuCSoN [Omicini and Zambonelli, 1999 ] is a tuple-based coordination model [Gelernter and Carriero, 1992] for open, distributed MAS, providing ReSpecT tuple centres [Omicini and Denti, 2001 ] as its  ... 
doi:10.1007/978-3-319-11692-1_9 fatcat:wqkzjbz6sbfb5jokb5bu5sd7yq

From Process Calculi to Klaim and Back

Rocco De Nicola
2006 Electronical Notes in Theoretical Computer Science  
On the one hand we have evolved Klaim to a full-fledged language for distributed mobile programming.  ...  programming.  ...  Linda is a coordination language that relies on an asynchronous and associative communication mechanism based on a shared global environment called tuple space, a multiset of tuples.  ... 
doi:10.1016/j.entcs.2005.12.110 fatcat:s42k5ijyabdztgj6qqn5oinyym

An Immediate Messaging-based Multi-agent System using Linda Coordination Model

Sushil KumarGangwar, Ritu Sindhu
2013 International Journal of Computer Applications  
In this review paper I used a new approach for immediate messaging based Multi-agents using Linda like Coordination model. By this we have avoid the limitation of time and space.  ...  General Terms Trying to increase the efficiency of space and time, to be more specific, spatially uncoupled and temporally uncoupled conditions, for immediate messaging based on multi-agents using Linda  ...  With few exceptions, Linda programs written for one environment run without change on another. Linda is easy to use.  ... 
doi:10.5120/12468-8847 fatcat:ukdzjgfiqbhelntum2n36cdqv4

Tuple Space Middleware for Wireless Networks [chapter]

Paolo Costa, Luca Mottola, Amy L. Murphy, Gian Pietro Picco
2009 Middleware for Network Eccentric and Mobile Applications  
The fact that only a small set of operations is necessary to manipulate the tuple space, and therefore to enable distributed component interaction, is per se a nice characteristic of the model.  ...  If multiple tuples match a template, the one returned by in is selected non-deterministically. Tuples can also be read from the tuple space using the non-destructive rd(p) operation.  ...  Later on, companies such as IBM proposed tuple spaces as a programming model for distributed computing.  ... 
doi:10.1007/978-3-540-89707-1_11 fatcat:skmhhzsrc5gefdzeh7gvsdax4y

Modelling global computations with KLAIM

R. De Nicola, M. Loreti
2008 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
KLAIM is an experimental language specifically designed to programme distributed systems consisting of several mobile components that interact through multiple distributed tuple spaces.  ...  It aims at defining new models of computation based on code and data mobility over wide-area networks with highly dynamic topologies, and at providing infrastructures to support coordination and control  ...  The LINDA communication model was originally proposed for parallel programming on isolated machines. Multiple, possibly distributed, tuple spaces have been advocated later (e.g.  ... 
doi:10.1098/rsta.2008.0148 pmid:18672449 fatcat:7lfgem3bgvaivatiyz644snc5u

Ambient computing applications: an experience with the SPREAD approach

P. Couderc, M. Banatre
2003 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the  
Unlike many approaches which hides too much of the real-world behind traditional computing abstraction, SPREAD defines programming abstraction based on the properties of the physical space.  ...  One of the first innovative concept of ubiquitous computing, context-awareness, is still hard to use and understand from a programming perspective.  ...  But spatial databases are logical approaches: they build a logical representation of the physical space, unlike our model of spatial programming which relies implicitly on the physical space.  ... 
doi:10.1109/hicss.2003.1174830 dblp:conf/hicss/CoudercB03 fatcat:366jwlspvvg7bboecseqejqcpi

Coordination in the ImpUNITY framework

H.J.M. Goeman, J.N. Kok, K. Sere, R.T. Udink
1998 Science of Computer Programming  
Our main interest in this paper is to investigate how we can combine different systems and languages via a shared tuple space. The languages themselves can be for example standard im-Science B.V.  ...  In contrast to UNITY the Swarm programs terminate when the transaction space is empty. The Gamma language [3, 4] is based on a multiset of actions that work on a shared tuple space.  ...  Hence there are no imported nor exported procedures, and there are no restrictions on the environment. The logic of UNITY is based on properties of programs.  ... 
doi:10.1016/s0167-6423(97)00025-7 fatcat:eypq7cw2jff4pdd37rlfjzmroy

Context-Dependency in Internet-Agent Coordination [chapter]

Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
2000 Lecture Notes in Computer Science  
On the one hand, interaction spaces associated to different execution environments may be independently programmed so as to lead to differentiated, environment-dependent, behaviors.  ...  First, it suggests the exploitation of an infrastructure based on a multiplicity of local interaction spaces.  ...  Therefore, on the one hand an agent can perceive a tuple space as if it were homogeneous to its expectations; on the other hand, the environment is not forced to change its tuple-based representation of  ... 
doi:10.1007/3-540-44539-0_4 fatcat:lynf5pjkhjgh3dthkbn4hcjp6a

Coordination models, languages and architectures

Paolo Ciancarini, Roberto Gorrieri
1998 Science of Computer Programming  
Coovdinution languages are a new class of programming languages which offer a solution to the problem of managing the interaction among distributed and concurrent programs.  ...  About coordination The diffusion of multiprocessors and network technology with increasing bandwidth has fuelled the development of distributed computing and concurrent programming.  ...  The logic is supported by a theorem proving environment based on the Larch prover. Structured Gamma, by P. Fradet and D.  ... 
doi:10.1016/s0167-6423(97)00019-1 fatcat:ogrlhieshzgjzizlancte3i3jm

Towards a Mathematical Foundation for Service-Oriented Applications Design

Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio Marchese
2006 Journal of Software  
However, to achieve this goal a solid software design methodology should be grounded on proper mathematical foundations, specific service-oriented principles, concepts and patterns.  ...  This paper contributes to the above goal proposing a lightweight, but complete, mathematical framework capable of capturing the essential components of service-oriented programming paradigm.  ...  T A = ,T A = M A , ψ = , and use tuple space of another application (including interface of that application) called base application.  ... 
doi:10.4304/jsw.1.1.32-39 fatcat:7iuwbaelp5ge7csvulyesgexwq
« Previous Showing results 1 — 15 out of 23,095 results