Deriving agent-centred representations of protocols described using propositional statecharts

Authors:
Hywel Dunn-Davies;Jim Cunningham
Affiliations:
Imperial College London, London, UK;Imperial College London, London, UK
Venue:
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Year:
2007

Citing 6
Cited 1

Communicating sequential processes

Communicating sequential processes
Statecharts: A visual formalism for complex systems

Science of Computer Programming
Distributed Algorithms

Distributed Algorithms
Defining interaction protocols using a commitment-based agent communication language

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Propositional Statecharts for Agent Interaction Protocols

Electronic Notes in Theoretical Computer Science (ENTCS)
Modularity and composition in propositional statecharts

Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference

Verifying realizability and reachability in recursive interaction protocol specifications

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

Diagrammatic methodologies for the representation of agent interaction protocols can be classified as joint representations that describe an interaction in terms of a single sequential process, or agent-centred representations that provide a distinct description of the interaction protocol for each agent (or role) in the interaction. Here we discuss the process of deriving agent centred representations from joint representations and vice versa, using a variant of UML statecharts.