首页> 外国专利> METHOD AND APPARATUS FOR GENERATING HAREL STATECHARTS USING FORMS SPECIFICATIONS

METHOD AND APPARATUS FOR GENERATING HAREL STATECHARTS USING FORMS SPECIFICATIONS

机译:使用形式规范生成哈雷尔状态图的方法和装置

摘要

A method and apparatus for generating an extended Harel Statechart (306,308) for an automated interaction from a declarative interaction specification (300). The declarative interaction specification (300) includes a model (316) of interaction data and a set of controls (320). A set of states (702-708) is generated in the extended Harel Statechart corresponding to the set of controls (320) of the interaction specification (300) and self-transitions, which include actions associated with the state, are generated for each state (702-708). A data model (306) associated with the set of states is also generated in the extended Harel Statechart from the model of interaction data (316). Transitions (330, 332) between states are also generated to correspond to changes in control activation.
机译:一种用于从声明性交互规范(300)生成用于自动交互的扩展Harel Statechart(306,308)的方法和装置。声明性交互规范(300)包括交互数据的模型(316)和一组控件(320)。在扩展的Har​​el Statechart中生成一组状态(702-708),该状态图对应于交互规范(300)的一组控件(320),并且为每个状态生成包括与该状态相关联的动作在内的自转换(702-708)。还从交互数据模型(316)在扩展的Har​​el Statechart中生成与状态集相关联的数据模型(306)。还生成状态之间的转变(330、332)以对应于控制激活中的改变。

著录项

相似文献

  • 专利
  • 外文文献
  • 中文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号