国家自然科学基金(61100017)
- 作品数：10 被引量：10H指数：2
- 相关作者：冯在文龚平赵楷陈佳丽张亚红更多>>
- 相关机构：武汉大学福建师范大学新疆大学更多>>
- 发文基金：国家自然科学基金福建省自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 软件工程博士研究生培养问题及改进
- 2016年
- 以2011年教育部将软件工程学科独立设置为一级学科为标志,软件工程学科建设和人才培养步入了规范化发展的轨道。但与信息化强国相比,我国软件工程博士研究生培养尚处于成长阶段,需要在实践中不断调整探索。文章分析当前软件工程学科博士研究生培养中存在的问题,并提出相应的改进措施。
- 冯在文何敏何克清
- 关键词：博士研究生培养
- 一种高效的业务过程的合规性监控框架被引量：2
- 2017年
- 为了对业务过程的合规性进行监控,提出业务过程合规性监控框架bpCMon,包括合规性规则描述语言ECL和事件响应系统ERS。ECL建立在事件和事件关系模式上,能描述具有多业务视角的合规性规则。ERS是一个基于规则系统的监控器,包括规则系统和工作结构,工作结构中的索引能支持ERS监控器对事件的高效响应。使用真实医疗数据证实了bpCMon的实用性,通过与其他相关监控器的比较验证了ERS监控器的高效性。
- 龚平冯在文蒋建民
- 语义标识的过程模型的可执行性分析
- 2012年
- 语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语义过程模型质量的核心问题,同时已被证明是一个co-NP难问题.基于关联变量集模型定义了语义过程模型的动态语义;定义了该动态语义的命题公式的编码规则;提出了基于可满足性求解器的可执行性分析方法;该方法能判定可执行性问题同时当模型不满足可执行性时能反馈出有问题的活动;此外,实现了相应的原型工具SPMT,该工具支持对语义过程模型的建模及可执行性分析;最后通过实际例子对以上理论及工具进行了有效性验证.
- 龚平蒋建明张仕
- 关键词：可执行性
- 基于场景的面向方面软件体系结构度量方法被引量：2
- 2013年
- 软件体系结构的评估为提高软件质量、控制系统复杂性提供保证,但多数单纯基于场景或基于度量的评估技术普遍存在度量角度单一的问题。针对该问题,结合场景技术提出了一种支持面向方面软件体系结构的度量方法。通过一组度量指标对体系结构进行度量并量化其结构特征;引入场景更细粒度地刻画体系结构的质量属性,考察场景在体系结构中的映射程度。最后对某保险案例的体系结构设计方案进行对比与选择,验证了方法的可行性及实用价值。两种技术的结合为更全面地进行面向方面软件体系结构的评估提供支持与参考。
- 陈佳丽张琳琳张亚红赵楷冯在文倪友聪
- 关键词：软件体系结构
- 工作流技术在地矿设备管理系统中的应用及实现被引量：2
- 2013年
- 提高现代企业设备管理的信息化水平,使设备资产的综合效益达到最佳的程度,对于促进企业技术进步、提高经济效益和市场竞争力具有非常重要的意义。针对新疆地质矿产勘查开发局某地质大队设备种类繁杂、管理无序化和自动化程度低的问题,采用工作流技术和业务流程管理思想设计并开发地矿设备管理系统,研究工作流技术在地矿设备管理中的应用。系统实现了以人工为主的传统设备管理业务流程设计模式向可视化建模设计模式的转变,基于XML技术整合了设备管理业务流程的可视化建模、发布、流程模型的解析、运行和持久化。系统上线使用情况表明,企业设备的技术管理水平和设备应用的效能得到了显著提高。
- 张亚红张琳琳石刚赵楷陈佳丽冯在文
- 关键词：工作流XML
- Web服务DoS攻击建模方法研究
- Web服务是一种自包含的松耦合应用程序。随着Web服务的广泛应用,其安全问题也日益凸显。由于Web服务运行在开放复杂的环境下,因此Web服务容易遭到来自外界的多种攻击。其中,Do S攻击（Denial of Servic...
- 魏春霞
- 关键词：WEB服务安全随机高级PETRI网马尔可夫链安全令牌
- 基于Logistic映射的排列图软件水印方案被引量：1
- 2013年
- 针对排列图编码鲁棒性较差的问题,提出使用Logistic映射生成软件水印的算法。根据版权所有者信息和合法用户信息生成初始值,通过Logistic映射计算混沌序列并生成水印信息。版权所有者随机生成排列图长度后将水印信息用排列图表示并嵌入宿主程序当中。提取排列图后,根据排列图相似度,在拓扑图受到攻击的情况下仍然可以证明版权。实验仿真证实该算法能够抵抗常见攻击,提高排列图的鲁棒性。
- 孙小雁张茂胜冯在文尹黎明
- 关键词：软件水印排列图鲁棒性混沌
- 基于反演模式支持多租户动态配置的云工作流模型构建被引量：1
- 2013年
- 为解决云工作流中多租户需求变化的动态适应性问题,提出基于反演模式支持多租户动态配置的云工作流模型。该模型运用反演计算的思想,从过程模型、角色模型、接口模型和状态模型等方面对云工作流进行描述和控制,并通过租户元对象所控制的拓扑元对象、角色元对象、任务元对象、状态元对象及其提供的元对象协议来实现对租户需求变化的适应性调整。实例分析表明,模型能够满足业务流程变更、人员变动及服务资源异常所引起的云工作流的适应性调整。
- 黄华彭蓉冯在文
- 关键词：工作流模型云计算
- 大规模流程模型库的高效检索算法被引量：1
- 2016年
- 为了实现对大规模流程模型库的高效检索,本文提出一种基于两级索引(节点索引和边索引)的流程模型库检索(简称流程检索)算法.该算法通过节点索引过滤大规模流程模型库,得到候选模型集,由动态构建的边索引对候选模型集进行第二次过滤,应用子图同构算法对两次过滤后的候选模型进行验证.为进一步加速流程检索过程,将该算法与并行计算模式相结合,提出一种检索效率更高的多路并行检索算法.实验结果表明,本文提出的算法可以显著提高大规模流程模型库的检索效率.
- 黄华彭蓉冯在文
- 关键词：业务流程管理
- 基于标注的业务过程合规性验证方法被引量：1
- 2014年
- 当前,企业的业务活动受到越来越多的来自政府法律法规、行业标准及自身内控制度的规范约束。如何确保支撑企业业务活动的过程感知系统是合规的已成为信息系统(IS)研究领域的热点问题。确保过程模型的合规性是实现过程感知系统的合规性的重要前提。针对过程设计阶段过程模型的合规性,扩展前期关于语义标注过程模型的可执行性分析的工作,提出了基于标注的合规性验证方法。方法包括:合规性规则模式的标注表达式生成和基于合规性标注的过程模型的可执行性分析方法。合规性标注表达式描述了规则所关联的活动及其相应的合规性约束,对合规性验证的调试及运行时合规性检测评估能起到有效的支持作用;合规性标注的过程模型的可执行分析方法是利用满足性求解器对合规性信息标注后的过程模型是否可执行进行求解。通过银行开户的流程案例,证明了上述方法的有效性。
- 龚平冯在文
- 关键词：业务过程管理
