分享到:

开发供电营销服务软件

本报讯(谭亮王洁李宏提)“以前交费户号老记不住,查询起来也有很多重名,现在有了这个二维码服务卡,轻轻一扫信息全知道,供电服务真是与时俱进,给力!”11月20日,家住安徽省霍邱县城关镇玉泉小区的谭先生,在收到抄表员派发的二维码服务卡后,特意到供电营业厅体验了一把。$$长期以来,由于方言、重名、客户号难以记忆、地址太长难以输入等问题,客户身份鉴别时间长,特别是在收费高峰期极易降低收费效率。霍邱县供电公司将二维码、互联网微信...  (本文共1页) 阅读全文>>

《当代工人(C版)》2018年05期
当代工人(C版)

爱上“爱异客”

农民工就业创业就上“爱异客”!“爱异客”APP是沈阳总工会推出的一款专门服务农民工群体的社会服务软件。农民工为城市建设作出了重大贡献,但由于当前国家经济、体制等原因,无法给予他们合理的社会保障。“爱异客”就是一个保障农民工基本权益的重要举措,只需简单几步,就能注册工会会员,通过工会平台,农民工得以维权,求助,法援,保障自己的基本权益。被农民工朋友誉为“做好事、办实事、解难事”的沈阳“网上农民工之家”——“爱异客”APP,今年迎来了它的三周岁生日。5月24日,“爱异客”APP上线3周年暨民工之家“服务周”活动启动仪式在沈阳市农民工之家举行,沈阳市人大常委会副主任、市总工会主席安俊辉与“爱异客”粉丝共同出席了庆生活动。活动中企业代表介绍了农民工之家“服务周”期间的培训内容及服务项目,表彰了10名“爱异客”幸运铁杆粉丝,粉丝们还亲手制作了“爱异客”APP三周年纪念版生日蛋糕,为“爱异客”庆祝3周年生日。“爱异客”APP上线3年来,先后...  (本文共1页) 阅读全文>>

《计算机科学》2013年04期
计算机科学

面向服务软件异常处理研究综述

1引言面向服务是一种新兴的软件开发范型,使用这种范型开发的软件系统以因特网上分布的各种服务为基本构成单元,通过静态或者动态地发现并组合服务来完成系统的业务功能。Web服务所处的网络环境是一个异构的、分布式自治和快速变化发展的动态环境。网络环境的异构性、分布式自治等特性决定了服务组合在执行过程中可能会受到通信模式的变化、网络失效、服务拒绝攻击、基础设施失效等问题的影响[1]。组件服务的自治性、平台独立性以及自身的更新与升级都可能导致原有服务操作失效,甚至出现服务不可用,这都将影响服务组合的正常运行,还可能导致不良甚至是灾难性的后果,软件的可用性和可信性面临着更严峻的挑战。而且,随着面向服务技术的进步和应用程度的深入,人们根据不同的企业需求,将多个现有的面向服务软件系统集成,形成更大规模、更复杂的大型软件系统,面向服务软件的处理逻辑会越来越复杂,异常发生的频率和异常处理的复杂程度也会越来越高,这类软件系统应当处理的异常及其组合情况也...  (本文共9页) 阅读全文>>

吉林大学
吉林大学

普元公司金融服务软件营销策略研究

近年来我们银行业整体IT投资规模持续增大,银行业IT解决方案市场竞争充分,竞争格局比较分散。基础软件提供商普元信息公司在其他行业的市场很可观,但在银行IT服务方面的业务尚有很大发展空间。普元金融软件的可持续发展遇到瓶颈。普元金融软件的营销策略需要被研究和分析以提出可行性方案。本文利用4P理论从产品,价格,渠道和促销方面对普元金融服务软件的营销现状与问题进行探查,发现银行业竞争仍然很激烈。普元作为软件基础商在其他行业的发展模式不适合金融行业,普元金融服务软件的营销策略需要重新设计。为了对普元金融服务软件的综合环境有个评估,首先利用PEST模型从政治法律环境,经济环境,社会文化环境和技术环境对宏观环境进行分析,接着利用五力模型从行业环境,企业内部环境,银行客户心理和同业竞争四个方面对微观环境进行分析,最后对普元金融服务软件的优势与劣势和面临的机会与威胁进行分析。普元金融面临的宏观环境稳定,我国法律法规大力科技金融的发展,银行IT领域...  (本文共56页) 本文目录 | 阅读全文>>

《西安交通大学学报》2013年04期
西安交通大学学报

面向服务软件中异常处理的形式化建模方法

面向服务软件是指通过将因特网上分布的服务资源组合起来形成能够满足用户需求的应用系统。由于面向服务软件的松耦合性、服务资源的自治性、运行环境的动态性和不确定性,使得软件在运行过 程中会面临许多异常情况,需要更复杂的异常处理机制,从而导致异常处理的形式化建模很困难。业务流程执行语言(BPEL)是构建面向服务软件的通用标准流程编程语言[1],相关研究涉及到BPEL流程的多种形式化建模方法[2-4],如:Lohm-ann和Ouyang等人给出了BPEL完整的Petri网语义[5-8],但其异常处理描述很复杂,或者仅能刻画异常处理逻辑控制流,从而导致验证非常困难;Yang等人建立了将BPEL转换为工作流网或非层次着色Petri网(CPN)的方法[9-10],但缺乏异常处理的层次化建模能力。由于BPEL中引入了一些特殊语言元素,所以其语义与一般语言元素有所不同,在处理方式上有时不能将异常抛出到上一层作用域(scope)。本文针对上述问题,提...  (本文共7页) 阅读全文>>

《计算机科学与探索》2012年03期
计算机科学与探索

面向服务软件异常处理过程的可终止性验证

1引言面向服务软件是通过将因特网上分布的服务资源组合起来,形成能满足用户需求的应用系统。由于面向服务软件的运行环境具有动态性和不确定性,服务资源具有自治性和松耦合性,使得面向服务软件在运行过程中会面临许多新的且更复杂的异常情况,从而使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。本文所指的异常处理过程的可终止性指异常处理逻辑中针对某个异常的处理,一定到达预期的成功处理或异常终止的状态。异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止,将导致面向服务软件无法正常运行。而目前缺乏异常处理过程的可终止性验证方法,从而无法保证异常处理到达预期的目标。因此本文针对上述问题,研究面向服务软件的异常处理过程的可终止性验证方法。业务流程执行语言(business process execution language,BPEL)是构建面向服务软件通用的标准流程编程语言。本文以BPEL作为载体,并在文献[1...  (本文共13页) 阅读全文>>