Filters








11,236 Hits in 4.5 sec

Negotiation as Concurrency Primitive [article]

Joerg Desel, Javier Esparza, Philipp Hoffmann
2016 arXiv   pre-print
This paper introduces negotiations, a model of concurrency close to Petri nets, with multi-party negotiations as concurrency primitive. We study two fundamental analysis problems.  ...  one-step negotiations.  ...  by studying formal models with atomic negotiation as concurrency primitive.  ... 
arXiv:1612.07912v1 fatcat:4q4jk6m4kbfnba5kjumiiuxzgm

On Negotiation as Concurrency Primitive [chapter]

Javier Esparza, Jörg Desel
2013 Lecture Notes in Computer Science  
We introduce negotiations, a model of concurrency close to Petri nets, with multiparty negotiation as primitive.  ...  We study the problems of soundness of negotiations and of, given a negotiation with possibly many steps, computing a summary, i.e., an equivalent one-step negotiation.  ...  However, these papers do not address the issue of negotiation as concurrency primitive.  ... 
doi:10.1007/978-3-642-40184-8_31 fatcat:3ze2iwh6m5gl3bbmognseaqib4

On Negotiation as Concurrency Primitive [article]

Javier Esparza, Joerg Desel
2013 arXiv   pre-print
We introduce negotiations, a model of concurrency close to Petri nets, with multiparty negotiation as primitive.  ...  We study the problems of soundness of negotiations and of, given a negotiation with possibly many steps, computing a summary, i.e., an equivalent one-step negotiation.  ...  However, these papers do not address the issue of negotiation as concurrency primitive.  ... 
arXiv:1307.2145v1 fatcat:s5l5otcgy5g77oig3z5pkh5pbq

On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations [article]

Javier Esparza, Jörg Desel
2016 arXiv   pre-print
We continue our study of negotations, a concurrency model with multiparty negotiation as primitive.  ...  In this paper we extend this result to all deterministic negotiations, including cyclic ones.  ...  However, it has not yet been studied from a concurrency-theoretic point of view. In [7] we have initiated a study of negotiation as communication primitive.  ... 
arXiv:1403.4958v2 fatcat:6u5ww5e3h5bfxkhjx5stuo4bai

On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations [chapter]

Javier Esparza, Jörg Desel
2014 Lecture Notes in Computer Science  
We continue our study of negotiations, a concurrency model with multi-party negotiation as primitive.  ...  In this paper we extend this result to all deterministic negotiations, including cyclic ones.  ...  Some works model the behaviour of a negotiation party using business process languages or Petri net, and model negotiation protocols as the concurrent composition of the parties [4, 18, 16] .  ... 
doi:10.1007/978-3-642-54830-7_17 fatcat:h4ooi3xh2vc7zbxw3xe6zwefwu

Using Single Function Agents for Design [chapter]

David C. Brown
1996 IFIP Advances in Information and Communication Technology  
We are concerned with the "primitives" of knowledge and reasoning.  ...  CONCLUSIONS Currently, the negotiation behavior of the agents (their strategies) is very primitive.  ...  Conflicts and Negotiation in Single Function Agent Based Design Systems. Concurrent Engineering: Research and Applications, Special issue, "Multiagent Systems in Concurrent Engineering", D. C.  ... 
doi:10.1007/978-0-387-34930-5_2 fatcat:m3eo7dguofhtdnnpkk6l3ebty4

A scalable approach to multi-agent resource acquisition and control

Nadeem Jamali, Xinghui Zhao
2005 Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems - AAMAS '05  
If a contract has been successfully negotiated, a client can relocate to the host using the migrate primitive as shown in Figure 2 .  ...  The negotiation is initiated by the facilitator actor of the cyberorg interested in migrating by a call of the negotiation primitive. • Negotiation: Contract negotiate(ActorName destFacilitatorActor) where  ... 
doi:10.1145/1082473.1082605 dblp:conf/atal/JamaliZ05 fatcat:bfhyqx7krvhxfbujx2ople2hy4

DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation [chapter]

Hugues Evrard
2016 Lecture Notes in Computer Science  
Formal methods can verify the correctness of a concurrent system by analyzing its model.  ...  In this paper, we present DLC (Distributed LNT Compiler ), a tool that automatically generates distributed implementation of concurrent systems modeled in the LNT language, which can be formally verified  ...  The LNT formal language combines a syntax close to mainstream programming languages with powerful concurrency primitives inherited from process algebras.  ... 
doi:10.1007/978-3-662-49674-9_34 fatcat:hqj4b4guz5fmrp6xxhwqf2pta4

MAINWAVE: Multi Agents and Issues Negotiation for Web using Alliance Virtual Engine [article]

Debajyoti Mukhopadhyay, Saurabh Deochake, Shashank Kanth, Subhadip Chakraborty, Suresh Sarode
2012 arXiv   pre-print
The concepts of multithreading and concurrency has been utilized to perform parallel execution.  ...  criteria such as the first come first serve or the relative priorities.  ...  Jennings in their paper for concurrent, bilateral negotiation [3] make use of the following message primitives: Offer (a proposal made by one agent to the other), Counter-offer (a revised proposal from  ... 
arXiv:1206.5884v1 fatcat:7znzffhbg5do7n3xzyf74fl3ay

HENRI

Saurabh Deochake, Suresh Sarode, Shashank Kanth, Vidyasagar Potdar, Subhadip Chakraborty, Debajyoti Mukhopadhyay
2012 Proceedings of the CUBE International Information Technology Conference on - CUBE '12  
It focuses on the negotiation protocol to be observed and provides a platform for concurrent and independent negotiation on individual issues using the concept of multi threading.  ...  This paper proposes a framework for a full fledged negotiation system that allows multi party multi issue negotiation.  ...  Jennings in their paper for concurrent, bilateral negotiation [3] make use of the following message primitives: Offer (a proposal made by one agent to the other), Counter-offer (a revised proposal from  ... 
doi:10.1145/2381716.2381840 dblp:conf/cube/DeochakeSKPCM12 fatcat:ioscjtwigvbgvfxvamzucutwde

Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes

Hugues Evrard, Frederic Lang
2015 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing  
primitives-into the distributed implementation -which often relies on low-level communication primitives.  ...  Experiments presented in this paper were carried out using the Grid'5000 testbed, supported by a scientific interest group hosted by Inria and including CNRS, RENATER and several Universities as well as  ...  The authors warmly thank Lucas Cimon for suggesting Raft as a case study, and the Inria/CONVECS team members, in particular Wendelin Serwe and Hubert Garavel, for useful discussions.  ... 
doi:10.1109/pdp.2015.96 dblp:conf/pdp/EvrardL15 fatcat:atyi6lwoxzeyhe7j6hsb7cmdya

DAI betwixt and between: from 'intelligent agents' to open systems science

C. Hewitt, J. Inman
1991 IEEE Transactions on Systems, Man and Cybernetics  
Actors are introduced as primitives of concurrency --computations consist of communications between actors, each of which has local information, and must communicate with other agents to access other information  ...  Conflict processing is done by forums, which provide all their information (mod individual filters) to all subscribers; these are used as arenas for negotiation.  ...  A forum is used as an arena for negotiation. The most common conflict results from unintended interactions in ongoing joint activities.  ... 
doi:10.1109/21.135685 fatcat:yjnsz726cfclpmihb5asopiyd4

MAINWAVE: Multi Agents and Issues Negotiation for Web using Alliance Virtual Engine

Debajyoti Mukhopadhyay
2012 The Smart Computing Review  
The concepts of multithreading and concurrency has been utilized to perform parallel execution.  ...  criteria such as the first come first serve or the relative priorities.  ...  Jennings in their paper for concurrent, bilateral negotiation [3] make use of the following message primitives: Offer (a proposal made by one agent to the other), Counter-offer (a revised proposal from  ... 
doi:10.6029/smartcr.2012.05.001 fatcat:hetxg2zmenc5njccwwf2v7q33q

Trust-serv

Halvard Skogsrud, Boualem Benatallah, Fabio Casati
2004 Proceedings of the 13th conference on World Wide Web - WWW '04  
as well as enabling scalable deployments.  ...  We introduce Trust-Serv, a model-driven trust negotiation framework for Web services.  ...  We detail these below: • Concurrent to completion. The negotiation in progress according to P.I is allowed to complete according to P.I.  ... 
doi:10.1145/988672.988680 dblp:conf/www/SkogsrudBC04 fatcat:eqdb5lxfk5bw7db7aa5srmldnm

An Agent Architecture for Concurrent Bilateral Negotiations [chapter]

Bedour Alrayes, Kostas Stathis
2014 Lecture Notes in Business Information Processing  
We present an architecture that makes use of symbolic decision-making to support agents participating in concurrent bilateral negotiations.  ...  Our work combines the specification of domain-independent decision-making with a new protocol for concurrent negotiation that revisits the well-known alternating offers protocol [22] .  ...  Concurrent Alternating Offers Protocol We study a practical concurrent negotiation setting where a buyer agent engages in multiple bilateral negotiations in order to acquire a good.  ... 
doi:10.1007/978-3-319-11364-7_8 fatcat:2csihjpo4zcu5jemz6hbldbv5q
« Previous Showing results 1 — 15 out of 11,236 results