Modularity and Composition in Propositional Statecharts

Deriving agent-centred representations of protocols described using propositional statecharts

“…They are relatively easy to understand, as the reader only has to follow a single sequential process, and they also provide an explicit representation of the possible states of the interaction as a whole. Examples of joint representations can be found in [3], [4], and [5]. Joint protocol representations are often less cluttered than agent-centred representations as they are not required to represent each agent or role separately.…”

“…Here we present a means of deriving agent centred protocol representations from joint representations using the Propositional Statechart formalism described in [3] and [4] by means of three examples, each subject to different assumptions as to whether messages are broadcast, and whether the communication medium is reliable. We also show how agent-centred protocol descriptions can incorporate an explicit diagrammatic representation of the communication medium in order to model protocols designed to work effectively with specific communication media.…”

Diagramming Multi-Level Service-Oriented Enterprise Architecture

“…Schulze et al define hierarchical layout that handles constraints on the placement of ports and nested models [18,19]. Dunn-Davies sketches a compositional layout for the state machine diagram [20]. As for commercial enterprise modeling tools, Enterprise Architect 1 and Mega 2 are among the best known spinoffs.…”