Patents by Inventor Rami Marelly

Rami Marelly has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Playing scenarios of system behavior
    Patent number: 7213230
    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.
    Type: Grant
    Filed: December 27, 2001
    Date of Patent: May 1, 2007
    Assignee: Yeda Research and Development Co. Ltd.
    Inventors: David Harel, Rami Marelly
  • Playing in scenarios of system behavior
    Publication number: 20040205703
    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.
    Type: Application
    Filed: March 22, 2001
    Publication date: October 14, 2004
    Applicant: Yeda Research and Development Co . , Ltd. ,
    Inventors: David Harel, Rami Marelly
  • Playing scenarios of system behavior
    Publication number: 20020100015
    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.
    Type: Application
    Filed: December 27, 2001
    Publication date: July 25, 2002
    Applicant: Yeda Research and Development Co., Ltd.
    Inventors: David Harel, Rami Marelly