沈立炜
- 作品数：57 被引量：81H指数：5
- 供职机构：复旦大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术经济管理文化科学天文地球更多>>
- 一种基于语义描述的Web应用构件自动组装与实现方法
- 2015年
- 构件组装技术是一种将已有的可复用构件遵循特定的组装方案进行组合的技术,组装的结果是一个粒度更大的构件或者是一个完整的应用系统。然而,现有的技术还难以自动组装那些涉及在线人工交互操作的Web应用构件。针对这个问题,提出一种基于语义描述的Web应用构件自动组装与实现方法。该方法首先提出一种扩展OWL-S的针对Web应用构件及其组装的语义化描述方案。基于该描述,可根据用户的应用需求按照匹配规则从众多构件中筛选出符合需求语义描述的Web应用构件。另外,该方法还提出一种OWL-S到符合BPMN2.0标准的映射方案,用于将描述Web应用构件及其组装方式的OWL-S映射为BPMN2.0文件。j BPM流程引擎可加载并解释执行该BPMN文件,从而实现Web应用构件的自动组装与运行。最后,通过一个旅行规划的实例验证了该方法的可行性和有效性。
- 王永峰沈立炜彭鑫赵文耘
- 关键词：语义描述流程引擎
- 基于应用描述的Android代码自动生成被引量：2
- 2016年
- 在移动开发领域,安卓应用的开发吸引着广大移动终端厂商和开发者的加入。目前,开发者大多采用传统的方式,基于集成开发环境为安卓应用的每一项组成部分进行设置或编码,这些工作可能花费开发者较多的时间。然而,与应用框架相关的部分代码与配置文件具有类似的模式,通过复用及定制的方式可以有效提高应用的整体开发效率。为了实现这一目标,提出一套借鉴MDA(Model-Driven Architecture)思想的方法,基于安卓应用的描述来完成安卓代码框架部分的自动生成。该方法包括一种描述安卓应用基本元素及其关联关系的元模型,以及一套可复用且支持定制的应用代码模版。基于元模型标准的特定安卓应用的描述可以驱动基于模版的安卓框架代码的自动生成。在该方法基础上,开发Android应用框架自动生成工具,并以一个实例展示了方法与工具的可用性。
- 江逸舟沈立炜彭鑫赵文耘
- 关键词：ANDROID模型驱动架构代码自动生成元模型
- 多源多格式SST数据转换及融合技术
- 本文对数字海洋中各种数据格式转换及多源SST的融合进行研究。当今数字海洋的研究不断深入的情况下，各种记录海洋信息的数据格式层出不穷。各种不同的数据格式，不同的开发工具和不同的数据平台，造成搭建海洋数据库以及海洋信息文件之...
- 沈立炜
- 关键词：数据融合ORACLE数据库自适应加权融合
- 文献传递
- 空间众包任务的路径动态调度方法被引量：1
- 2022年
- 空间众包用于解决带时空约束的线下众包任务,近几年得到了快速发展。任务调度是空间众包的重要研究方向,难点在于调度过程中任务和工作者的动态不确定性。为了高效地进行任务路径动态调度,提出了同时考虑任务和工作者的不确定性的空间众包任务路径动态调度方法,该方法进行了3方面的改进。首先,扩展了调度需要考虑的因素,除了考虑新增任务的时空属性不确定性之外,还考虑了新增工作者的交通方式和时空属性的不确定性。其次,对调度策略进行改进,通过使用聚合调度策略,对动态新增任务先进行聚合处理,随后再进行任务分配和路径优化,相比传统非聚合调度计算时间显著减少。最后,对调度算法进行改进,基于传统遗传算法,将任务分配和路径优化操作迭代进行,相比先进行任务分配再进行路径优化的调度算法,提高了获取最优结果的准确性。此外,文中设计并实现了基于真实地图导航的空间众包任务路径动态调度模拟平台,并基于该平台验证了所提方法的有效性。
- 沈彪沈立炜李弋
- 关键词：任务调度路径规划遗传算法
- 基于录制回放的移动应用可访问性增强方法
- 2023年
- 移动应用的可访问性指在不受身体和认知障碍的影响下便捷地使用移动应用的能力,其对老年人与残疾人群体具有重要意义。缩短一个应用使用过程中的交互路径(减少操作步骤数)是增强移动应用可访问性的一种重要方式。录制回放技术基于所录制的脚本自动执行交互过程中的固定操作,实现交互操作的缩减。然而,现有的录制回放工具仍存在局限性,包括依赖ROOT权限或使用侵入式手段才能进行录制并实现脚本可迁移。另外,已有工具录制的脚本不支持参数化的操作。针对这些问题,提出了基于录制回放的移动应用可访问性增强方法。在该方法的录制过程中,以可访问性服务为媒介,避免申请ROOT权限或使用侵入式手段,设计路径索引算法保证脚本的可迁移性,设计脚本参数化算法记录参数化操作,从而生成具有终端迁移性和操作数据泛化性的应用执行脚本。基于该方法开发了录制回放原型工具RRA并构建了面向10个流行应用的50个常见执行脚本。使用这些脚本在同一设备上的回放成功率为80%,与对比方法SARA相当。对RRA成功回放的40个脚本中的5个脚本进行参数化录制,在同一设备上的回放成功率达100%。对两种方法均能录制成功的29个脚本以及5个参数化脚本进行迁移执行,RRA的回放成功率为94%,高于SARA。
- 李向民沈立炜董震
- 关键词：可访问性
- 一种基于场景故事板的人机物融合应用建模方法
- 本发明涉及一种基于场景故事板的人机物融合应用建模方法，包括以下步骤：获取人机物融合应用的场景，以场景故事板的形式对场景进行描述，得到场景描述；对场景描述进行一致性检查，所述一致性检查包括分支条件检查、情景连接关系检查、服...
- 沈立炜彭鑫何飞佳
- 文献传递
- 软件产品线领域模型与应用模型的通用同步演化方法被引量：3
- 2015年
- 领域模型与应用模型保持一致的同步演化对于软件产品线的长期发展至关重要.然而,为不同类型的模型分别开发同步机制可能成为冗余且容易出错的工作.因此,提出一种软件产品线领域模型与应用模型的通用同步演化方法.该方法的核心是一个被称为SPL-GSync的基于模型的通用同步框架.框架涵盖一个通用元模型,能够通过一种通用的描述方式表示不同种类的产品线模型的内容,尤其是领域模型所包含的可变性.基于该元模型,定义了一套可复用的同步规则集.只需开发不同类型的模型与通用模型的双向转换程序,SPL-GSync便能有效实现不同类型的领域模型与应用模型之间的一致性同步.另外,SPLGSync已被实现为遵循C/S架构的软件工具原型,本文使用该工具以特征模型间的同步实例展现方法的有用性.
- 丁宝宝沈立炜彭鑫赵文耘
- 关键词：软件产品线
- 本体概念图的展示过程及技术实现
- 2015年
- 本体建模是语义网研究与建设中的重要工作。在面对一个大规模的领域时,采用众包以及图形化的编辑方式能够吸引更多人参与本体建模的工作。在为此设计的协同建模平台中,本体概念图的展示应满足相应的特征,包括内容正确性、局部化展示以及轻量级的数据传输。针对概念图展示的实际需求,研究并归纳了基于本体文件的概念图展示过程,该过程旨在将后台保存的本体内容传递到前端的概念图编辑器中,包括本体读取、局部本体抽取、本体数据转换、图形模型转换和图形展示一系列步骤。另外,在采用本体查询、模型转换语言等一系列工具的基础上,给出了概念图展示的实现方案,并将实现该展示过程的模块集成在本体协同建模平台中。
- 王诗碕李伊潇沈立炜赵文耘
- 关键词：语义网
- 基于体系结构的软件产品线演化方法
- 本发明以统一的软件产品线体系结构与构件版本模型为基础，在体系结构和构件两个层面上实现统一、协调的产品线演化支持，包括基于参考体系结构的应用系统体系结构定制、应用系统体系结构演化反馈及合并、应用系统体系结构同步、应用构件定...
- 彭鑫赵文耘沈立炜
- 基于静态分析的JavaScript类型失配缺陷查找被引量：1
- 2017年
- 由于JavaScript自身的语言特性,JavaScript程序中可能存在与运行时变量类型不匹配的缺陷,这类缺陷往往难以被察觉,只有在运行时报错后才能发现故障,而人工检查代码时需要开发者花费大量的时间通过调试的方法来定位查找代码缺陷。提出了一种静态分析JavaScript的方法来检查可能的运行时类型不匹配缺陷。该方法首先基于HTML和JSP页面对于JavaScript文件的引用将整个项目中的JavaScript文件进行分组;接着以分组为单位对JavaScript文件进行分析和变量类型推断,再检查每个分组中是否存在多类型属性;然后对这种多类型属性的使用进行检查;最后对检查结果进行报告,并给出修复建议。实现了一个用于自动检测JavaScript中多类型属性缺陷的工具,并通过在真实JavaScript项目中的实验证明了该方法的可行性,与已有的JavaScript分析方法相比,该方法的效果更优,提升了有关缺陷查找的效率与有效性。
- 魏苗吴毅坚沈立炜彭鑫赵文耘
- 关键词：JAVASCRIPT
