Computer graphics processing and selective visual display system – Computer graphics processing – Graph generating
Patent
1995-11-16
1998-09-22
Jankus, Almis R.
Computer graphics processing and selective visual display system
Computer graphics processing
Graph generating
G06T 1100
Patent
active
058121455
ABSTRACT:
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.
REFERENCES:
patent: 5450569 (1995-09-01), Schallier
"Using Formalized Temporal Message-flow Diagrams", W. Citrin, A. Cockburn, J. Von Kanel, and R. Hauser, Software-Practice and Experience, vol. 25(12), Dec. 1995, pp. 1367-1401.
"An Algebraic Semantics of Basic Message Sequence Charts", S. Mauw and M. A. Reniers, The Computer Journal, vol. 37, No. 4, 1994, pp. 1-9.
Holzmann Gerard Johan
Peled Doron A.
Dinella Donald P.
Jankus Almis R.
Lucent Technologies - Inc.
Nelson Gordon E.
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: LFUS-PAI-O-1626873