Message sequence chart analyzer

G. J. Holzmann (Inventor), D. Peled (Inventor)

Research output: Patent


Apparatus and methods for editing message sequence charts and determining whether a message sequence chart is consistent with a semantic of the system which the message sequence chart represents. As an editor, the apparatus maintains an internal representation of the message sequence chart as a set of processes and events, displays an image of the message sequence chart, and modifies the internal representation in response to modifications of the image by the user. The internal representation can be used to produce further representations of the message sequence chart. One of the representations is an event list which lists send events and receive events in the message sequence chart in a visual order. The event list is used together with a semantic provided by the user of the apparatus to determine whether there is an inconsistency between the message sequence chart and the semantic.
Original languageAmerican English
Patent numberUS5812145 A
StatePublished - 1998


Dive into the research topics of 'Message sequence chart analyzer'. Together they form a unique fingerprint.

Cite this