SaaS模式已成为当前流行的软件服务形式.为满足不同租户个性化的业务服务需求,SaaS模式必须提供灵活的定制机制.为此,提出了一个支持租户业务流程定制行为建模及验证的框架.该框架以层次定制行为约束图作为定制指导,通过TLA(Temporal Lo...SaaS模式已成为当前流行的软件服务形式.为满足不同租户个性化的业务服务需求,SaaS模式必须提供灵活的定制机制.为此,提出了一个支持租户业务流程定制行为建模及验证的框架.该框架以层次定制行为约束图作为定制指导,通过TLA(Temporal Logic of Actions)对各层的原子定制活动建模,并以此为基础构建租户的全局定制行为,然后基于应用的业务规则约束设计算法验证全局定制行为的正确性;为有效提高租户的定制效率,基于对多租户已有正确定制结果的统计分析,设计定制推荐算法,合理减少验证次数.仿真实验结果证实了该机制的高效性及可靠性.展开更多
无线射频识别RFID(Radio Frequency Ident ification)亦称为电子标签,是一项稳定可靠的自动识别技术,它利用无线射频方式进行非接触双向通信,提供了快速、灵活和可靠的检测、跟踪、管理各种物品的电子方式。简单介绍了RFID的组成,工作...无线射频识别RFID(Radio Frequency Ident ification)亦称为电子标签,是一项稳定可靠的自动识别技术,它利用无线射频方式进行非接触双向通信,提供了快速、灵活和可靠的检测、跟踪、管理各种物品的电子方式。简单介绍了RFID的组成,工作原理和RFID具有"非接触操作,长距离移动识别,成本低经济耐用"特点。结合军队院校教学管理上存在的特点,在校运用RFID技术,实现院校静态的精细化管理、动态的实时化管理,处理应急事件的规范化管理,促进院校信息化建设再上一个新台阶,确保院校又好又快地发展。展开更多
文摘SaaS模式已成为当前流行的软件服务形式.为满足不同租户个性化的业务服务需求,SaaS模式必须提供灵活的定制机制.为此,提出了一个支持租户业务流程定制行为建模及验证的框架.该框架以层次定制行为约束图作为定制指导,通过TLA(Temporal Logic of Actions)对各层的原子定制活动建模,并以此为基础构建租户的全局定制行为,然后基于应用的业务规则约束设计算法验证全局定制行为的正确性;为有效提高租户的定制效率,基于对多租户已有正确定制结果的统计分析,设计定制推荐算法,合理减少验证次数.仿真实验结果证实了该机制的高效性及可靠性.
文摘无线射频识别RFID(Radio Frequency Ident ification)亦称为电子标签,是一项稳定可靠的自动识别技术,它利用无线射频方式进行非接触双向通信,提供了快速、灵活和可靠的检测、跟踪、管理各种物品的电子方式。简单介绍了RFID的组成,工作原理和RFID具有"非接触操作,长距离移动识别,成本低经济耐用"特点。结合军队院校教学管理上存在的特点,在校运用RFID技术,实现院校静态的精细化管理、动态的实时化管理,处理应急事件的规范化管理,促进院校信息化建设再上一个新台阶,确保院校又好又快地发展。
