[发明专利]生成关于模型的约束表达式的方法以及约束语言编辑器无效
申请号: | 200810008950.3 | 申请日: | 2008-01-31 |
公开(公告)号: | CN101499003A | 公开(公告)日: | 2009-08-05 |
发明(设计)人: | 毛佳音;邱杰;罗景;李影 | 申请(专利权)人: | 国际商业机器公司 |
主分类号: | G06F9/44 | 分类号: | G06F9/44 |
代理公司: | 北京市中咨律师事务所 | 代理人: | 于 静;杨晓光 |
地址: | 美国*** | 国省代码: | 美国;US |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 一种用于在约束语言编辑器中帮助生成针对导航的约束语言代码的方法和导航帮助器,其中约束语言编辑器用于根据所加载的模型/实例和相关约束,生成关于模型/实例的约束表达式,导航是实现约束的路径,包括模型/实例元素的序列,所述方法包括:解析所加载的模型/实例;通过模型/实例中与导航有关的元素的类型,计算与元素有关的可能的关联;以及通过关联计算出可能的导航路径。一种用于在约束语言编辑器中帮助生成约束语言代码的方法和约束语言编辑器,所述方法包括:加载模型/实例;加载用于存储参数和约束代码模板的约束模式;根据约束模式中存储的参数类型,调用相应的帮助器,以基于模型/实例来帮助生成参数;根据所生成的参数和约束代码模板,生成约束代码。 | ||
搜索关键词: | 生成 关于 模型 约束 表达式 方法 以及 语言 编辑器 | ||
【主权项】:
1. 一种用于在约束语言编辑器中帮助生成针对导航的约束语言代码的方法,其中所述约束语言编辑器用于根据所加载的模型/实例和相关约束,生成关于模型/实例的约束表达式,所述导航是实现约束的路径,包括模型/实例元素的序列,所述方法包括:解析所加载的模型/实例;通过所解析的模型/实例中的与导航有关的元素的类型,计算与所述元素有关的可能的关联;以及通过所述关联计算出可能的导航路径。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于国际商业机器公司,未经国际商业机器公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/200810008950.3/,转载请声明来源钻瓜专利网。