刘小飞
- 作品数：5 被引量：13H指数：2
- 供职机构：湖南工业大学计算机与通信学院更多>>
- 发文基金：国家自然科学基金中国博士后科学基金湖南省教育厅优秀青年基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种面向可信的分布式软件运行时行为识别方法被引量：2
- 2010年
- 软件本质上是代替人执行一定行为的,软件的可信性主要表现在其行为可信上,以软件运行时行为识别为证据的可信评估将更为直接和客观。在软件运行时行为识别过程中,为了提高识别的准确性我们引入了模式匹配,把已定义的行为模式存入到知识库当中,当需要对软件行为识别时,根据已有行为模式来匹配当前监测信息从而确定其匹配度。文章完整地阐述了这种基于模式匹配的软件运行时行为识别的全过程,最后以一个实验系统证明了此方法的可行性和准确性。
- 丁大伟李长云刘小飞
- 关键词：分布式软件匹配度
- 面向监控的工作流管理系统的设计被引量：1
- 2010年
- 为了提高工作流管理系统的可信性,在扩展开源项目uEngine工作流管理系统的基础上,设计并实现了监控功能,可有效的对工作流实例进行实时和动态的监控。将其应用到某大学电子校务平台上,取得良好的效果。
- 刘小飞李长云丁大伟
- 关键词：工作流工作流管理系统
- 分布式软件动态调控策略研究
- 在开放、动态的网络环境中,分布式软件呈现出规模庞大、松散聚合、行为复杂等特点,分布式软件自身的特点、复杂多变的网络环境以及用户需求的不断更变,需要对其进行动态的适应性调整。
传统的调控方法过于简单,主要依赖人工调...
- 刘小飞
- 关键词：分布式软件
- 文献传递
- 基于Portlet的数字化校园信息门户的设计被引量：8
- 2009年
- 数字化校园信息门户的建设仍存在很多策略和技术问题需要解决。从Portal技术的建设目标出发,探讨了Portal的体系结构、描述技术规范及工作流程。根据校园门户建设的需要,提出了一套基于Portlet技术的校园信息门户建设方案,从而使得在构建数字化校园的过程中系统融合、信息集成和用户服务个性化的问题得到解决。通过Portlet技术构建的校园信息门户,减小了门户的实现难度,降低了管理开销,提高了工作效率,在数字化校园的建设中发挥了重要作用,并取得了良好效果。
- 高俊李长云刘小飞丁大伟
- 关键词：门户数字化校园信息集成数据整合
- 一种基于有向图的工作流测试方法被引量：2
- 2010年
- 已有工作流测试方法在测试完备性和充分性方面存在不足。针对此问题文章对有向图工作流模型进行扩展,提出了一种新的工作流测试方法,设计并实现了其算法。该方法能够自动生成完备且充分的测试路径和测试用例。实例验证该方法有效。
- 丁大伟李长云刘小飞
- 关键词：有向图工作流模型软件测试
