Castor and Pollux: A First Demonstration of a BSPL Protocol Discovery Tool

Matteo Baldoni, Cristina Baroglio, Roberto Micalizio

Keywords: BSPL protocols, Protocol discovery, CLIPS

Abstract:

Specifying interaction protocols for Multi-Agent Systems remains a challenging task, especially when adopting information-centric approaches such as BSPL, which require designers to anticipate message structures, parameter roles, and acceptable interleavings. To address this challenge, we propose a novel framework for discovering BSPL protocols rather than specifying them directly. Our approach is based on the intuition that a protocol can be derived from the combination of domain information and distribution control.

We introduce Castor, a declarative language that enables designers to model elementary pieces of information, their potential sources and recipients, and their aggregation into business-meaningful information chunks. On top of Castor, we present Pollux, an automated synthesis component that transforms Castor models into BSPL protocols. Pollux formulates protocol generation as a planning problem, where candidate messages are treated as actions and BSPL semantic constraints are enforced during the search. Ambiguities arising from alternative information sources are resolved through configurable heuristics, allowing the exploration of multiple safe and consistent protocol variants.

Together, Castor and Pollux support incremental, tool-assisted discovery of BSPL interaction protocols.

Paper Type: Regular paper

Demo: Yes, we would love to present a demo.

Email Sharing: We authorize the sharing of all author emails with Program Chairs.

Data Release: We authorize the release of our submission and author names to the public in the event of acceptance.

Submission Number: 20