专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

61. 发明申请

US20060156274A1 Automated verification of correctness of aspects of an information technology system 失效
标题翻译：自动验证信息技术系统方面的正确性
公开(公告)号：US20060156274A1
公开(公告)日：2006-07-13
申请号：US11135599
申请日：2005-05-23
申请人： Dmitry Andreev , Paul Greenstein , Galina Grunin , Gregory Vilshansky
发明人： Dmitry Andreev , Paul Greenstein , Galina Grunin , Gregory Vilshansky
IPC分类号： G06F9/44
CPC分类号： G06F11/008
摘要： A method for verifying correctness of an Information Technology (IT) structure instance D of an IT structure R, a method for detecting an unauthorized change in an operating instance X of an IT structure R, a method for verifying conformance of an IT structure to an IT delivery environment, associated computer program products, and associated processes for integrating computing infrastructure. The method for verifying correctness of an IT structure instance D determines whether a reverse specification RD for D differs from R. The method for detecting an unauthorized change in an operating instance X of an IT structure R determines whether authorized changes in R have occurred. The method for verifying conformance of an IT structure to an IT delivery environment verifies compliance of the IT structure relating to: product standard compliance, compliance of software elements of the IT structure primitive composition, software application type compliance, and network traffic compliance.
摘要翻译：一种用于验证IT结构R的信息技术（IT）结构实例D的正确性的方法，用于检测IT结构R的操作实例X中的未授权改变的方法，用于验证IT结构与一个IT结构的一致性的方法 IT交付环境，关联的计算机程序产品以及用于集成计算基础架构的相关流程。用于验证IT结构实例D的正确性的方法确定用于D的反向规范RD是否与R不同。用于检测IT结构R的操作实例X中的未经授权的改变的方法确定是否发生了R中的授权改变。用于验证IT结构与IT交付环境的一致性的方法验证了与以下相关的IT结构的合规性：产品标准合规性，IT结构原始组合的软件元素的合规性，软件应用程序类型合规性以及网络流量合规性。

62. 发明申请

US20060150143A1 Automation of information technology system development 有权
标题翻译：信息技术系统开发自动化
公开(公告)号：US20060150143A1
公开(公告)日：2006-07-06
申请号：US11011449
申请日：2004-12-14
申请人： Dmitry Andreev , Paul Greenstein , Galina Grunin , Gregory Vilshansky
发明人： Dmitry Andreev , Paul Greenstein , Galina Grunin , Gregory Vilshansky
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： H04L41/00 , H04L41/08 , H04L41/12 , H04L41/22
摘要： A method and associated computer program product for developing an Information Technology (IT) system. An abstract IT structure for the IT system is provided. A virtual IT structure for the IT system is generated from the abstract IT structure by a translator. A real IT structure for the IT system is generated from the virtual IT structure.
摘要翻译：一种用于开发信息技术（IT）系统的方法和相关的计算机程序产品。提供IT系统的抽象IT结构。 IT系统的虚拟IT结构由翻译器从抽象的IT结构生成。从虚拟IT结构生成IT系统的真正的IT结构。

63. 发明申请

US20060129518A1 Optimization of aspects of information technology structures 有权
公开(公告)号：US20060129518A1
公开(公告)日：2006-06-15
申请号：US11263498
申请日：2005-10-31
申请人： Dmitry Andreev , Paul Greenstein , Galina Grunin , Gregory Vilshansky
发明人： Dmitry Andreev , Paul Greenstein , Galina Grunin , Gregory Vilshansky
IPC分类号： G06F17/30
CPC分类号： H04L41/22 , G06F8/24 , G06Q40/00 , H04L41/08 , H04L41/12 , Y10S707/99932
摘要： A computer-implemented method for optimizing an aspect of an Information Technology (IT) structure of an IT system, the aspect of the IT structure is optimized with respect to at least one control parameter. The IT structure includes a plurality of elements. Each element independently is a hardware element, a software element, or a combination of a hardware element and a software element. Each control parameter has a value that is specific to each element of the IT structure.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式