Deriving agent-centred representations of protocols described using propositional statecharts

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.