对IT操作/策略建模
    4.
    发明公开

    公开(公告)号:CN101297293A

    公开(公告)日:2008-10-29

    申请号:CN200680040145.8

    申请日:2006-10-03

    Applicant: 微软公司

    CPC classification number: G06F21/577 G06Q10/06

    Abstract: 对操作企业或公共机构的实际或计划的IT系统的操作策略进行建模。该IT系统可包括诸如应用、应用主机、其一个或多个网络或组件、硬件等组件以及组件之间的相互关系。该IT系统要根据支配组件的存在和数量、组件如何相互关连、如何配置组件和相互关系、和/或用于管理和维护IT系统的手动或自动化过程的操作策略来操作。建模可涉及通过使用对应于该IT系统的组件的类型声明抽象、通过声明对应于该IT系统的相互关系的相互关系类型、以及通过定义抽象类型上和之间的约束来生成符合一语言的代码,其中约束对应于操作该IT系统的操作策略。

    用于系统设计期间的验证的方法

    公开(公告)号:CN1570860B

    公开(公告)日:2012-03-21

    申请号:CN200410032700.5

    申请日:2004-03-05

    Applicant: 微软公司

    CPC classification number: G06F8/10

    Abstract: 提供了由处理器执行以便在设计系统时相对于环境来验证系统的方法,包括:在由处理器上运行的程序进行设计的过程中,访问描述系统的系统描述;利用系统描述,相对于模拟的环境验证系统,其中相对于模拟的环境验证系统还包括:从系统描述中选择最高级定义;为实例空间,产生由最高级定义所描述的适当的实例;选择嵌套在最高级定义中的附加定义;根据选择的定义是限定了对象还是关系,为实例空间,产生由附加定义所描述的适当实例;以及继续进行附加定义的选择以及如附加定义所描述的适当实例产生,直到为实例空间产生了嵌套在最高级定义中的所有定义的实例为止。

Patent Agency Ranking