G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 17/00 (2006.01) G06T 11/00 (2006.01)
Patent
CA 2186799
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.
Holzmann Gerard Johan
Peled Doron A.
Kirby Eades Gale Baker
Lucent Technologies Inc.
LandOfFree
Message sequence chart analyzer does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Message sequence chart analyzer, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Message sequence chart analyzer will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1818194