冯在文
- 作品数：45 被引量：118H指数：6
- 供职机构：武汉大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术农业科学文化科学更多>>
- RGPS制导的按需服务组织与推荐方法
- 随着互联网上各种服务数量的爆炸性增长，如何发现满足用户个性化，多样化需求的服务成为面向服务计算时代中亟待解决的关键问题之一。本文面向特定领域问题(SDP)，提出了一种基于角色，目标，流程，服务模型的按需服务组织与推荐方法...
- 刘建晓何克清王健余墩辉冯在文宁达
- 关键词：SDP逻辑顺序
- 文献传递
- 软件工程博士研究生培养问题及改进
- 2016年
- 以2011年教育部将软件工程学科独立设置为一级学科为标志,软件工程学科建设和人才培养步入了规范化发展的轨道。但与信息化强国相比,我国软件工程博士研究生培养尚处于成长阶段,需要在实践中不断调整探索。文章分析当前软件工程学科博士研究生培养中存在的问题,并提出相应的改进措施。
- 冯在文何敏何克清
- 关键词：博士研究生培养
- 业务流程可变性配置管理合规性分析与检测方法
- 本发明公开了业务流程可变性配置管理合规性分析与检测方法，该方法是通过增加配置操作使用CPN作为形式化模型去表达可配置业务流程并用扩展的CTL公式去表示合规性规则以反映模型的合规性需求；最后，给出了可配置业务流程合规性分析...
- 黄贻望龚静冯在文黄颖李征
- 文献传递
- 基于行为的大规模云工作流模型库高效检索方法研究被引量：3
- 2018年
- 为了提高流程模型检索效率,现有的基于行为的流程模型检索方法应用基于流程执行路径/任务执行次序关系的索引去过滤大规模流程模型库,以减少候选模型的数量.由于构建与维护基于流程执行路径的索引较为困难,而基于任务执行次序关系的索引并不考虑任务执行次序关系的约束属性(如时间约束),在模型数量巨大且存在大量具有相同或相似行为的流程片段的云工作流模型库中,其过滤能力有限.因此,这些方法并不适合基于行为的大规模云工作流模型库的高效检索.鉴于此,针对云工作流模型库的特征,该文应用带时间约束的任务执行次序关系索引及流程行为精确匹配算法,提出一种改进的基于行为的两阶段流程模型检索方法.该方法在过滤阶段,构建带时间约束的任务执行次序关系索引,通过该索引对大规模云工作流模型库进行过滤,以大大减少候选模型的数量.在精化阶段,应用带时间约束的流程行为精确匹配算法对候选模型集进行精化验证.评估实验结果表明,该方法能显著提高基于行为的大规模云工作流模型库的检索效率.
- 黄华彭蓉彭蓉
- 关键词：云计算
- 化解“信息孤岛”危机的软件模型按需服务互操作技术被引量：11
- 2018年
- "沟通成就一切、互动创造价值".面对无处不在的网络化交互,实现"互联网+"应用的创新价值服务,其关键在于如何通过支撑供-需交互的语义互操作技术,实现多样化涉众需求制导的业务协作以及面向软件模型资源的服务供给侧可互操作构造,以化解云计算中深层Web服务资源的"信息孤岛"难题.该文从软件服务工程的角度,探索了从模型驱动架构MDA到模型交互驱动架构MiDA的演进;提出并论述了MiDA的三大内核技术,即RGPS需求元描述、服务供给侧的O-RGPS构造元模型以及互操作性元模型框架标准系列MFI(O-RGPS),揭示了三者之间多个"含意三角形"模式联动的基本过程以及虚实互动的软件模型互操作过程,阐明了MiDA与MDA的兼容性.最后,论述了作者负责研制的、面向模型语义互操作性治理与管理的ISO国际标准系列,对其中"过程模型注册元模型"的语义互操作性能力进行了分析与度量.上述理论和方法有助于提升我国"互联网+"企业在云计算与大数据关联分析方面的创新服务能力,可满足企业的动态业务协作以及面向多租户的个性化服务推荐需求,能够为供-需互动提供可互操作的服务供给侧结构,具有重要的实际应用价值.
- 王翀何克清王健冯在文何扬帆何非
- 面向领域核心服务定制的部分语义互操作聚类研究
- 在面向服务的软件工程(SOSE)时代中，需要面向领域用户共性需求，从语义互操作层次实现服务资源聚合，形成领域核心服务资产的聚合来满足用户需求．本文提出了一种面向领域核心服务定制的部分语义互操作性聚类方法，该方法在实施服务...
- 刘建晓何克清王健冯在文宁达
- 一种面向语义互操作性的服务聚合方法
- 在现代面向服务的软件工程(SOSE)时代中，需要面向用户需求从语义互操作层次实现Web服务的聚合组织，来满足用户的个性化多样化需求。本文首先提出一种通过服务本体引导服务进行聚类的方法，对Web服务实现功能性聚类来形成不同...
- 刘建晓何克清王健冯在文宁达
- 关键词：计算机网络网络服务程序设计语义聚类
- 一种基于情境约束的业务流程适应性配置方法及系统
- 一种基于情境约束的业务流程适应性配置方法及系统，包括根据可配置业务流程模型当中的可变点的特征，提取流程的可变点及其他业务流程组件并存储，创建相应数据库及数据表；将可变点存储到数据库当中；将可变点转化为OWL本体，得到可变...
- 何克清黄颖冯在文黄贻望田刚
- 文献传递
- 基于Logistic映射的排列图软件水印方案被引量：1
- 2013年
- 针对排列图编码鲁棒性较差的问题,提出使用Logistic映射生成软件水印的算法。根据版权所有者信息和合法用户信息生成初始值,通过Logistic映射计算混沌序列并生成水印信息。版权所有者随机生成排列图长度后将水印信息用排列图表示并嵌入宿主程序当中。提取排列图后,根据排列图相似度,在拓扑图受到攻击的情况下仍然可以证明版权。实验仿真证实该算法能够抵抗常见攻击,提高排列图的鲁棒性。
- 孙小雁张茂胜冯在文尹黎明
- 关键词：软件水印排列图鲁棒性混沌
- 面向不确定性的自适应需求规划算法研究被引量：1
- 2014年
- 从需求工程的角度解决软件自适应性问题更加符合软件外部环境因素显式化驱动软件演化的要求,本文针对自适应需求中不确定性的定量刻画和面向不确定性的需求分析问题,提出面向不确定性的自适应需求规划方法.首先,使用R2ML的类型原子表示的上下文作为需求概率规划状态节点,定义和获取隐含上下文状态以增加状态的完整性;然后,通过关联上下文状态与KAOS操作的条件元素、使用概率表示操作效果不确定性的方法扩展了KAOS操作以作为需求概率规划的动作节点;最后,提出一种基于概率规划图的需求规划算法,通过对不确定性的定量计算获得最优的自适应需求决策.
- 刘玮何成万冯在文
- 关键词：环境不确定性
