Rights statement: International Foundation for Autonomous Agents and Multiagent Systems Richland, SC ©2019
Accepted author manuscript, 732 KB, PDF document
Available under license: CC BY-NC: Creative Commons Attribution-NonCommercial 4.0 International License
Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
TY - GEN
T1 - Supple
T2 - Multiagent Communication Protocols with Causal Types
AU - Günay, Akin
AU - Chopra, Amit K.
AU - Singh, Munindar P.
N1 - International Foundation for Autonomous Agents and Multiagent Systems Richland, SC ©2019
PY - 2019/5/13
Y1 - 2019/5/13
N2 - A (communication) protocol captures how agents collaborate by specifying the messages they exchange. In particular, since the information content of messages characterizes the interactions a protocol specifies, message types can improve collaboration by strengthening the specification of what each agent may legitimately expect from another agent. In addition, in implementations, typing information can enable improved verification of agents. We introduce Supple, a protocol specification language that expresses message schemas with typed parameters. Supple enables definition of causal types for parameters that constrain how other parameters are computed in a protocol enactment. We give the formal semantics of Supple; characterize the liveness and safety of Supple specifications; and provide decision procedures for them.
AB - A (communication) protocol captures how agents collaborate by specifying the messages they exchange. In particular, since the information content of messages characterizes the interactions a protocol specifies, message types can improve collaboration by strengthening the specification of what each agent may legitimately expect from another agent. In addition, in implementations, typing information can enable improved verification of agents. We introduce Supple, a protocol specification language that expresses message schemas with typed parameters. Supple enables definition of causal types for parameters that constrain how other parameters are computed in a protocol enactment. We give the formal semantics of Supple; characterize the liveness and safety of Supple specifications; and provide decision procedures for them.
M3 - Conference contribution/Paper
SN - 9781450363099
SP - 781
EP - 789
BT - AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems
PB - IFAAMAS
CY - Richland, SC
ER -