US6807583B2
Expired / Lapsed
US
⏱️ 0.0 years remaining
Method of determining causal connections between events recorded during process execution
Assignee: Carleton University
•
Filing: 2001-11-08
•
Granted: 2004-10-19
•
Expires: 2021-11-08
Abstract
Abstract A method of determining scenario causality, along with precedence causality, is disclosed. Information is recorded relating to events occurring during execution of a process. The information includes object related information and process related information. The information is translated into a sequence of scenario graph language statements, one or more events translated to a statement. From the statements, process execution flow is determined establishing some scenario causality and precedence causality.
Inventors
- 👤 Curtis Hrischuk
- 👤 Charles Murray Woodside
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-10-30 07:16
CPC Classifications
G; G06; G06F; G06F9/00; G06F9/06; G06F9/46; G06F9/54; G06F9/542
Claims Analysis
Total Claims: 23
Claim 1
Independent Claim
137 words
A method of determining, from recorded information relating to events occurring during execution of a process, a plurality of the events that are causally connected by scenario causality and precedence causality, the method comprising the steps of: (a) translating the recorded information relating to the events to statements in a first scenario graph language; (b) determining from the first graph language statements, information relating to execution flow of the process wherein each first graph language statement comprises information relating to a predetermined execution flow of the process; and, (c) based on the information relating to an execution flow of the process, determining, for a first plurality of events, events that precede each event from the first plurality of the events that are causally connected by scenario causality to said event from the first plurality of the events.
Claim 2
Independent Claim
137 words
A method of determining, from recorded information relating to events occurring during execution of a process, a plurality of the events that are causally connected by scenario causality and precedence causality, the method comprising the steps of: (a) translating the recorded information relating to the events to statements in a first scenario graph language; (b) determining from the first graph language statements, information relating to execution flow of the process wherein each first graph language statement comprises information relating to a predetermined execution flow of the process; and, (c) based on the information relating to an execution flow of the process, determining, for a first plurality of events, events that precede each event from the first plurality of the events that are causally connected by scenario causality to said event from the first plurality of the events.
Claim 3
Dependent Claim
49 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , comprising the step of: performing run time behavior verification by analysis of the scenario event graph, or combinations thereof, for one of race conditions, live lock conditions, and deadlock conditions.
Claim 4
Dependent Claim
45 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , comprising the step of: determining the identity type of a scenario during execution and providing a different level or style of service based on this determination.
Claim 5
Dependent Claim
69 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , comprising the steps of: monitoring a process during execution; and, recording the information relating to events occurring during execution of the process, the recorded information comprising at least a time value from each of at least two clocks and wherein at least one of the clocks is a logical clock.
Claim 6
Dependent Claim
55 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , wherein translating the recorded information is performed in each of two domains; and, wherein determining from the statements information relating to execution flow of the process is performed in dependence upon the statements in each domain.
Claim 7
Dependent Claim
29 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , wherein the process is a process executed by a microprocessor.
Claim 8
Dependent Claim
62 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , wherein the process is a process executed in software on at least two processors in a distributed system and wherein the information relating to events comprises information relating to a time measured by a logical clock and another time measured by another clock.
Claim 9
Dependent Claim
56 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , wherein a statement in the first graph language represents a node having an out degree of at least 2 and wherein statement in the first graph language represents a node having in degree of at least 2.
Claim 10
Dependent Claim
34 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , wherein the recorded information relating to events comprises process event information and object event information.
Claim 11
Dependent Claim
31 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , wherein the statements form a graph language that is complete and sound.
Claim 12
Dependent Claim
35 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , wherein the statements relate to delimiting and progress events of a process and of an object.
Claim 13
Dependent Claim
58 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , wherein the first graph language has nodes and edges from a group of: external, thread begin, and-join, and-fork, thread end, activity, object period start, start process, next object event, next process node, next object period, and process thread fork.
Claim 14
Dependent Claim
32 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , comprising the step of determining a UML behavioural diagram relating to process execution.
Claim 15
Dependent Claim
32 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , comprising the step of determining a message sequence chart relating to process execution.
Claim 16
Dependent Claim
41 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , comprising the step of determining design related information for use in one of design verification, business process modelling, performance modelling, and optimisation.
Claim 17
Dependent Claim
91 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , wherein the recorded events form an angio trace defined as G Trace =(N, Σ n , M n , P, Ω) where N is a set of recorded events; Σ n is the alphabet of event time stamps; M n :N→Σ n is the mapping of events to time stamps; P is a set of event predicates for identifying the type of an event; and, Ω is a set of partial-ordering relations.
Claim 18
Dependent Claim
54 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , wherein the recorded information relating to an event comprises an event type from external event; process thread begin event; process activity event; process thread fork event; process thread half-join event; and process thread end event.
Claim 19
Dependent Claim
46 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , comprising the step of: the replaying of execution of a scenario and system behavior on one of the actual system, a simulator tool, and a visualisation tool.
Claim 20
Dependent Claim
53 words
A method of determining a plurality of the events that are causally connected as defined in claim 1 , wherein the process is a process executed in computer software and comprising the step of: performing pattern analysis on the statements to detect at least one of software design and software execution patterns therein.
Claim 21
Independent Claim
70 words
A method of determining a plurality of events that are causally connected for use with recorded information relating to the events occurring during execution of a process, the method comprising the steps of: analysing the recorded information to determine a partial order of events from each of two relative perspectives; combining the two partial orders of events to produce information relating to some forms of scenario causality and precedence causality.
Claim 22
Independent Claim
70 words
A method of determining a plurality of events that are causally connected for use with recorded information relating to the events occurring during execution of a process, the method comprising the steps of: analysing the recorded information to determine a partial order of events from each of two relative perspectives; combining the two partial orders of events to produce information relating to some forms of scenario causality and precedence causality.
Claim 23
Dependent Claim
70 words
A method of determining a plurality of events that are causally connected as defined in claim 20 , wherein the recorded information relating to the events comprises at least an event type and two time stamps from each of two clocks wherein a clock from the two clocks is a logical clock and wherein causality is deduced in dependence upon precedence determined from the partial orders and recorded event types.
References Cited (Backward Citations)
US5038348A
Cited
US5493729A
Cited
US5313616A
Cited
US5301258A
Cited
US5442555A
Cited
US5661668A
Cited
US5483637A
Cited
US6205575B1
Cited
US6067415A
Cited
US5960199A
Cited
US5937195A
Cited
US6330008B1
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2007-10-19 | 2008-04-19 | 2008-10-19 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2011-10-19 | 2012-04-19 | 2012-10-19 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2015-10-19 | 2016-04-19 | 2016-10-19 | $7700.00 | Window Closed / Lapsed |