Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces Langshaw, a novel declarative protocol language designed to address the limitations of existing multiagent protocol languages by incorporating constructs for priority and conflict management. By utilizing the sayso construct to define authority over attributes and the nono and nogo constructs to represent action conflicts, Langshaw achieves a balance between flexibility and clarity in protocol specification. The authors provide a formal semantics for Langshaw, along with procedures for assessing protocol safety and liveness, culminating in a method for generating message-oriented protocols that facilitate asynchronous coordination.
Langshaw redefines multiagent protocol specification by elegantly balancing flexibility and clarity, enabling robust conflict management and authority assignment.
Current languages for specifying multiagent protocols either over-constrain protocol enactments or complicate capturing their meanings. We propose Langshaw, a declarative protocol language based on (1) sayso, a new construct that captures who has priority over setting each attribute, and (2) nono and nogo, two constructs to capture conflicts between actions. Langshaw combines flexibility with an information model to express meaning. We give a formal semantics for Langshaw, procedures for determining the safety and liveness of a protocol, and a method to generate a message-oriented protocol (embedding needed coordination) suitable for flexible asynchronous enactment.