Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
KQML as an agent communication language
Software agents
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Type-syntax and token-syntax in diagrammatic systems
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Natural Language Processing for PROLOG Programmers
Natural Language Processing for PROLOG Programmers
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Dynamic Logic
What Is a Conversation Policy?
Issues in Agent Communication
On Formalizing the UML Object Constraint Language OCL
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
An English Auction Protocol for Multi-attribute Items
AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
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
Ensuring consistency in the joint beliefs of interacting agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Deriving agent-centred representations of protocols described using propositional statecharts
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Modularity and composition in propositional statecharts
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Hi-index | 0.00 |
Current representations of interaction protocols either concentrate on ease of understanding and neglect the need to specify protocols unambiguously (e.g. [B. Bauer, J.P. Muller, J.Odell, Agent UML: A Formalism for Specifying Multiagent Software Systems, AOSE (2000) 91-104]), or concentrate on formal rigour and neglect usability issues (e.g. [S. Paurobally, Rational Agents and the Processes and States of Negotiation, Ph.D. thesis, Imperial College, London, 2002, N. Fornara, M. Colombetti, Defining Interaction Protocols using a Commitment Based Agent Communication Language, Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (2003)]). The on-going development of propositional statecharts has been motivated by the need to provide a notation which satisfies both of these requirements. Here we give a brief description of propositional statecharts, a restricted form of David Harel's state-chart formalism [D. Harel, Statecharts: A visual formalism for complex systems, Sci. Comput. Programming 8 (1987) 231-274] designed to represent agent interaction protocols. Statecharts are a popular extension of Euler Diagrams and are widely used as part of the UML framework. Propositional statecharts take advantage of the intuitive nature of the statechart formalism, and include labelling conventions to ensure that interaction protocols are defined unambiguously while remaining easy to understand.