公共文化服务平台

刘林源: 作品数：25 被引量：57H指数：5; 供职机构：南京审计大学更多>>; 发文基金：国家自然科学基金江苏省自然科学基金国家高技术研究发展计划更多>>; 相关领域：自动化与计算机技术文化科学政治法律经济管理更多>>

合作作者

协同系统中的角色及转换机制被引量：1: 2006年; 作为拓展人类合作空间的辅助工具,CSCW(Computer Supported Cooperative Work)系统不但要利用计算机提供类似于面对面的协同环境,而且应该能够提供面对面协同环境所不能给予的工具。角色机制就是一种能够解决这个问题的好方法,它通过改变、转换处于协作活动中用户的身份和职位来更好地支持高效的协同工作。该文联系对象和角色思想,讨论协同活动中的角色动态转换的实现。在角色机制的帮助下,用户将能够更灵活、更高效率地参与协同活动。; 刘林源朱海滨; 关键词：CSCW 角色代理

基于接口自动机的BPEL4WS Web服务组合形式化模型被引量：5: 2009年; 介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言(business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。; 苏焕程黄志球刘林源; 关键词：接口自动机 WEB服务 WEB服务组合

基于Time Petri Net的实时系统冲撞检测与消解被引量：2: 2012年; time Petri net(TPN)在实时控制系统的建模中得到广泛应用,而冲撞是Petri网及其扩展模型的重要行为,解决冲撞是正确分析模型动态行为的关键.由于引入时间约束,使得TPN模型的使能和触发语义比Petri网模型的语义复杂,冲撞的检测及消解变得更加困难.首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的正确性;然后在此基础上定义并证明了TPN模型中冲撞的检测方法;给出了冲撞时间区间及修改时间约束的冲撞消解方法;最后通过实例验证说明了该方法的有效性和正确性.; 周航黄志球祝义夏良刘林源; 关键词：时间PETRI网冲撞消解

基于角色的主体服务动态协调机制研究被引量：1: 2007年; 面向服务体系结构(Service-OrientedArchitecture,SOA)下的协同应用越来越趋向高度异构、动态和不断重新配置的情形,要求参与主体能够动态调整它们的服务,以适应协作环境和系统需求的变化。利用角色思想将主体的业务服务以一种粗粒度方式进行组合,提出一种快速、方便的角色近似匹配方法,重点研究了通过转换主体的扮演角色来实现服务动态调整的机制,并给出一个应用实例,仿真实验和定性分析表明基于角色方法大幅度提升了服务的质量和复用度,改善了主体对环境的适应能力,提高了协同活动的执行效率。; 刘林源朱海滨尚文倩; 关键词：角色角色转换

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

基于进程代数规约生成软件体系结构模型的方法被引量：5: 2011年; 需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模型形式化语义.进程代数是一种用来解决并发系统通信问题的形式化方法,具有精确的语法和语义,并且便于机器自动检验与验证.TCSP是进程代数CSP的实时扩展,适合于规约实时系统带有时间约束的行为.提出一种基于进程代数规约生成SA模型的方法.首先建立了自然语言规约到SA模型的转换框架;然后使用时间通信顺序进程(TCSP)描述实时系统需求规约,通过建立TCSP到UML-RT的转换机制,从而实现进程代数规约到SA模型的转换;最后通过一个实例来验证该方法在实时软件建模过程中的有效性.实验分析表明通过该方法建立的UML-RT模型能够从整体上提高实时系统SA设计的可信性.; 祝义黄志球周航刘林源; 关键词：软件体系结构 UML-RT 实时系统

C语言程序设计中文件操作部分的教学方法探讨被引量：1: 2017年; 学习C语言,不仅要求学生能够掌握基本语法知识,学会写程序,还应该深入理解库函数提供的功能是如何实现的,以达到与学过的语法知识融会贯通的目的。文章通过阐述在讲解文件操作时如何呼应已学过的知识点,包括结构体、函数和指针,从而加深对文件操作以及相应语法知识点的理解。; 陈圣磊王红霞刘林源; 关键词：程序设计库函数 C语言

调试技术在C语言程序设计教学中的作用探讨被引量：5: 2015年; C语言程序设计是计算机相关专业的一门重要课程,但是在实际教学中该课程的教学效果并不能令人满意。本文认为学生没有掌握调试技术是根本的原因。因此,本文讨论了如何在C语言程序设计的各部分内容中使用调试技术加深学生的理解,从而培养学生独立调试程序的能力,提高编写程序的兴趣。; 陈圣磊刘林源; 关键词：程序设计 C语言

云计算环境下电子政务信息资源整合研究被引量：5: 2015年; 近年来,云计算在国际上迅速发展,云计算的出现也为电子政务的发展提供了有力的支撑环境和新的实现途径。文章介绍了云计算的相关概念,分析了云计算在政务信息资源整合方面的优势,提出了云计算环境下对电子政务信息资源进行整合的方案,最后阐述了云计算环境下政务信息资源整合面临的关键问题。; 王红霞刘林源; 关键词：云计算电子政务政务信息资源

基于SPIN的BPEL4WS一致性验证: 随着业务过程的结构及交互过程越来越复杂,设计出的系统需要数次的模型转换——由较抽象的纯业务过程模型转换为较低层次的可执行的应用型模型,如BPEL4WS。但在这些模型的转换结束之后。一些关键的特性必须能被维持。为了确保这些...; 苏焕程黄志球刘林源; 关键词：业务过程执行语言 PROMELA 线性时态逻辑 SPIN 一致性; 文献传递

刘林源

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

刘林源

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈