张璇 作品数:85 被引量:296 H指数:7 供职机构: 云南大学 更多>> 发文基金: 国家自然科学基金 云南省教育厅科学研究基金 云南省应用基础研究计划面上项目 更多>> 相关领域: 自动化与计算机技术 经济管理 文化科学 自然科学总论 更多>>
面向方面业务过程建模的正确性控制与检测 被引量:3 2018年 在组织机构不断将其业务转向面向过程模式从而获得低成本、高效率、高服务质量与高生产力的同时,积累了成百上千的业务过程模型.为了支持这些大批业务过程柔性建模并提高业务过程模型可重用性,采用关注点分离思想,将实现不同功能的活动按照横切关注点活动和基本业务活动实施分离,提出面向方面业务过程建模框架.提供业务过程可重用建模方法的同时,灵活可控地实现过程模型正确性保障与检测.在面向方面业务过程建模框架中,首先定义面向方面业务过程元模型,将横切关注点活动封装为横切方面,将基本业务活动建模为基本过程.然后,按照业务过程模型正确性需求,基于面向方面编织特征,定义面向方面业务过程模型正确性,设计方面间编织正确性准则和方面织入基本过程正确性准则,为面向方面业务过程建模提供预防错误与异常建模的方法,并提出过程建模正确性检测方法,在建模过程中保证无错误与异常.在此基础上,提出面向方面业务过程建模方法,证明过程模型的结构正确性、性质合理性和行为一致性,并设计实现建模辅助工具TPAT(Trustworthy business Process Aided Tool),为面向方面业务过程建模提供技术支持.最后,通过在两个银行业务案例分析中使用所提出的理论、方法和技术,并进行性能评估,说明所提出的理论和方法是可行的,开发的辅助工具是有效的.面向方面方法可以为业务过程建模提供灵活可重用的建模方法,通过使用建模正确性准则并在建模过程中监控异常与错误,保证业务过程模型正确性,支持组织机构获得更好的过程支持和日益变更环境的适应性. 张璇 王旭 王旭 李彤 刘俊晖关键词:面向方面建模 业务过程建模 PETRI网 基于协同过滤的可信Web服务推荐方法 被引量:3 2014年 为了实现对可信Web服务的推荐,在分析了Web服务推荐技术与电子商务推荐技术的不同的基础上,提出了一种基于协同过滤的可信Web服务推荐方法。首先,根据已有成果对待组装应用的可信需求进行评估,根据此需求对相似用户进行首次筛选;然后在首次筛选的用户中,根据用户使用服务后的评分数据和用户信息来对相似用户进行二次筛选,经过两次筛选得到最终推荐用户。在根据用户对服务的评分数据计算用户之间的相似性时,考虑了不同服务对于用户间相似性的贡献值;在根据用户信息计算用户之间的相似性时,考虑到用户信息之间非线性的特点,引入了欧几里得距离公式来计算其相似值;在产生推荐的过程中还考虑了不诚实用户和用户数不足的问题。模拟实验结果表明该方法能够有效地对可信Web服务进行推荐。 张璇 刘聪 王黎霞 赵倩 杨帅关键词:WEB服务 协同过滤 非功能需求 一种基于协同双模型深度表示学习的推荐方法 本发明公开了一种基于协同双模型深度表示学习的推荐方法,涉及互联网技术的推荐系统领域,其特征在于,获取用户和物品的文本数据和关联数据,将所述文本数据通过主题模型抽取出文本特征,所述关联数据通过网络表示学习模型进行表示学习用... 张璇 唐子淇 赵静转 刘会 云炜文献传递 通用安全支撑平台及其关键技术研究 李彤 郝林 柳青 梁志宏 张璇 林英 杨维忠 杨胜林 徐营锋 方江涛 杨福贵 李伟 何丽波 耿瑞丽 刘俊辉 李虎群 赵翔 黄平 武学海 张鹏 杨安锦 赵广 该项目以Linux和Windows操作系统为系统开发平台,在对两种混合加密算法(ECC/AES和ECC/IDEA)、椭圆曲线数字签名算法(ECDSA),以及机密共享技术等进行深入研究的基础上,开发了一套较为完整的USSP...关键词:关键词:信息安全 一种基于信息抽取的联合多意图检测和重叠槽填充的方法 本发明提供了一种基于信息抽取的联合多意图检测和重叠槽填充的方法,包括以下步骤:S1、数据预处理:对输入的句子进行预处理操作;S2、口语语言编码:使用基于BERT模型的编码方式,对输入文本进行向量化提取特征;S3、意图槽值... 张璇 高宸 杜鲲鹏 农琼 王旭市场微观结构理论中的汇率指令流 2016年 从上世纪九十年代开始,以市场微观结构理论视角研究外汇市场价格变化逐渐成为汇率理论研究领域的一个重要发展方向,外汇指令流的引入又为该领域的理论研究提供了较好的微观理论支撑。本文梳理了汇率理论中有关指令流的研究成果,并对其进行了简要评述。 王旭 许莎 张璇关键词:汇率变动 市场微观结构 指令流 需求变更技术债务研究 被引量:3 2018年 在软件生命周期中,需求不断发生变更,而需求决策往往取决于开发人员的偏好和权衡,缺乏一种系统的、明确的管理方法。针对软件生命周期中由不断出现的需求变更引起的技术债务,提出一种需求变更技术债务定义。通过对需求变更技术债务的定义、检测、量化和排序,为需求变更的实现顺序以及实现方式提供技术支持。最后通过实验验证了需求变更技术债务的概念和技术的可行性。 张云洁 张璇 丁浩 王旭基于EPMM的软件过程行为偏离诊断研究 2014年 近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,在软件过程偏离发现方面,借鉴进程代数的弱互模拟思想,提出过程行为空间表达式,用以构造软件过程的行为空间来检测过程偏离;在软件过程偏离处理方面,提出过程偏离类型的划分及偏离处理策略。这种方法能够发现软件过程实施中普遍存在的过程偏离问题并加以处理来改进软件过程,最终提高软件产品质量。 朱锐 李彤 莫启 张璇 王一荃 林雷蕾 代飞关键词:进程代数 基于SE-CDIO专业英语写作课程教学改革 被引量:2 2013年 通过分析目前教学中存在的问题,探讨将SE-CDIO教学模式引入专业英语写作课程的教学,提出在新的SE-CDIO教学理念下的教学构想和课程考核方式,将"做中学"的理念渗透到双语教学中,以推动国际化人才的培养。 康雁 李彤 张璇 李浩关键词:CDIO 专业英语写作 教学改革 国际交流能力 面向方面可信软件过程建模方法研究 可信软件基于软件过程在开发或演化条件下的方法论是当前可信软件及软件工程领域国内外的关注重点。不同于普通软件,可信软件的可信性由其功能需求和非功能需求共同来体现,对可信软件需求进行研究,以及在可信软件生命周期全过程中融入可... 张璇关键词:软件过程建模 可满足性 PETRI网 面向方面建模