%0 Journal Article %1 dunn-davies_05_propositional %A Hywel, %A Cunningham, R. J. %A Paurobally, S. %D 2005 %J Electronic Notes in Theoretical Computer Science %K 2005 agents statecharts %P 55--75 %R 10.1016/j.entcs.2005.02.020 %T Propositional Statecharts for Agent Interaction Protocols %U http://dx.doi.org/10.1016/j.entcs.2005.02.020 %V 134 %X 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.

@article{dunn-davies_05_propositional, abstract = {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.}, added-at = {2009-02-11T21:02:54.000+0100}, author = {Hywel and Cunningham, R. J. and Paurobally, S.}, biburl = {https://www.bibsonomy.org/bibtex/2a218b958bc103c92cfb2edf765d7c395/leonardo}, citeulike-article-id = {467276}, doi = {10.1016/j.entcs.2005.02.020}, interhash = {33f55a465e36e83f6c912fa42d4e751a}, intrahash = {a218b958bc103c92cfb2edf765d7c395}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {2005 agents statecharts}, month = {June}, pages = {55--75}, posted-at = {2006-01-17 16:37:52}, priority = {2}, timestamp = {2009-02-11T21:02:54.000+0100}, title = {Propositional Statecharts for Agent Interaction Protocols}, url = {http://dx.doi.org/10.1016/j.entcs.2005.02.020}, volume = 134, year = 2005 }