面向服务组合的用户隐私需求规约与验证方法

用户向Web服务组合提供隐私数据时,不同用户有自身的隐私信息暴露需求,服务组合应支持用户隐私需求的可满足性验证.首先提出一种面向服务组合的用户隐私需求规约方法,用户能够定义隐私数据及不同使用情境的敏感度,采用敏感度-信誉度函数明确可以使用隐私数据的成员服务,简化隐私需求的同时,提高了隐私需求的通用性.为了验证服务组合是否满足用户隐私需求,首先通过隐私数据项依赖图(privacy data item dependency graph,简称PDIDG)描述组合中隐私数据项的依赖关系,然后采用隐私开放工作流网(privacy open workflow net,简称POWFN)构建隐私敏感的服务组合模型,通过需求验证算法验证服务组合是否满足用户隐私需求,从而能够有效防止用户隐私信息的非法直接暴露和间接暴露.最后,通过实例分析说明了该方法的有效性,并对算法性能进行了实验分析.

服务组合安全隐私信息流静态分析方法

用户为使用服务组合提供的功能,需要提供必要的个人隐私数据.由于组合的业务逻辑对用户是透明的,且用户与成员服务之间缺乏隐私数据使用的相关协议,如何保证组合执行过程中不发生用户隐私信息的非法泄露,成为当前服务计算领域的研究热点之一.针对隐私保护特征,提出一种服务组合安全隐私信息流静态分析方法.首先,从服务信誉度、隐私数据使用目的及保留期限这3个维度提出一种面向服务组合的隐私信息流安全模型;其次,采用支持隐私信息流分析的隐私工作流网(privacy workflow net,简称PWF-net)构建服务组合模型,并通过静态分析算法分析组合执行路径,检测组合的执行是否会发生用户隐私信息的非法泄露;最后,通过实例分析说明了方法的有效性,并对方法性能进行了实验分析.与现有的相关工作相比,针对隐私保护特征提出了隐私信息流安全模型,且分析方法考虑了隐私数据项聚合问题,从而能够更为有效地防止用户隐私信息非法泄露.

面向数据流的服务组合演化影响性分析方法

BPEL已经成为事实上的Web服务组合标准语言,利用BPEL控制流图(BPEL flow graph,BFG)对BPEL进行建模,通过模型对服务组合的数据流进行分析,提出一个面向成员服务的数据依赖度量集;通过此度量集可以量化成员服务的数据依赖复杂度,从而分析成员服务对BPEL中数据流的影响程度与范围,为服务组合演化策略的制定及实施提供依据。

Web服务演化综述

随着Web服务应用越来越广泛,因新的需求或自我完善的需要,服务需进行持续不断的演化,Web服务演化问题成为研究热点。首先对Web服务演化的研究进行了分类;然后从演化需求分析、演化影响分析、演化实施三个方面对现有研究进行了分析与总结;最后,针对当前研究的不足,总结了Web服务演化需要进一步加强的研究方向。

一种面向服务组合的隐私保护方法

用户在使用Web服务组合时,其隐私信息通过服务组合暴露给成员服务,由于用户与成员服务之间缺乏隐私信息使用的相关协议,因此如何保证Web服务组合执行过程中按照用户需求暴露隐私信息成为当前的研究热点.针对现有研究的不足,提出一种基于信誉度的服务组合隐私保护方法,首先给出一种灵活的用户隐私需求规约方法,然后使用隐私开放工作流网构建隐私敏感的服务组合模型,并通过隐私需求验证算法验证服务组合是否满足用户隐私需求.通过此方法用户可以灵活定义隐私需求,并能保证服务组合按用户需求暴露隐私信息,最后通过实例分析说明了该方法的有效性.

一种基于全Hash的整词二分词典机制

为提高整词二分词典机制的分词效率,分析现有分词词典机制,提出一种基于全Hash的整词二分词典机制。该机制将首字相同的词条按字数分组,并进行全词Hash,对Hash值相同的词条进行二分查找,从而减少词条匹配的次数。理论分析和实验结果表明,该机制的分词效率较高。

基于项目驱动的软件工程教学方法探讨

针对传统软件工程教学的缺点,提出基于项目驱动的软件工程教学方法,通过项目开发实践推动理论学习,以项目实践为主线开展软件工程教学活动,使学生从被动学习转为主动学习,最终达到软件工程教学目标。

基于Lucene的中文分词器的设计与实现

针对Lucene自带中文分词器分词效果差的缺点,在分析现有分词词典机制的基础上,设计了基于全哈希整词二分算法的分词器,并集成到Lucene中,算法通过对整词进行哈希,减少词条匹配次数,提高分词效率。该分词器词典文件维护方便,可以根据不同应用的要求进行定制,从而提高了检索效率。

一种基于改进的HTTP摘要认证的SIP安全机制

SIP协议是当前IP电话中的主流协议,HTTP摘要认证机制被很多SIP系统作为安全机制,但存在客户端不能认证服务器端,且不支持密钥协商的缺陷。为解决这一不足,提出了一种基于改进的HTTP摘要认证的SIP安全机制,使得SIP安全解决方案更加完善,部署更加灵活。

面向卓越工程师培养的软件工程教学改革与实践

卓越工程师培养的核心是学生的工程实践能力,作为一门理论性和实践性非常强的课程,软件工程对培养软件工程人才的工程实践能力起到非常重要的作用。在分析了当前课程教学存在的问题的基础上,从课堂教学方法、项目案例库建设、课外自主学习机制、考核方法等方面的教学改革进行了探索与实践,并取得了良好的教学效果。

专业课教师课程思政能力培养与评价方法研究——以软件工程专业为例

专业课教师是课程思政的重要执行者和参与者。文章关注高校在深度推进课程思政过程中的核心问题,即如何培养与评价专业课程教师的课程思政能力。针对软件工程专业,提出专业课教师课程思政能力培养路径,以及课程思政能力评价方法,研究成果可以为教学组织提供推进课程思政的思路,为专业课教师提供实施课程思政的建议。

软件工程人才校企合作培养机制探索与实践

虽然软件工程专业多元协同、校企合作育人培养模式已实施多年,积累了一定的经验,但仍然存在一些问题亟需解决。在分析了当前人才培养存在的问题的基础上,以江苏省软件服务外包类专业嵌入式人才培养项目为载体,从人才培养方案、企业嵌入课程体系、企业教学环节实施监控机制、学生能力成长跟踪与评价机制四个方面对校企合作培养机制进行了探索与实践,并取得了良好的教学效果。

软件工程专业校企合作实施机制探讨与实践

为解决软件工程人才培养与社会需求脱节的问题,校企联合培养模式已经广泛推广。然而,由于缺乏有效的校企合作实施机制,影响了校企联合培养模式的人才培养质量。为进一步深化校企联合培养模式改革,针对应用型软件工程人才培养的校企合作实施机制,从企业课程体系建设、企业教学环节监控、学生能力成长跟踪与评价三个方面进行了探讨与实践,并形成了一系列规范文件。通过教学实践表明,所提出的校企合作实施机制进一步提高了人才培养质量。

SIP注册服务器的研究与设计

在介绍了SIP协议的基础上,对SIP注册服务器的注册方案进行了研究,同时对注册服务器的安全问题进行了相关论述,最后给出了注册服务器的核心模块——协议栈的设计方案和安全问题的解决方案。

面向卓越工程师培养的软件工程案例库建设与研究

软件工程是计算机学科专业核心课,具有理论性和实践性要求均较强的特点。为提高教学效果,采用案例教学法已成为共识。案例库的建设是实施案例教学的核心,对如何构建适合面向卓越工程师培养的软件工程案例库进行探索和实践。讨论了案例库建设目标,从能力知识点矩阵、案例-能力知识点矩阵、案例收集与更新、案例库平台建设等方面提出建设方案。通过教学实践表明,完善的案例库建设能够有效提高教学效果。

一种改进的SIP编解码器的设计与实现

SIP协议即会话发起协议,是当前IP电话中的主流协议,广泛应用于电信网络本文对系统原有的SIP协议编解码器进行研究分析,采用面向对象和封装的思想,充分利用C语言指针的特点,提出并实现新的SIP编解码器,同时给出两种编解码器的性能对比。改进的编解码器可以作为通用的SIP编解码器,对如何在面向过程的语言中引入面向对象的设计思想具有很好的借鉴和推广意义。

应用型软件工程人才培养模式探讨与实践

针对当前应用型软件工程人才培养与企业需求不相适应的问题,结合南京工程学院软件工程人才培养的经验,从培养目标体系、课程体系建设、校企联合培养三个方面阐述关于应用型软件工程人才培养模式的探索和实践。

一种需求驱动的服务行为适配方法

现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效。针对此问题,在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义。证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证。通过一个贯穿全文的实例分析表明了方法的可行性和有效性。

无线传感器网络LEACH协议的二进制粒子群改进算法

针对无线传感器网络LEACH协议分簇时,能量较低的节点可能会成为簇头,簇头在簇中的位置未必最优的问题,提出了一种基于二进制粒子群的LEACH协议优化算法。首先在成簇过程中使簇的个数最优,然后应用二进制粒子群算法在每个簇中选择最优簇头。仿真证明,二进制粒子群优化的LEACH协议较原始LEACH协议有效降低了总的能量消耗,延长了网络的生命期。

数据中心应用感知的动态资源配置研究

面向云计算数据中心,该文研究了应用感知的动态资源配置及其实现方法。采用马尔科夫过程对应用进行建模,并计算各功能模式下资源需求的变化关系。以保证应用执行性能为前提,提出基于执行等待时间期望的资源评估算法。提出应用感知的动态资源配置算法并和静态最大资源配置算法进行了对比实验。实验结果表明,在相同的应用负载下,该文算法相对于最大资源配置算法能够减少49%的物理机使用量;在给定同样的物理机数时,该文算法对应用请求的接受率比最大资源配置算法提高约45%。