公开(公告)号：US20080114813A1

公开(公告)日：2008-05-15

申请号：US11558857

申请日：2006-11-10

申请人： Arthur C. Leonard ,  Andrey Shur ,  Kevin J. Boske ,  Igor Belianski ,  Jerry J. Dunietz ,  Oliver H. Foehr ,  Young Gah Kim ,  Jesse D. McGatha ,  Joshua M. Pollock

发明人： Arthur C. Leonard ,  Andrey Shur ,  Kevin J. Boske ,  Igor Belianski ,  Jerry J. Dunietz ,  Oliver H. Foehr ,  Young Gah Kim ,  Jesse D. McGatha ,  Joshua M. Pollock

IPC分类号： G06F12/16

CPC分类号： G06F17/2247 ,  G06F17/2705

摘要： This document describes tools capable of validating and enabling validation of a package's structure. To do so, constraint grammar is provided that is capable of enabling a person to build a set of machine-readable constraints for a package's structure. Based on this set of constraints, a package validator module may accurately and automatically validate that a package's structure meets these constraints.

摘要翻译： 本文档描述了能够验证和启用包的结构验证的工具。 为此，提供了约束语法，其能够使人能够为包的结构构建一组机器可读约束。 基于这一组约束，包验证器模块可以准确和自动地验证包的结构满足这些约束。

公开(公告)号：US08954396B2

公开(公告)日：2015-02-10

申请号：US11558857

申请日：2006-11-10

申请人： Arthur C. Leonard ,  Andrey Shur ,  Kevin J. Boske ,  Igor Belianski ,  Jerry J. Dunietz ,  Oliver H. Foehr ,  Young Gah Kim ,  Jesse D. McGatha ,  Joshua M. Pollock

发明人： Arthur C. Leonard ,  Andrey Shur ,  Kevin J. Boske ,  Igor Belianski ,  Jerry J. Dunietz ,  Oliver H. Foehr ,  Young Gah Kim ,  Jesse D. McGatha ,  Joshua M. Pollock

IPC分类号： G06F17/30 ,  G06F17/22 ,  G06F17/27

CPC分类号： G06F17/2247 ,  G06F17/2705

摘要： This document describes tools capable of validating and enabling validation of a package's structure. To do so, constraint grammar is provided that is capable of enabling a person to build a set of machine-readable constraints for a package's structure. Based on this set of constraints, a package validator module may accurately and automatically validate that a package's structure meets these constraints.

摘要翻译： 本文档描述了能够验证和启用包的结构验证的工具。 为此，提供了约束语法，其能够使人能够为包的结构构建一组机器可读约束。 基于这一组约束，包验证器模块可以准确和自动地验证包的结构满足这些约束。