检索结果-维普期刊中文期刊服务平台

一个柔性的形式化过程建模语言(英文) 被引量：3: 1; 作者陈诚沈备军顾毓清《软件学报》 EI CSCD 北大核心 2002年第8期1374-1381,共8页; 提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的... 展开更多; 关键词柔性形式化过程建模语言 FLEX语言软件过程面向对象; 在线阅读下载PDF 职称材料

基于过程相似的Web服务功能匹配: 2; 作者李明杨凡《计算机应用》 CSCD 北大核心 2011年第5期1370-1373,共4页; 针对现有Web服务匹配算法没有从过程与功能结合的角度实现服务匹配,从而导致匹配准确率不高的问题,在利用自动机将OWL-S刻画的Web服务表达为形式化过程的基础上,提出基于过程相似的服务功能匹配算法。该算法通过形式化过程的相似判定来... 展开更多; 关键词 WEB服务自动机 OWL-S 形式化过程过程相似功能匹配; 在线阅读下载PDF 职称材料

软件演化过程建模中的开发人员度量方法: 3; 作者陈展《计算机工程与设计》 CSCD 北大核心 2007年第21期5305-5307,共3页; 提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明... 展开更多; 关键词形式化的软件演化过程模型度量开发人员 X-S图稳定性开发过程的演化; 在线阅读下载PDF 职称材料

逻辑经验主义的归纳逻辑观浅析被引量：1: 4; 作者欧阳荣庆《四川大学学报（哲学社会科学版）》 1985年第2期32-37,共6页; 自近代以来,自然科学在物理、生物、化学等学科上取得的长足进步,使科学家们确信科学起源于经验事实,尊重观察和实验的经验方法,而鄙弃思辨方法。传统的归纳逻辑论者认为,科学是沿着经验积累,然后概括经验事实形成理论,也就是按归纳逻辑... 展开更多; 关键词归纳逻辑逻辑经验主义经验事实过程形式化逻辑演算逻辑程序事实命题思辨方法经验方法自然科学; 在线阅读下载PDF 职称材料

题名一个柔性的形式化过程建模语言(英文) 被引量：3: 1; 作者陈诚沈备军顾毓清; 机构中国科学院软件研究所华东理工大学计算机科学系; 出处《软件学报》 EI CSCD 北大核心 2002年第8期1374-1381,共8页; 基金 ~~中国科学院软件研究所创新基金; 文摘提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的方式自定义多种抽象级别的语言元素来扩充语言的描述能力.因此,FLEX语言可以支持不同层次和需求的过程建模.; 关键词柔性形式化过程建模语言 FLEX语言软件过程面向对象; Keywords software process process modeling object oriented pattern PSEE A Flexible and Formalized Process Modeling Language CHEN Cheng1, SHEN Bei-jun1,2, GU Yu-qing1 1(Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China); 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于过程相似的Web服务功能匹配: 2; 作者李明杨凡; 机构兰州理工大学计算机与通信学院; 出处《计算机应用》 CSCD 北大核心 2011年第5期1370-1373,共4页; 基金甘肃省自然科学基金资助项目(0809RJZA018); 文摘针对现有Web服务匹配算法没有从过程与功能结合的角度实现服务匹配,从而导致匹配准确率不高的问题,在利用自动机将OWL-S刻画的Web服务表达为形式化过程的基础上,提出基于过程相似的服务功能匹配算法。该算法通过形式化过程的相似判定来判断请求与服务之间是否具有过程相似性,并结合过程相似判定的结果进行功能匹配;其中,过程相似判定是通过结构相似度计算和行为相似性检测实现的。最后,通过对比实验验证了该算法的可行性和有效性。; 关键词 WEB服务自动机 OWL-S 形式化过程过程相似功能匹配; Keywords Web service automata Web Ontology Language for Service（OWL-S） formalized process process-similarity capability matching; 分类号 TP311.13 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名软件演化过程建模中的开发人员度量方法: 3; 作者陈展; 机构云南大学计算机科学与工程系; 出处《计算机工程与设计》 CSCD 北大核心 2007年第21期5305-5307,共3页; 基金国家自然科学基金项目(60463002) 云南省教育厅科研重点基金项目(042290D) 云南省信息技术专项计划基金项目(2004IT06); 文摘提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明如何度量处在构建过程中的开发人员,利用度量结果来分析开发过程的稳定性、找出可归属原因、进行预测和估计、并为整个开发过程的演化奠定基础。; 关键词形式化的软件演化过程模型度量开发人员 X-S图稳定性开发过程的演化; Keywords FSEPM measuring developers X-Scharts stability evolution ofmodelingprocess; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名逻辑经验主义的归纳逻辑观浅析被引量：1: 4; 作者欧阳荣庆; 出处《四川大学学报（哲学社会科学版）》 1985年第2期32-37,共6页; 文摘自近代以来,自然科学在物理、生物、化学等学科上取得的长足进步,使科学家们确信科学起源于经验事实,尊重观察和实验的经验方法,而鄙弃思辨方法。传统的归纳逻辑论者认为,科学是沿着经验积累,然后概括经验事实形成理论,也就是按归纳逻辑,即从个别经验事实命题推演出一般理论命题的逻辑程序发展的。他们把从某类个别命题推演出该类一般命题,把寻求一般命题的逻辑演算过程形式化,而把从个别到一般。; 关键词归纳逻辑逻辑经验主义经验事实过程形式化逻辑演算逻辑程序事实命题思辨方法经验方法自然科学; 分类号 C55 [社会学]; 在线阅读下载PDF 职称材料