简介:为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机(WCFA)对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机(NWA)对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机(NWA)的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性(SAT)求解工具对这些断言进行验证.
简介:摘要在新时代的发展下,计算机和网络成为了一个非常巨大的推力,也正是因为计算机和网络的存在,使得全世界的联系更为的紧密。作为网络发展的一个重大受益者,金融行业也正是因为网络的存在使得更多的人参与到其中,也使得金融行业的从业者能够更好的为广大民众提供更加便捷的服务。计算机和网络深刻影响着金融行业的发展。在本文,我们以语义web为基础,来对社群网络金融服务模式进行探讨,首先对现状和存在问题进行了阐述,之后对检索服务模式、推荐服务模式以及集成服务模式等三种模式进行分别阐述。
简介:远程FEA服务系统的总体结构采用B/S模式的3层网络体系结构,如图l所示,主要的网络管理功能和应用程序等都集中在服务中心。其工作流程为:用户通过浏览器访问FEA服务中心的Web服务器进行登录,系统验证用户身份后,根据用户权限进入操作页面。如果用户有委托分析的合作意向,可通过在线商务功能模块与服务中心采用视频会议、电子白板或NetMeeting等形式进行初步的分析任务描述和讨论,确定分析结果的形式、完成时间以及费用等,并最终签订委托合同,由服务中心分配给该客户唯一的分析任务编号和密钥。授权合同用户通过E—mail或FTP等文件传输工具将零件电子图纸和文档、使用条件和分析要求等数据和信息上传到服务中心后,分析服务功能模块必须根据客户提交的信息及委托的分析任务需求经过FEA过程规划和优化决策出最佳的分析方案,
简介:介绍了一种利用手机应用程序的实时性和web应用程序的广泛性、便利性开发系统程序,共同提供服务的拼车系统该系统以web小服务为基础,实现了拼车数据在web端和手机端的实时共享,使拼车更加便捷,提倡了低碳、环保、节能的生活理念
简介:针对现有PPM模型预测准确率不够高,且无法处理好预测准确率与预测代价之间平衡的问题,提出了一种新的改进PPM模型(PD-PPM)用于Web服务预测,以便更实时地向用户提供个性化、智能化的服务。为了建立该模型,定义了Web服务编码结构、错误补偿矩阵(ECM)、子类服务PPM模型(SW-PPM)和大类服务PPM模型(PW-PPM),并利用控制领域的PD控制算法,在SW-PPM模型与PW-PPM模型之间进行切换控制和参数调整;此外,还在ECM的基础上建立了错误补偿机制。经实验证明,PD-PPM模型能有效平衡预测准确率和预测代价之间的矛盾,并可以对预测准确率进行精准地跟踪控制,从而达到了预期的效果。
简介:ThebackdoororinformationleakofWebserverscanbedetectedbyusingWebMiningtechniquesonsomeabnormalWeblogandWebapplicationlogdata.ThesecurityofWebserverscanbeenhancedandthedamageofillegalaccesscanbeavoided.Firstly,thesystemfordiscoveringthepatternsofinformationleakagesinCGIscriptsfromWeblogdatawasproposed.Secondly,thosepatternsforsystemadministratorstomodifytheircodesandenhancetheirWebsitesecuritywereprovided.Thefollowingaspectsweredescribed:oneistocombinewebapplicationlogwithweblogtoextractmoreinformation,sowebdataminingcouldbeusedtomineweblogfordiscoveringtheinformationthatfirewallandInformationDetectionSystemcannotfind.AnotherapproachistoproposeanoperationmoduleofwebsitetoenhanceWebsitesecurity.Inclusterserversession,Density-BasedClusteringtechniqueisusedtoreduceresourcecostandobtainbetterefficiency.