Abstract
Propositional Statecharts, described in [3], are a variation of David Harel’s Statechart formalism [6] intended to enable both diagrammatic description of an agent interaction protocol, and interpretation as a theory in a dynamic logic. Here we provide an informal description of a diagrammatic extension to enable modular representation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bauer, B., Muller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: AOSE, pp. 91–104 (2000)
Cost, R., et al.: Modeling agent conversations with colored petri nets. In: Workshop on Specifying and Implementing Conversation Policies, pp. 59–66 (1999)
Dunn-Davies, H.R., Cunningham, R.J., Paurobally, S.: Propositional Statecharts for Agent Interaction Protocols. ENTCS, vol. 134, pp. 55–75 (2005)
Fornara, N., Colombetti, M.: Defining Interaction Protocols using a Commitment Based Agent Communication Language. In: Proceedings of AAMAS 2003 (2003)
Friedl, J.E.F.: Mastering Regular Expressions. O’Reilly, Sebastopol (2002)
Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Programming 8, 231–274 (1987)
Paurobally, S., Cunningham, R.J.: Verification of Protocols for Automated Negotiation. In: van Harmelen, F. (ed.) Proceedings of ECAI 2002, pp. 43–47. IOS Press, Amsterdam (2002)
Sunyé, G., et al.: Refactoring UML Models. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 134–148. Springer, Heidelberg (2001)
Vitteau, B., Huget, M.P.: Modularity in Interaction Protocols. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 291–309. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dunn-Davies, H.R., Cunningham, R.J., Paurobally, S. (2006). Modularity and Composition in Propositional Statecharts. In: Barker-Plummer, D., Cox, R., Swoboda, N. (eds) Diagrammatic Representation and Inference. Diagrams 2006. Lecture Notes in Computer Science(), vol 4045. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11783183_12
Download citation
DOI: https://doi.org/10.1007/11783183_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35623-3
Online ISBN: 978-3-540-35624-0
eBook Packages: Computer ScienceComputer Science (R0)