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

基于Pi-演算的Web服务形式化描述模型* 被引量：2: 1; 作者胡静冯志勇《计算机应用研究》 CSCD 北大核心 2011年第6期2168-2173,共6页; 当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建... 展开更多; 关键词 WEB服务 WEB服务组合形式化描述模型 PI-演算; 在线阅读下载PDF 职称材料

基于多元Pi-演算的Web服务形式化描述模型及其验证被引量：2: 2; 作者胡静冯志勇《计算机应用研究》 CSCD 北大核心 2011年第8期2999-3003,共5页; Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生... 展开更多; 关键词 WEB服务 Web服务组合功能验证类型化的形式化描述模型多元Pi-演算; 在线阅读下载PDF 职称材料

蜕变关系形式化描述与分解技术被引量：3: 3; 作者惠战伟黄松 +1 位作者李辉刘剑豪《计算机工程与设计》北大核心 2016年第2期405-412,共8页; 蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与... 展开更多; 关键词蜕变关系蜕变测试测试判定形式化描述模型分解模型; 在线阅读下载PDF 职称材料

机械产品选配问题的二分图非形式化描述被引量：2: 4; 作者刘明周陈诚和 +2 位作者葛茂根张铭鑫扈静《农业机械学报》 EI CAS CSCD 北大核心 2007年第11期133-136,128,共5页; 在机械产品选配中,为了表达装配模型应考虑的关键因素、装配体间的配合关系以及便于个性化更改,建立基于二分图的机械产品选配非形式化描述模型,提出了d型匹配需要满足的约束条件。利用0-1矩阵将非形式化描述转化成一个便于用算法实现... 展开更多; 关键词机械产品选配非形式化描述模型二分图遗传算法; 在线阅读下载PDF 职称材料

列车运行控制系统多分辨率模型描述方法研究: 5; 作者苟晨曦蔡伯根《铁道学报》 EI CAS CSCD 北大核心 2014年第11期65-72,共8页; 列车运行控制系统仿真是研究列控系统的一个十分有效的手段。采用多分辨率建模理论,能够准确建立列控系统仿真模型,而多分辨率模型描述是多分辨率建模理论研究的基础环节。针对列控系统结构明确、仿真分布式的特点,提出了一种新的多分... 展开更多; 关键词多分辨率建模模型形式化描述列控系统系统建模; 在线阅读下载PDF 职称材料

MIS软件开发过程的描述被引量：4: 6; 作者顾明《计算机应用与软件》 CSCD 北大核心 2004年第3期21-22,128,共3页; 本文用活动的概念来描述软件的开发过程 ,建立了软件过程的形式化描述模型 ,以此为基础。; 关键词软件开发过程形式化描述模型软件工程软件系统瀑布模型 MIS; 在线阅读下载PDF 职称材料

Web服务的颜色Petri网模型及验证: 7; 作者李景霞赵慧娟《计算机应用与软件》 CSCD 2011年第3期80-82,88,共4页; 利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组... 展开更多; 关键词颜色PETRI网模型驱动体系结构形式化描述模型 WEB服务组合验证; 在线阅读下载PDF 职称材料

受限语言子集的理论研究和探索被引量：3: 8; 作者宗成庆宋今 +1 位作者陈肇雄黄河燕《中文信息学报》 CSCD 北大核心 1998年第1期9-16,共8页; 本文在综述受限语言研究成果的基础上，提出受限语言子集的一种形式化描述模型，并给出其相应的语言特性和数学特性，就受限汉语子集的确定方法问题进行了理论研究和探索。作者希望本文提出的表示模型和确定方法能够引起有关的讨论，并... 展开更多; 关键词受限语言子集形式化描述模型计算机信息处理; 在线阅读下载PDF 职称材料

题名基于Pi-演算的Web服务形式化描述模型* 被引量：2: 1; 作者胡静冯志勇; 机构天津大学计算机科学与技术学院; 出处《计算机应用研究》 CSCD 北大核心 2011年第6期2168-2173,共6页; 基金天津市科技支撑计划重点资助项目(08ZCKFGX00700) 应用基础及前沿技术研究计划资助项目(08JCZDJC19800); 文摘当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS和WS-CDL规范的重要行为在模型中作了映射。最后通过例子说明,基于局部和全局的设计方法在提出的模型中的映射是一致的。提出的描述模型直接用来进行Web服务组合的设计时,可以更好地描述动态的体系结构。; 关键词 WEB服务 WEB服务组合形式化描述模型 PI-演算; Keywords Web service Web service composition formal description model Pi-calculus; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于多元Pi-演算的Web服务形式化描述模型及其验证被引量：2: 2; 作者胡静冯志勇; 机构天津大学计算机科学与技术学院; 出处《计算机应用研究》 CSCD 北大核心 2011年第8期2999-3003,共5页; 基金天津市科技支撑计划重点资助项目(08ZCKFGX00700) 应用基础及前沿技术研究计划资助项目(08JCZDJC19800); 文摘 Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生组合时的类型良好性;给出Web服务可替换性定义,并在此定义基础上说明如何进行Web服务组合的功能验证。提出的类型化Web服务形式化描述模型,准确说明了Web服务组合运行时的类型良好性,以及Web服务组合的功能验证方法。最后通过例子说明,提出的定义和判断方法的有效性。; 关键词 WEB服务 Web服务组合功能验证类型化的形式化描述模型多元Pi-演算; Keywords Web service Web service composition function verification typed formal description model polyadic Pi-calculus; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名蜕变关系形式化描述与分解技术被引量：3: 3; 作者惠战伟黄松李辉刘剑豪; 机构解放军理工大学指挥信息系统学院软件测评中心全军军事训练软件测评中心空军预警学院信息对抗系; 出处《计算机工程与设计》北大核心 2016年第2期405-412,共8页; 基金国家863高技术研究发展计划基金项目(2009AA01Z402) 江苏省自然科学基金项目(BK20141072 +3 种基金 BK2012059 BK2012060) 20110210); 文摘蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与失效之间的联系,基于形式化定义提出一种蜕变关系分解技术。通过两个实例验证了该描述与分解技术的有效性。; 关键词蜕变关系蜕变测试测试判定形式化描述模型分解模型; Keywords metamorphic relation metamorphic testing test oracle formal description model decomposition model; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名机械产品选配问题的二分图非形式化描述被引量：2: 4; 作者刘明周陈诚和葛茂根张铭鑫扈静; 机构合肥工业大学机械与汽车工程学院; 出处《农业机械学报》 EI CAS CSCD 北大核心 2007年第11期133-136,128,共5页; 基金教育部留学回国人员科研启动基金资助项目(项目编号:200213B2); 文摘在机械产品选配中,为了表达装配模型应考虑的关键因素、装配体间的配合关系以及便于个性化更改,建立基于二分图的机械产品选配非形式化描述模型,提出了d型匹配需要满足的约束条件。利用0-1矩阵将非形式化描述转化成一个便于用算法实现的形式化模型。在此基础上,提出了基于遗传算法的形式化模型求解方法。通过一个机械产品选配实例对其进行了验证。; 关键词机械产品选配非形式化描述模型二分图遗传算法; Keywords Selective assembly of mechanical products, Non-formalization model, Bipartitegraph, Genetic algorithm; 分类号 TH166 [机械工程—机械制造及自动化]; 在线阅读下载PDF 职称材料

题名列车运行控制系统多分辨率模型描述方法研究: 5; 作者苟晨曦蔡伯根; 机构北京交通大学电子信息工程学院; 出处《铁道学报》 EI CAS CSCD 北大核心 2014年第11期65-72,共8页; 基金国家国际科技合作专项项目(2014DFA80260) 国家自然科学基金(U1334211 +2 种基金 61273089) 2013JBM007); 文摘列车运行控制系统仿真是研究列控系统的一个十分有效的手段。采用多分辨率建模理论,能够准确建立列控系统仿真模型,而多分辨率模型描述是多分辨率建模理论研究的基础环节。针对列控系统结构明确、仿真分布式的特点,提出了一种新的多分辨率模型描述方法,该方法将多分辨率建模与多分辨率仿真进行区分,提出了多分辨率模型域的概念,从而在仿真过程中,不同分辨率模型结构可以实现动态切换且不影响仿真系统的正常运行,为了维护模型间以及模型与仿真系统的一致性,设计了接口模型,以此解决了模型分辨率切换的数据正确性问题。对列控系统运行的简单过程进行了建模,通过仿真可以看出该方法的优势所在。; 关键词多分辨率建模模型形式化描述列控系统系统建模; Keywords multi-resolution modeling model description train operation control system system modeling; 分类号 U284 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名MIS软件开发过程的描述被引量：4: 6; 作者顾明; 机构深圳职业技术学院计算机系; 出处《计算机应用与软件》 CSCD 北大核心 2004年第3期21-22,128,共3页; 文摘本文用活动的概念来描述软件的开发过程 ,建立了软件过程的形式化描述模型 ,以此为基础。; 关键词软件开发过程形式化描述模型软件工程软件系统瀑布模型 MIS; Keywords MIS software Software process Process description; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名Web服务的颜色Petri网模型及验证: 7; 作者李景霞赵慧娟; 机构同济大学计算机科学与工程系上海海洋大学信息学院; 出处《计算机应用与软件》 CSCD 2011年第3期80-82,88,共4页; 基金国家高技术研究发展计划项目(2007AA01Z136) 国家重点基础研究发展规划项目(2010CB328100); 文摘利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组合结构的模型表达,用于构造满足实际需求的Web服务组合流程。该模型能较全面地描述Web服务组合,同时还能够对组合流程正确性进行分析验证,最后通过建模实例说明了所提模型的实用性。; 关键词颜色PETRI网模型驱动体系结构形式化描述模型 WEB服务组合验证; Keywords Coloured Petri net Model driven architecture Formal description model Validation of web service composition; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名受限语言子集的理论研究和探索被引量：3: 8; 作者宗成庆宋今陈肇雄黄河燕; 机构中国科学院计算机语言信息工程研究中心; 出处《中文信息学报》 CSCD 北大核心 1998年第1期9-16,共8页; 基金国家自然科学基金; 文摘本文在综述受限语言研究成果的基础上，提出受限语言子集的一种形式化描述模型，并给出其相应的语言特性和数学特性，就受限汉语子集的确定方法问题进行了理论研究和探索。作者希望本文提出的表示模型和确定方法能够引起有关的讨论，并在充分认识受限语言研究的必要性和困难的基础上。; 关键词受限语言子集形式化描述模型计算机信息处理; Keywords Restricted language,Sublanguage,Ruly Chinese; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于Pi-演算的Web服务形式化描述模型*	胡静冯志勇	《计算机应用研究》 CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
2	基于多元Pi-演算的Web服务形式化描述模型及其验证	胡静冯志勇	《计算机应用研究》 CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
3	蜕变关系形式化描述与分解技术	惠战伟黄松李辉刘剑豪	《计算机工程与设计》北大核心	2016	3	在线阅读下载PDF 职称材料
4	机械产品选配问题的二分图非形式化描述	刘明周陈诚和葛茂根张铭鑫扈静	《农业机械学报》 EI CAS CSCD 北大核心	2007	2	在线阅读下载PDF 职称材料
5	列车运行控制系统多分辨率模型描述方法研究	苟晨曦蔡伯根	《铁道学报》 EI CAS CSCD 北大核心	2014	0	在线阅读下载PDF 职称材料
6	MIS软件开发过程的描述	顾明	《计算机应用与软件》 CSCD 北大核心	2004	4	在线阅读下载PDF 职称材料
7	Web服务的颜色Petri网模型及验证	李景霞赵慧娟	《计算机应用与软件》 CSCD	2011	0	在线阅读下载PDF 职称材料
8	受限语言子集的理论研究和探索	宗成庆宋今陈肇雄黄河燕	《中文信息学报》 CSCD 北大核心	1998	3	在线阅读下载PDF 职称材料