Playing scenarios of system behavior

Details Playing scenarios of system behavior Playing scenarios of system behavior

2007-05-01

2007-05-01

Steelman, Mary (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Editing

Reexamination Certificate

active

10034433

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. On the basis of the system behavior specification, the user can play out scenarios through a play out engine.

REFERENCES:
patent: 5852825 (1998-12-01), Winslow
patent: 5910897 (1999-06-01), Dangelo et al.
patent: 6205575 (2001-03-01), Sherman et al.
patent: 6353896 (2002-03-01), Holzmann et al.
patent: 6415396 (2002-07-01), Singh et al.
patent: 6606740 (2003-08-01), Lynn et al.
patent: 2001/0033340 (2001-10-01), Yui
patent: 2002/0194393 (2002-12-01), Hrischuk et al.
Harel, D., “State charts: A Visual Formalism for Complex Systems”,Sci. Comput. Prog. 8 (1987), pp. 231-274.
Harel, D., “From Play-In Scenarios To Code: An Achievable Dream”,IEEE Computer, 34:1 (Jan. 2001), pp. 53-60.
Damm, W. and Harel, D., “LSCs: Breathing Life into Message Sequence Charts”, Proc. 3rdIFIP Int. Conf. On Formal Methods for Open Object-based Distrubuted Systems,Kluwer Academic Publishers, (1999), pp. 293-312.
Harel D. and Kugler H., “Synthesizing State-Based Object Systems from LSC Specifications”,The Weizmann Institute of Science, Rehovot, Israel, Report MCS99-20, (1999), http://www.wisdom.weizmann.ac.il/reports.html.
Alur, Rajeev; Etessami, Kousha and Yannakakis, Mihalis, Interference of Message Sequence Charts, ICSE, 2000, pp. 304-313, Limerick, Ireland.
Ladkin, Peter B. and Leue, Stefan, An Analysis of Message Sequence Charts, University of Berne, Institute for Informatics and Applied Mathematics, IAM 92-103, Jun. 1992, Bern, Switzerland.

Affiliated with

Also associated with

Rating

Playing scenarios of system behavior does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Playing scenarios of system behavior, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Playing scenarios of system behavior will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3807888