公开(公告)号：US20020100015A1

公开(公告)日：2002-07-25

申请号：US10034433

申请日：2001-12-27

Applicant: Yeda Research and Development Co., Ltd.

Inventor： David Harel ,  Rami Marelly

IPC: G06E001/00 ,  G06F009/44

CPC classification number: G06F8/10

Abstract: There is proposed a methodology for specifying the behavior of reactive systems, which is based on nullPlaying innull the system's possible scenarios. The use of this methodology is shown by building a practical nullPlay In Enginenull tool based on the methodology. Users will be able to connect their Mock-Up GUI to the tool by nullplayingnull 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.

Abstract translation: 提出了一种用于指定反应系统的行为的方法，其基于“播放”系统的可能情况。 通过构建基于该方法的实用“播放引擎”工具来显示该方法的使用。 用户可以通过“播放”其GUI并以简单直观的方式指定所需的系统反应，将他们的模拟GUI连接到该工具。 由于这样做，系统将自动生成活动序列图（LSC）的语言行为规范，或任何其他合适的需求语言，如各种时间逻辑或时序图。 在系统行为规范的基础上，用户可以通过播放引擎播放场景。

公开(公告)号：US20040205703A1

公开(公告)日：2004-10-14

申请号：US09815123

申请日：2001-03-22

Applicant: Yeda Research and Development Co . , Ltd. ,

Inventor： David Harel ,  Rami Marelly

IPC: G06F009/44 ,  G06G007/48 ,  G06G007/62 ,  G06F017/50

CPC classification number: G06F8/10

Abstract: There is proposed a methodology for specifying the behavior of reactive systems, which is based on nullPlaying innull the system's possible scenarios. The use of this methodology is shown by building a practical nullPlay In Enginenull tool based on the methodology. Users will be able to connect their Mock-Up GUI to the tool by nullplayingnull 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.

Abstract translation: 提出了一种用于指定反应系统的行为的方法，其基于“播放”系统的可能情况。 通过构建基于该方法的实用“播放引擎”工具来显示该方法的使用。 用户可以通过“播放”其GUI并以简单直观的方式指定所需的系统反应，将他们的模拟GUI连接到该工具。 由于这样做，系统将自动生成活动序列图（LSC）的语言行为规范，或任何其他合适的需求语言，如各种时间逻辑或时序图。