国家自然科学基金(61272036) 作品数:17 被引量:31 H指数:4 相关作者: 谭文安 孙勇 唐姗 李丽萍 王慧 更多>> 相关机构: 上海第二工业大学 南京航空航天大学 更多>> 发文基金: 国家自然科学基金 上海市教育委员会创新基金 更多>> 相关领域: 自动化与计算机技术 自然科学总论 更多>>
Constraint-based QoS-aware Web Service Composition in Cross-organizational Collaboration 2018年 To improve the Quality of Service (QoS)-aware Web service compositions considering constraints between cross-organizational business,this paper analyzes the types of constraints,and accordingly proposes a Chaos Genetic Algorithm (CGA). The algorithm creates an initial population of service compositions based on the chaos theory,and then processes individuals which violate constraints in the initial population using repair strategies. Next,a new fitness function is designed to gradually eliminate the infeasible compositions generated in evolution. Finally,the algorithm makes minor chaotic disturbances on the evolved group to accelerate convergence and avoid local optimum. Experimental results demonstrate the effectiveness of the proposed algorithm. TAN Wenan ZHAO Yao JIN Ting关键词:SERVICE CONSTRAINT DISTURBANCE 基于改进花朵授粉算法的Web服务组合优化 被引量:4 2020年 对于大量功能相似而服务质量不同的Web服务,服务组合优化可使其满足客户不同需求并被广泛应用,但现有Web服务组合优化方法普遍存在搜索效率低和寻优不精准的问题。为此,提出一种改进的花朵授粉算法,通过实现全局搜索和局部搜索的动态转换,促进种群优化。将差分进化算法的变异和交换操作加入到花朵授粉算法中,增强花朵的有效性和多样性,同时利用贪心策略选择适应度值高的花朵,加快算法收敛速度,增强其寻优能力。实验结果表明,与DE、KDE、FPA和EFPA算法相比,该算法在求解服务组合问题上具有更快的收敛速度和更好的寻优性能。 谭文安 吴嘉凯关键词:差分进化 WEB服务组合 全局优化 基于智能合约的可信筹款捐助方案与平台 被引量:11 2020年 传统筹款捐助平台的集中式管理难以满足高可信机制的需求,筹款信息真假难辨,善款流向不透明。区块链技术的去中心化、数据不可篡改、可溯源、点对点交易等特点为构建可信捐助平台奠定了基础。由此以区块链技术为基础,提出了一种基于以太坊智能合约的捐助方案。首先,将筹款信息和捐款交易事件等存储在以太坊区块链上,并利用保证金机制保证了数据的真实性和可溯性;同时,阐述了该方案的架构模型,提出智能合约算法Donate代替人工操作,防止善款挪用和久未到账问题;最后,通过基于智能合约的可信筹款捐助平台验证了该方案的可行性。将所提平台与传统筹款平台比较分析,证明了该平台能安全有效地防止虚假筹款和善款挪用。 谭文安 王慧关键词:区块链 防欺诈 面向工作流可靠性计算的多子群协同进化算法 2017年 针对带全局约束条件的工作流可靠性计算问题,提出一种基于均匀多样性适应度函数的多子群协同进化算法,将工作流可靠性约束优化转化为双目标优化问题;为提高粒子在进化过程中的搜索能力,进化群体被分解为若干子群;综合考虑双目标优化问题的特点,设计了一种新颖实用的均匀多样性适应度函数,让各子群体在不同方向上协同搜索目标解;最后根据其适应度排序构造了基于非支配集合的全局最优解.仿真实验表明所提算法具有良好的效率,求得的最优解集全部满足约束条件,且分布和质量均优于基于非支配档案的混合离散粒子群算法. 孙勇 谭文安 张全全 沈腾腾关键词:工作流调度 离散粒子群优化 一种基于广义随机Petri网的BPEL建模 2014年 BPEL是一种广泛应用于支撑跨组织协同服务的组合标准.为分析BPEL语言构造业务过程的性能,基于广义随机Petri网,提出了一种BPEL模型,详细地刻画了BPEL的语法语义、活动的不同状态和执行机制,案例分析说明该模型可以有效支持服务组合定量分析.最后对未来工作进行了展望. 谭文安 葛铭珏基于过程模拟树的Web软件一致性检测方法 被引量:1 2017年 随着大数据、云计算的发展,Web软件越来越复杂,人们对其质量要求也越来越严格。研究了一种Web软件一致性检测的方法。针对Web软件的独特性质,研究了Web软件创建可执行模型的方法,动态模拟系统运行。引入文法的概念,设计一个模拟器,在模拟过程中动态检测可执行模型在外部事件(文法描述的)触发下的执行是否存在不一致现象,整个过程以模拟树的方式呈现。该方法能在项目初期检测出模型的设计与需求的不一致,在一定程度上保证模型的一致性。 李丽萍 王娜 唐姗关键词:WEB软件 上下文无关文法 可信的服务组合框架研究 2014年 Web服务环境下功能相似的质量不同的服务很多,为了更好地让消费者发现并使用其所提供的服务,服务商不惜造假欺骗客户。针对这种服务不可信等问题,提出了一种可信的服务组合框架,该框架整合了业务过程定义与服务组合,利用业务过程柔性定义来支撑服务组合的灵活选择,通过组合服务设计、组合服务选择、服务绑定这三个阶段来最终实现服务的优化选择。最后,通过一个案例来验证了该技术的有效性。 张子建 谭文安 孙勇关键词:WEB服务 自适应重配置软件系统的运行时监控方法研究 被引量:3 2013年 运行时监控技术作为实现自适应软件的一个重要研究内容,现已成为当前很多软件工程方法中用来提高软件产品可信性的一个重要设计原则。针对现有的很多软件监控方法常常将系统的监控逻辑与业务功能逻辑混杂在一起的问题,提出了一个需求模型驱动的、自适应重配置软件的运行时监控方法。以软件系统的目标模型及属性规约为基础,介绍了如何构建系统的监控模型、生成和编织监控代码,以及进行运行时诊断分析和自适应重配置调整。该方法通过采用独立于应用程序的外部单元来实现对运行时系统的监控、诊断和自适应重配置处理。这更利于系统的维护和管理,也更符合软件复用的思想。 唐姗 李丽萍 谭文安关键词:自适应 重配置 基于并行分层的工作流调度优化算法 被引量:4 2014年 针对给定截止时间约束下用有向无环图描述的工作流时间费用优化问题,逆向分层算法未考虑工作流中各个任务在实际执行过程中的并行性而带来相对较多的时间碎片,提出一种基于并行分层的工作流调度算法——并发级别工作流调度算法。该算法将工作流在实际执行过程中的某个任务和其他一个(或具有依赖关系的相邻多个)并行执行的任务尽量划分到同一层,并根据各层的并行度分配冗余时间,对每层中存在具有依赖关系的多个相邻任务采用Markov决策过程算法进行时间费用优化。对平衡结构和非平衡结构的有向无环图所描述的工作流进行大量模拟实验,对比最小临界路径算法、逆向分层算法和期限顶级算法,实验结果表明所提算法具有较显著的优势。 谭文安 路广振 孙勇关键词:工作流调度 有向无环图 优化算法 基于Artifact业务过程的分层建模方法 2014年 基于Artifact流程模型是以数据为中心的业务流程常见的建模形式。Artifact流程模型灵活性高,环境适应性强。文中基于Artifact建模思想,结合建模的形式化与说明性表现方式,给出一个新的Artifact流程建模方法并给出模型的实现架构。该方法运用分层理念,将流程模型的概念组成与业务逻辑处理分开,概念层以ArtiFlow模型为基础,详述模型各基本组件并给出基于XML的形式化实现,逻辑层将业务逻辑内容分解成各自独立的组件,供流程引擎按需调配,降低组件间的耦合性,进而提高模型的其灵活性。最后,根据上述建模思想,文章结合网上购物的流程进行了用例分析。 谭文安 田明阳关键词:ARTIFACT 业务流程建模 生命周期 有限状态自动机