Systems and methods for validating objects models
    12.
    发明申请
    Systems and methods for validating objects models 有权
    验证对象模型的系统和方法

    公开(公告)号:US20050125806A1

    公开(公告)日:2005-06-09

    申请号:US10731805

    申请日:2003-12-08

    IPC分类号: G06F9/44 G06F9/46

    CPC分类号: G06F9/4492

    摘要: A metadata validation process that allows for deferring object model validation until after the objects are created. The process also allows for multi-threaded processing of the validation rules, thus increasing overall performance. Validation is performed by enforcing a series of validation rules on an appropriate subject. Rules are specified according to the subject that they are validating (i.e., attribute level, association level, object level or collection level). The metadata driven validation process implements several validation types on different validation units. Correctness validation rule types ensure that a validation unit satisfies all semantic rules defined for it. Completeness validation rule types ensure that a validation unit contains all the necessary data and is ready for further use. At design time, only correctness type validation is performed. Thus, the present invention advantageously allows for incomplete objects to be created at design time. The developer, however, in this case may opt to perform completeness validation at any time. In general, a developer may opt to perform completeness and/or correctness validation at any time independent of deployment processing. In another aspect, full validation (e.g., completeness and correctness) is automatically performed on the objects during the process of creating a configuration prior to deployment.

    摘要翻译: 元数据验证过程,允许推迟对象模型验证,直到创建对象。 该过程还允许对验证规则进行多线程处理,从而提高整体性能。 通过对适当的主题执行一系列验证规则来执行验证。 根据他们正在验证的主题(即属性级别,关联级别,对象级别或收集级别)指定规则。 元数据驱动的验证过程在不同的验证单元上实现了几种验证类型。 正确性验证规则类型确保验证单元满足为其定义的所有语义规则。 完整的验证规则类型确保验证单元包含所有必需的数据,并可以进一步使用。 在设计时,只进行正确性类型验证。 因此,本发明有利地允许在设计时创建不完整的对象。 但是,在这种情况下,开发人员可能会选择在任何时候执行完整性验证。 通常,开发人员可以选择在任何时候独立于部署处理来执行完整性和/或正确性验证。 在另一方面,在部署之前创建配置的过程期间,对对象自动执行完全验证(例如,完整性和正确性)。

    Autonomous transactions in a database system
    13.
    发明授权
    Autonomous transactions in a database system 失效
    数据库系统中的自治事务

    公开(公告)号:US06219666B1

    公开(公告)日:2001-04-17

    申请号:US09114340

    申请日:1998-07-13

    IPC分类号: G06F1730

    摘要: A method is disclosed that involves establishing a transaction stack in a memory of a computing system that is processing transactions. Two commands, PUSH and POP, operate on the stack. The PUSH command causes a frame of data identifying the currently executing transaction to be pushed onto the transaction stack. After a PUSH is executed, the first transactional statement that executes causes creation of a new autonomous transaction. If another transactional statement is executed after the new transaction commits or rolls back, but before a POP is executed, then another new autonomous transaction is created. A POP operation restores the transaction identified by the top frame of the stack. In another aspect, a programming language construct is provided for associating a lexical scope with an autonomous transaction scope. When the lexical scope is first entered during execution of the program in a first transaction, the transaction context of the first transaction is stored on a transaction stack. The operations in the lexical scope are executed in one or more autonomous transactions. When the lexical scope is exited, the transaction context on the top of the transaction stack is restored as the current transaction context. The stack automatically keeps track of nested sequences of autonomous transactions. Further, deadlocks are rapidly detected.

    摘要翻译: 公开了一种涉及在正在处理事务的计算系统的存储器中建立事务栈的方法。 两个命令PUSH和POP在堆栈上操作。 PUSH命令使得将标识当前正在执行的事务的数据帧推送到事务栈上。 执行PUSH后,执行的第一个事务语句会导致创建一个新的自治事务。 如果在新事务提交或回滚之后但在执行POP之前执行另一个事务语句,则会创建另一个新的自治事务。 POP操作恢复由堆栈的顶部框架标识的事务。 在另一方面,提供了一种用于将词汇范围与自主事务范围相关联的编程语言结构。 当在第一个事务中执行程序期间首先输入词汇范围时,第一个事务的事务上下文存储在一个事务栈中。 词汇范围中的操作在一个或多个自主事务中执行。 当词法范围退出时,事务堆栈顶部的事务上下文将作为当前事务上下文进行还原。 堆栈自动跟踪嵌套的自治事务序列。 此外,快速检测到死锁。

    Graphical approach to setup data sharing between two controllers
    15.
    发明授权
    Graphical approach to setup data sharing between two controllers 有权
    在两个控制器之间设置数据共享的图形化方法

    公开(公告)号:US08549422B2

    公开(公告)日:2013-10-01

    申请号:US12650385

    申请日:2009-12-30

    IPC分类号: G06F3/048

    CPC分类号: G06F8/34

    摘要: A graphical approach to setup data sharing between two controllers. Symbols that represent controllers may be placed on a wiresheet. A link may be constructed between the controllers by connecting the symbols with a line drawn between them. The resulting link information may lead to a compile and download of binding tables to the pertinent controller. The designer or user need not setup several levels of mapping by populating multiple tables to effect the binding for a link between the controllers. This binding may be done automatically under a hood without the designer or user needing to be aware of the binding activity. This approach for graphically constructing a link may be particularly applicable to BACnet controllers.

    摘要翻译: 一种用于在两个控制器之间设置数据共享的图形化方法。 表示控制器的符号可以放在电线上。 通过将符号与它们之间绘制的线连接,可以在控制器之间构建链接。 所产生的链接信息可能导致绑定表的编译和下载到相关控制器。 设计人员或用户不需要通过填充多个表来设置几个级别的映射来实现控制器之间的链接的绑定。 这种绑定可以在引擎盖下自动完成,而设计者或用户需要注意绑定活动。 用于图形构建链接的这种方法可能特别适用于BACnet控制器。

    Systems and methods for validating design meta-data
    18.
    发明申请
    Systems and methods for validating design meta-data 有权
    验证设计元数据的系统和方法

    公开(公告)号:US20050125438A1

    公开(公告)日:2005-06-09

    申请号:US10731620

    申请日:2003-12-08

    IPC分类号: G06F17/00

    CPC分类号: G06F9/44589 G06F9/4488

    摘要: A metadata validation process that allows for deferring object model validation until after the objects are created. The process also allows for multi-threaded processing of the validation rules, thus increasing overall performance. Validation is performed by enforcing a series of validation rules on an appropriate subject. Rules are specified according to the subject that they are validating (i.e., attribute level, association level, object level or collection level). The metadata driven validation process implements several validation types on different validation units. Correctness validation rule types ensure that a validation unit satisfies all semantic rules defined for it. Completeness validation rule types ensure that a validation unit contains all the necessary data and is ready for further use. At design time, only correctness type validation is performed. Thus, the present invention advantageously allows for incomplete objects to be created at design time. The developer, however, in this case may opt to perform completeness validation at any time. In general, a developer may opt to perform completeness and/or correctness validation at any time independent of deployment processing. In another aspect, full validation (e.g., completeness and correctness) is automatically performed on the objects during the process of creating a configuration prior to deployment.

    摘要翻译: 元数据验证过程,允许推迟对象模型验证,直到创建对象。 该过程还允许对验证规则进行多线程处理,从而提高整体性能。 通过对适当的主题执行一系列验证规则来执行验证。 根据他们正在验证的主题(即属性级别,关联级别,对象级别或收集级别)指定规则。 元数据驱动的验证过程在不同的验证单元上实现了几种验证类型。 正确性验证规则类型确保验证单元满足为其定义的所有语义规则。 完整的验证规则类型确保验证单元包含所有必需的数据,并可以进一步使用。 在设计时,只进行正确性类型验证。 因此,本发明有利地允许在设计时创建不完整的对象。 但是,在这种情况下,开发人员可能会选择在任何时候执行完整性验证。 通常,开发人员可以选择在任何时候独立于部署处理来执行完整性和/或正确性验证。 在另一方面,在部署之前创建配置的过程期间,对对象自动执行完全验证(例如,完整性和正确性)。