Behavioral abstractions for debugging coordination-centric software designs
0 Assignments
0 Petitions
Accused Products
Abstract
A behavioral abstraction is, in an abstract sense, a generalization of an event cluster. Behavioral abstraction is a technique where a predetermined behavioral sequence is automatically recognized by the simulator in a concurrent stream of system events. A behavioral sequence is at its most basic level a partial order of events. However, the events considered in a behavioral sequence are subject to configuration-based filtering and clustering. This allows a designer to create a model for a particular behavior and then set up a tool to find instances of the particular behavior in an execution trace. Behavior models are representations of partially ordered event sequences and can include events from several components.
-
Citations
33 Claims
-
1-12. -12. (canceled)
-
13. A behavioral analysis method for use with a space/time diagram comprising:
-
evaluating all system events from a record of system events one event at a time while maintaining causal relationships between system events; and
analyzing the evaluated system events in order to find a predetermined system behavior. - View Dependent Claims (14, 15, 16, 17, 31)
-
-
18-23. -23. (canceled)
-
24. A software design tool for use in a coordination-centric design environment comprising:
an automaton that analyzes system events and determines causal relationships between system events in order to identify a predetermined system behavior. - View Dependent Claims (25, 26, 27, 28, 29, 30, 32, 33)
Specification