会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Method for tracking changes in source locations in a compiler
    • 跟踪编译器中源位置变化的方法
    • US5978586A
    • 1999-11-02
    • US978706
    • 1997-11-26
    • Donald Edward BaisleyJonathan Virgil Ziebell
    • Donald Edward BaisleyJonathan Virgil Ziebell
    • G06F9/45
    • G06F8/42G06F8/443
    • The disclosed method creates a source object for each source language element parsed by the compiler and associates each such created source object with objects created from source language elements to produce source-mapped objects. Next, the source-mapped objects are transformed into corresponding machine-instruction objects and a binary file of the machine-instruction objects is created by: i) adjusting a source data object to a source object associated with a machine instruction object, thereby identifying a lowest level of inlining where the call history of the source object differs from the call history of the previous source object to which the source data object was adjusted; ii) if the source data object identifies no differences from the previous source object, then continuing at step i) for the next machine instruction; and, iii) for each level of the call history beginning with the level returned in the preceding step and continuing through the last level, putting information obtained from the source data object in a source table stored in the binary file.
    • 所公开的方法为编译器解析的每个源语言元素创建源对象,并将每个这样创建的源对象与从源语言元素创建的对象相关联以产生源映射对象。 接下来,源映射对象被转换成相应的机器指令对象,并且机器指令对象的二进制文件通过以下方式创建:i)将源数据对象调整为与机器指令对象相关联的源对象,从而识别 源对象的呼叫历史与调整源数据对象的先前源对象的呼叫历史不同的内联最低级别; ii)如果源数据对象识别出与先前源对象没有差异,则在步骤i)继续下一个机器指令; 以及iii)针对从前一步骤中返回的级别开始并继续通过最后一级的呼叫历史的每个级别,将从源数据对象获得的信息放入存储在二进制文件中的源表中。
    • 3. 发明授权
    • Method for propagating source code locations into objects in a compiler
    • 将源代码位置传播到编译器中的对象的方法
    • US5978587A
    • 1999-11-02
    • US969192
    • 1997-11-13
    • Donald Edward BaisleyJonathan Virgil Ziebell
    • Donald Edward BaisleyJonathan Virgil Ziebell
    • G06F9/44G06F9/45
    • G06F8/42G06F8/44G06F9/4428
    • An object-oriented apparatus in the memory of a computer system for propagating source code locations into objects in a compiler. The apparatus has three types. The first is a source object type, of which each object identifies a source location and, where inlining has occurred, a list of inlined source locations. The second type is a source mark object type, of which each object identifies a source object to be related to new compiler objects, and whose construction using a source object starts the use of the source object for propagation into new compiler objects, and whose destruction ends the use of the source object for propagation. The third type is a source mapped base type for a compiler object that relates the compiler object to a source object, and whose default construction relates the compiler object to the source object of the most recently constructed source mark object.
    • 用于将源代码位置传播到编译器中的对象的计算机系统的存储器中的面向对象的装置。 该装置有三种类型。 第一个是源对象类型,其中每个对象标识源位置,并且发生内联的位置列出了内联源位置。 第二种类型是源标记对象类型,其中每个对象标识与新编译器对象相关的源对象,其使用源对象的构造开始使用源对象来传播到新的编译器对象中,并且其破坏 结束使用源对象进行传播。 第三种类型是将编译器对象与源对象相关联的编译器对象的源映射基类型,其默认构造将编译器对象与最近构造的源标记对象的源对象相关联。
    • 5. 发明授权
    • Generating a database model from natural language expressions of business rules
    • 从业务规则的自然语言表达式生成数据库模型
    • US07613676B2
    • 2009-11-03
    • US10899891
    • 2004-07-27
    • Donald Edward BaisleyRavi Anthony Joseph DirckzeJonathan Virgil ZiebellRussel Elliot Cole
    • Donald Edward BaisleyRavi Anthony Joseph DirckzeJonathan Virgil ZiebellRussel Elliot Cole
    • G06N7/00G06N7/08
    • G06Q10/10G06F8/10
    • One embodiment of the invention is a method for generating a database model from a set of business rules. For a business rule given as input, an empty list of fact types is created. A determination of whether the business rule is a definitional rule defining that one or more propositions become true upon occurrence of an event is made. If the business rule is a definitional rule, the fact type of each of the propositions is added to the list of fact types. Otherwise, a determination of whether the business rule is an authorization rule for provision of information that comprises one or more authorized provisions of information corresponding to one or more fact types is made. If the business rule is an authorization rule for provision of information, the corresponding fact types are added to the list of fact types. For each fact type in the list of fact types, the fact type having at least one role, the role having a type, if the type of the role is not a lexical type, the type is added to a list of types. The types in the list of types are processed and the fact types in the list of fact types are processed.
    • 本发明的一个实施例是一种从一组业务规则生成数据库模型的方法。 对于作为输入给出的业务规则,将创建一个空列表的事实类型。 确定商业规则是否是定义一个或多个命题在事件发生时成为真实的定义规则。 如果业务规则是一个定义规则,则每个命题的事实类型被添加到事实类型列表中。 否则,确定业务规则是否是用于提供包括与一个或多个事实类型相对应的信息的一个或多个授权规定的信息的授权规则。 如果业务规则是用于提供信息的授权规则,则将相应的事实类型添加到事实类型列表中。 对于事实类型列表中的每个事实类型,事实类型具有至少一个角色,角色具有类型,如果角色的类型不是词法类型,则将类型添加到类型列表中。 处理类型列表中的类型,并处理事实类型列表中的事实类型。
    • 6. 发明授权
    • Computer-implemented object-oriented method for relating objects in a
compiler to locations in the source program and to inlined call
histories
    • 用于将编译器中的对象与源程序中的位置相关联并用于内联呼叫历史的计算机实现的面向对象方法
    • US6106574A
    • 2000-08-22
    • US294985
    • 1999-04-20
    • Donald Edward BaisleyJonathan Virgil Ziebell
    • Donald Edward BaisleyJonathan Virgil Ziebell
    • G06F9/45G06F9/445
    • G06F8/42
    • An object-oriented method and apparatus for relating objects in a compiler program running on a computer for compiling source files into a binary code file for execution on a target computer to source code locations, said apparatus includes a type of object that identifies a source location, and where inlining occurs, a list of inlined source locations. The type of object has only one instance variable, an integer. The invention includes a method for relating objects in a compiler to source code locations. The method includes the steps of registering source files and their ranges of line numbers for a source type; for each language element parsed by the compiler, creating a source object for its source location; and, creating an instance variable of type source for each compiler object in order to relate to their source locations.
    • 一种面向对象的方法和装置,用于将运行在计算机上的编译程序中的对象相关联以将源文件编译成二进制代码文件以在目标计算机上执行以源代码位置,所述装置包括标识源位置的对象类型 ,并且发生内联的内联源位置列表。 对象的类型只有一个实例变量,一个整数。 本发明包括一种将编译器中的对象与源代码位置相关联的方法。 该方法包括注册源文件及其源类型的行号范围的步骤; 对于由编译器解析的每个语言元素,为其源位置创建源对象; 并为每个编译器对象创建一个类型为源的实例变量,以便与其源位置相关。
    • 9. 发明授权
    • Method for merging versions of a model in an object oriented repository
    • 在面向对象的存储库中合并模型的版本的方法
    • US06415299B1
    • 2002-07-02
    • US09547642
    • 2000-04-12
    • Donald Edward BaisleyPeter Johnson
    • Donald Edward BaisleyPeter Johnson
    • G06F1730
    • G06F8/71Y10S707/99942Y10S707/99944Y10S707/99954
    • A computer-implemented method is provided for merging a source version into a target version of a model in an object oriented repository. The method comprises the steps of building a first list as a collection of versions that occur only in a history of the source version; and, building a second list as a collection of versions that occur only in a history of the target version. Next, a dual history is created as a union of the first and second lists. After this, either the first or the second list is identified as the non-preferred history wherein either the source or the target version is preferred. The first list is then added to the history of the target version. Any conflicts occurring in the dual history are next reported; and, such conflicts are resolved by adding the target version to a list of end versions on each conflicting attribute value and link occurring in the non-preferred history.
    • 提供了一种计算机实现的方法,用于将源版本合并到面向对象的存储库中的模型的目标版本。 该方法包括以下步骤:将第一列表构建为仅在源版本的历史中发生的版本的集合; 并将第二个列表构建为仅在目标版本的历史中发生的版本集合。 接下来,创建双历史作为第一和第二列表的联合。 之后,将第一或第二列表识别为非首选历史,其中源或目标版本优选。 然后将第一个列表添加到目标版本的历史记录中。 下一次报道双历史上发生的任何冲突; 并且通过将目标版本添加到在非优选历史记录中发生的每个冲突属性值和链接的最终版本列表来解决这些冲突。
    • 10. 发明授权
    • Method for merging repository updates with incomplete work in progress
    • 将存储库更新与不完整工作进行合并的方法
    • US06275787B1
    • 2001-08-14
    • US09172569
    • 1998-10-14
    • Donald Edward Baisley
    • Donald Edward Baisley
    • G06F1300
    • G06F8/71Y10S707/99938Y10S707/99953
    • In a computing system executing a repository program, a computer-implemented method is disclosed for merging updates to models stored in the repository with a user's incomplete work-in-progress currently being executed by the computer system. Once a repository transaction is begun, for each package within a model that is checked out by the user, a check-in operation is performed. The model is extracted for use by a modeling tool and the repository transaction is aborted, thereby undoing the check-in but leaving the extracted model intact for use by the modeling tool. A report may be generated of any inconsistencies between the model and modeling rules imposed by the check-in operation of the repository.
    • 在执行存储库程序的计算系统中,公开了一种计算机实现的方法,用于将存储在存储库中的模型的更新合并到当前由计算机系统执行的用户的不完整工作。 一旦存储库事务开始,对于由用户检出的模型中的每个包,执行签入操作。 该模型被提取以供建模工具使用,并且存储库事务被中止,从而撤销该检入,但是将提取的模型完整地保留以供建模工具使用。 可能会生成模型与存储库的登录操作强加的建模规则之间的任何不一致的报告。