Modularity and Composition in Propositional Statecharts

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.