Playing in scenarios of system behavior
AssigneeYeda Research and Development Co. Ltd.
InventorsDavid Harel, Rami Marelly
Life of this patent
Estimating the term…
Abstract
There is proposed a methodology for specifying the behavior of reactive systems, which is based on “Playing in” the system's possible scenarios. The use of this methodology is shown by building a practical “Play In Engine” tool based on the methodology. Users will be able to connect their Mock-Up GUI to the tool by “playing” their GUI and specifying the required system reactions in a simple and intuitive manner. As this is being done, the system will automatically generate behavior specifications in the language of Live Sequence Charts (LSCs), or any other suitable requirement language, such as various temporal logics or timing diagrams.
Claims20
A method for specifying a system behavior, comprising:
- (a) providing a GUI representative of the system's GUI;
- the system GUI includes objects;
- the system GUI is associated with data structure describing at least the GUI objects;
- the method includes performing steps that include the following steps (b) and (c), as many times as required;
- (b) playing-in a scenario utilizing the system GUI, the scenario is representative of at least one use case;
- and
- (c) constructing formal system behavior specification that corresponds to the scenario.
An apparatus for specifying a system behavior, comprising:
- GUI representation of the system's GUI;
- the system GUI includes objects;
- the system GUI is associated with data structure describing at least the GUI objects;
- the apparatus includes a play-in engine configured to perform at least the following, as many times as required:
- playing-in a scenario utilizing the system GUI, the scenario is representative of at least one use case;
- and
- constructing formal system behavior specification that corresponds to the scenario.
Dependencies are inferred from the claim text.