Modularity and composition in propositional statecharts

Authors:
H. R. Dunn-Davies;R. J. Cunningham;S. Paurobally
Affiliations:
Department of Computing, Imperial College, London, UK;Department of Computing, Imperial College, London, UK;Department of Computer Science, University of Liverpool, Liverpool, UK
Venue:
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Year:
2006

Citing 6
Cited 2

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Agent UML: a formalism for specifying multiagent software systems

First international workshop, AOSE 2000 on Agent-oriented software engineering
Refactoring UML Models

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
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
Mastering Regular Expressions

Mastering Regular Expressions
Propositional Statecharts for Agent Interaction Protocols

Electronic Notes in Theoretical Computer Science (ENTCS)

Deriving agent-centred representations of protocols described using propositional statecharts

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
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

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.