A Petri-net-like model for multiplayer distributed negotiations

Javier Esparza

A Petri-net-like model for multiplayer distributed negotiations

Informatics 7 - Chair of Theoretical Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Many modern distributed systems consist of components whose behavior is only partially known. Typical examples include multi-agent systems, business processes, or protocols for conducting elections and auctions. An interaction between these components can be abstractly described as a negotiation in which several parties (the components involved in the negotiation) nondeterministically agree on an outcome, which results in a transformation of the internal states of the parties. In this talk we introduce negotiations, a formal model of concurrency close to Petri nets, with multiparty negotiation as primitive.

Original language	English
Title of host publication	Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014 and 12th International Workshop, WS-FM/BEAT 2015, Revised Selected Papers
Editors	Antonio Ravara, Thomas Hildebrandt, Matthias Weidlich, Jan Martijn van der Werf
Publisher	Springer Verlag
Pages	XV-XVI
ISBN (Print)	9783319336114
State	Published - 2016
Event	11th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2014 and 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM/BEAT 2015 - Madrid, Spain Duration: 4 Sep 2015 → 5 Sep 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9421
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2014 and 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM/BEAT 2015
Country/Territory	Spain
City	Madrid
Period	4/09/15 → 5/09/15

Cite this

Esparza, J. (2016). A Petri-net-like model for multiplayer distributed negotiations. In A. Ravara, T. Hildebrandt, M. Weidlich, & J. M. van der Werf (Eds.), Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014 and 12th International Workshop, WS-FM/BEAT 2015, Revised Selected Papers (pp. XV-XVI). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9421). Springer Verlag.

Esparza, Javier. / A Petri-net-like model for multiplayer distributed negotiations. Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014 and 12th International Workshop, WS-FM/BEAT 2015, Revised Selected Papers. editor / Antonio Ravara ; Thomas Hildebrandt ; Matthias Weidlich ; Jan Martijn van der Werf. Springer Verlag, 2016. pp. XV-XVI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4203ac821a6a4876b09a01a08acee741,

title = "A Petri-net-like model for multiplayer distributed negotiations",

abstract = "Many modern distributed systems consist of components whose behavior is only partially known. Typical examples include multi-agent systems, business processes, or protocols for conducting elections and auctions. An interaction between these components can be abstractly described as a negotiation in which several parties (the components involved in the negotiation) nondeterministically agree on an outcome, which results in a transformation of the internal states of the parties. In this talk we introduce negotiations, a formal model of concurrency close to Petri nets, with multiparty negotiation as primitive.",

author = "Javier Esparza",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 11th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2014 and 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM/BEAT 2015 ; Conference date: 04-09-2015 Through 05-09-2015",

year = "2016",

language = "English",

isbn = "9783319336114",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "XV--XVI",

editor = "Antonio Ravara and Thomas Hildebrandt and Matthias Weidlich and {van der Werf}, {Jan Martijn}",

booktitle = "Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014 and 12th International Workshop, WS-FM/BEAT 2015, Revised Selected Papers",

}

Esparza, J 2016, A Petri-net-like model for multiplayer distributed negotiations. in A Ravara, T Hildebrandt, M Weidlich & JM van der Werf (eds), Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014 and 12th International Workshop, WS-FM/BEAT 2015, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9421, Springer Verlag, pp. XV-XVI, 11th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2014 and 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM/BEAT 2015, Madrid, Spain, 4/09/15.

A Petri-net-like model for multiplayer distributed negotiations. / Esparza, Javier.
Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014 and 12th International Workshop, WS-FM/BEAT 2015, Revised Selected Papers. ed. / Antonio Ravara; Thomas Hildebrandt; Matthias Weidlich; Jan Martijn van der Werf. Springer Verlag, 2016. p. XV-XVI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9421).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A Petri-net-like model for multiplayer distributed negotiations

AU - Esparza, Javier

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2016.

PY - 2016

Y1 - 2016

N2 - Many modern distributed systems consist of components whose behavior is only partially known. Typical examples include multi-agent systems, business processes, or protocols for conducting elections and auctions. An interaction between these components can be abstractly described as a negotiation in which several parties (the components involved in the negotiation) nondeterministically agree on an outcome, which results in a transformation of the internal states of the parties. In this talk we introduce negotiations, a formal model of concurrency close to Petri nets, with multiparty negotiation as primitive.

AB - Many modern distributed systems consist of components whose behavior is only partially known. Typical examples include multi-agent systems, business processes, or protocols for conducting elections and auctions. An interaction between these components can be abstractly described as a negotiation in which several parties (the components involved in the negotiation) nondeterministically agree on an outcome, which results in a transformation of the internal states of the parties. In this talk we introduce negotiations, a formal model of concurrency close to Petri nets, with multiparty negotiation as primitive.

UR - http://www.scopus.com/inward/record.url?scp=84964744476&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84964744476

SN - 9783319336114

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - XV-XVI

BT - Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014 and 12th International Workshop, WS-FM/BEAT 2015, Revised Selected Papers

A2 - Ravara, Antonio

A2 - Hildebrandt, Thomas

A2 - Weidlich, Matthias

A2 - van der Werf, Jan Martijn

PB - Springer Verlag

T2 - 11th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2014 and 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM/BEAT 2015

Y2 - 4 September 2015 through 5 September 2015

ER -

Esparza J. A Petri-net-like model for multiplayer distributed negotiations. In Ravara A, Hildebrandt T, Weidlich M, van der Werf JM, editors, Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014 and 12th International Workshop, WS-FM/BEAT 2015, Revised Selected Papers. Springer Verlag. 2016. p. XV-XVI. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

A Petri-net-like model for multiplayer distributed negotiations

Abstract

Publication series

Conference

Other files and links

Fingerprint

Cite this