Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Representing agent interaction protocols in UML
First international workshop, AOSE 2000 on Agent-oriented software engineering
Distributed enactment of multiagent workflows: temporal logic for web service composition
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Design time analysis of multiagent protocols
Data & Knowledge Engineering
An executable specification of a formal argumentation protocol
Artificial Intelligence
Engineering Societies in the Agents World VIII
A modular action description language for protocol composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
On the enactability of business protocols
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Artificial Intelligence
On the verification of social commitments and time
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
ICWS '11 Proceedings of the 2011 IEEE International Conference on Web Services
| Hi-index | 0.00 |
Information-Based Interaction-Oriented Programming, specifically as epitomized by the Blindingly Simple Protocol Language (BSPL), is a promising new approach for declaratively expressing multiagent protocols. BSPL eschews traditional control flow operators and instead emphasizes causality and integrity based solely on the information models of the messages exchanged. BSPL has been shown to support a rich variety of practical protocols and can be realized in a distributed asynchronous architecture wherein the agents participating in a protocol act based on local knowledge alone. The flexibility and generality of BSPL mean that it needs a strong formal semantics to ensure correctness as well as automated tools to help develop protocol specifications. We provide a formal semantics for BSPL and formulate important technical properties, namely, enactability, safety, and liveness. We further describe our declarative implementation of the BSPL semantics as well as of verifiers for the above properties using a temporal reasoner. We have validated our implementation by verifying the correctness of several protocols of practical interest.