为正确执行逻辑靶场事件,充分利用试验与训练使能体系结构(test and training enabling architecture,TENA)资源,对逻辑靶场操作流程进行剖析。理清TENA与逻辑靶场之间的关系,明确TENA资源的种类,在对逻辑靶场操作概念进行分析的基础上...为正确执行逻辑靶场事件,充分利用试验与训练使能体系结构(test and training enabling architecture,TENA)资源,对逻辑靶场操作流程进行剖析。理清TENA与逻辑靶场之间的关系,明确TENA资源的种类,在对逻辑靶场操作概念进行分析的基础上,对逻辑靶场操作的过程及主要活动进行详细设计。结果表明,该设计为顺利实施LVC测试训练提供了理论基础。展开更多
SaaS模式已成为当前流行的软件服务形式.为满足不同租户个性化的业务服务需求,SaaS模式必须提供灵活的定制机制.为此,提出了一个支持租户业务流程定制行为建模及验证的框架.该框架以层次定制行为约束图作为定制指导,通过TLA(Temporal Lo...SaaS模式已成为当前流行的软件服务形式.为满足不同租户个性化的业务服务需求,SaaS模式必须提供灵活的定制机制.为此,提出了一个支持租户业务流程定制行为建模及验证的框架.该框架以层次定制行为约束图作为定制指导,通过TLA(Temporal Logic of Actions)对各层的原子定制活动建模,并以此为基础构建租户的全局定制行为,然后基于应用的业务规则约束设计算法验证全局定制行为的正确性;为有效提高租户的定制效率,基于对多租户已有正确定制结果的统计分析,设计定制推荐算法,合理减少验证次数.仿真实验结果证实了该机制的高效性及可靠性.展开更多
文摘为正确执行逻辑靶场事件,充分利用试验与训练使能体系结构(test and training enabling architecture,TENA)资源,对逻辑靶场操作流程进行剖析。理清TENA与逻辑靶场之间的关系,明确TENA资源的种类,在对逻辑靶场操作概念进行分析的基础上,对逻辑靶场操作的过程及主要活动进行详细设计。结果表明,该设计为顺利实施LVC测试训练提供了理论基础。
文摘SaaS模式已成为当前流行的软件服务形式.为满足不同租户个性化的业务服务需求,SaaS模式必须提供灵活的定制机制.为此,提出了一个支持租户业务流程定制行为建模及验证的框架.该框架以层次定制行为约束图作为定制指导,通过TLA(Temporal Logic of Actions)对各层的原子定制活动建模,并以此为基础构建租户的全局定制行为,然后基于应用的业务规则约束设计算法验证全局定制行为的正确性;为有效提高租户的定制效率,基于对多租户已有正确定制结果的统计分析,设计定制推荐算法,合理减少验证次数.仿真实验结果证实了该机制的高效性及可靠性.
