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

基于情景演算的多个智能虚拟人协作行为描述语言被引量：1: 1; 作者刘一松王刚 +1 位作者詹永照孙亚民《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第12期1629-1634,共6页; 在情景演算的框架内引入真并发动作和相应的语义,参照FIPA-ACL增加了请求、承诺、结果等通信动作,将ConGolog扩展为CTConGolog,并且基于CTConGolog提出一个请求/服务协作模型及相应语义.在此基础上,引入用于表示复杂行为动画的元动作,... 展开更多; 关键词情景演算智能虚拟主体协作行为描述语言; 在线阅读下载PDF 职称材料

基于行为模型的需求可视化研究被引量：9: 2; 作者李琳毋国庆 +2 位作者黄勃万黎吴昊《计算机学报》 EI CSCD 北大核心 2013年第6期1312-1324,共13页; 针对复杂软件系统的需求信息难以表达和沟通的问题,提出了一种用动画方式描述需求行为模型的可视化方法.该方法基于行为描述语言(Behavior Description Language,BDL)所建立的需求行为模型,动画的执行机制是采用状态机和状态块分别作为... 展开更多; 关键词软件行为行为描述语言行为模型可视化需求建模; 在线阅读下载PDF 职称材料

面向行为的需求建模研究及实现被引量：8: 3; 作者万黎毋国庆吴怀广《计算机科学》 CSCD 北大核心 2011年第4期175-181,共7页; 需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点... 展开更多; 关键词需求建模软件行为视点场景行为描述语言; 在线阅读下载PDF 职称材料

面向软件行为的需求模型可视化研究被引量：3: 4; 作者马丽吴怀广毋国庆《计算机应用研究》 CSCD 北大核心 2015年第8期2406-2409,共4页; 为提高复杂软件系统需求建模的效率和质量,提出一种图形化文本式需求模型的可视化方法。该方法应用面向行为描述语言(behavior description language,BDL)构建需求模型,定义映射规则将BDL模型的行为及行为间的关系与给定的图形模型符号... 展开更多; 关键词需求建模软件行为行为描述语言映射规则图形化; 在线阅读下载PDF 职称材料

一种面向构件的行为语义模型及其应用研究被引量：4: 5; 作者岳洋曾广平《计算机应用研究》 CSCD 北大核心 2012年第5期1751-1755,共5页; 以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,针对CDL在行为刻画上的不足进行扩展,给出了针对SMC的行为描述框架。在此基础上,选取典型的构件动态替换... 展开更多; 关键词构件动态行为行为描述语言替换性; 在线阅读下载PDF 职称材料

BDL模型到UML状态图的可视化方法研究被引量：1: 6; 作者马丽毋国庆 +2 位作者黄勃程铭崔梦天《计算机科学》 CSCD 北大核心 2015年第7期38-43,共6页; 针对复杂软件系统需求模型难以理解的问题,提出了一种UML状态图描述需求模型的可视化方法。该方法基于行为描述语言(Behavior Description Language,BDL)构建的需求模型,通过定义映射规则,将BDL模型中的行为、行为间关系与UML状态图中... 展开更多; 关键词行为描述语言需求建模映射规则模型转换状态图; 在线阅读下载PDF 职称材料

题名基于情景演算的多个智能虚拟人协作行为描述语言被引量：1: 1; 作者刘一松王刚詹永照孙亚民; 机构南京理工大学计算机科学与技术学院江苏大学计算机科学与通信工程学院; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第12期1629-1634,共6页; 基金国家自然科学基金(60273040) 江苏省社会发展计划(BS2001046) 江苏省高校自然科学研究计划(03kjd520175); 文摘在情景演算的框架内引入真并发动作和相应的语义,参照FIPA-ACL增加了请求、承诺、结果等通信动作,将ConGolog扩展为CTConGolog,并且基于CTConGolog提出一个请求/服务协作模型及相应语义.在此基础上,引入用于表示复杂行为动画的元动作,提出并且实现了一种多个智能虚拟人协作行为描述语言---CBDL.实验结果表明,CBDL能够较好地描述多个智能虚拟人在动态环境下通过推理和协作而表现出的行为.; 关键词情景演算智能虚拟主体协作行为描述语言; Keywords situation calculus intelligent virtual agents cooperation behaviors description language; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于行为模型的需求可视化研究被引量：9: 2; 作者李琳毋国庆黄勃万黎吴昊; 机构武汉大学计算机学院武汉科技大学计算机科学与技术学院智能信息处理与实时工业系统湖北省重点实验室中国民生银行科技开发部; 出处《计算机学报》 EI CSCD 北大核心 2013年第6期1312-1324,共13页; 基金国家自然科学基金(91118003 61003071 +3 种基金 61100055 31201121) 湖北省自然科学基金(2011CDB233) 深圳战略性新兴产业发展专项资金(JCYJ20120616135936123)资助~~; 文摘针对复杂软件系统的需求信息难以表达和沟通的问题,提出了一种用动画方式描述需求行为模型的可视化方法.该方法基于行为描述语言(Behavior Description Language,BDL)所建立的需求行为模型,动画的执行机制是采用状态机和状态块分别作为其执行模型和描述模型,每一个状态迁移都对应一个需要进行可视化描述的行为,一个关联元素将状态块模型中的一个迁移与一个动作原语进行关联,控制图形的运动,实现需求行为模型的可视化.该方法的优点在于,需求动画的直观性可以使不同背景的用户发现遗漏和不正确的潜在需求,避免需求变更,并且BDL模型必须通过一系列检测,以确保需求动画的正确性.文中给出了行为模型到状态模型转换规则的正确性证明,为转换提供了相应的理论验证.最后给出了校园通系统实例分析以及所实现的建模工具和动画工具介绍.; 关键词软件行为行为描述语言行为模型可视化需求建模; Keywords Animation Communication Flow visualization Requirements engineering Semantics Visualization; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向行为的需求建模研究及实现被引量：8: 3; 作者万黎毋国庆吴怀广; 机构武汉大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2011年第4期175-181,共7页; 基金国家高技术研究发展计划(863计划)(2007AA01Z185)资助; 文摘需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型。在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性。基于以上方法,设计和实现了面向行为的需求建模工具(BRMT),以辅助开发人员从行为的角度进行需求建模。; 关键词需求建模软件行为视点场景行为描述语言; Keywords Requirements modeling Software behavior Viewpoint Scenario Behavior description language; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名面向软件行为的需求模型可视化研究被引量：3: 4; 作者马丽吴怀广毋国庆; 机构平顶山学院软件学院武汉大学计算机学院郑州轻工业学院计算机与通信工程学院; 出处《计算机应用研究》 CSCD 北大核心 2015年第8期2406-2409,共4页; 基金国家自然科学基金资助项目(91118003 61003071) +2 种基金四川省学术和技术带头人培养资金资助项目; 文摘为提高复杂软件系统需求建模的效率和质量,提出一种图形化文本式需求模型的可视化方法。该方法应用面向行为描述语言(behavior description language,BDL)构建需求模型,定义映射规则将BDL模型的行为及行为间的关系与给定的图形模型符号关联;根据转换算法对构建的图形模型文法进行检查,并将其转换为BDL语言描述的行为模型,实现行为需求模型的可视化。最后通过实例验证了该方法的可行性。; 关键词需求建模软件行为行为描述语言映射规则图形化; Keywords requirements model software behavior behavior description language mapping rules graphical; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种面向构件的行为语义模型及其应用研究被引量：4: 5; 作者岳洋曾广平; 机构北京科技大学计算机与通信工程学院武警北京指挥学院; 出处《计算机应用研究》 CSCD 北大核心 2012年第5期1751-1755,共5页; 基金国家"863"计划资助项目(2009AA01Z119) 国家自然科学基金资助项目(60973065); 文摘以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,针对CDL在行为刻画上的不足进行扩展,给出了针对SMC的行为描述框架。在此基础上,选取典型的构件动态替换作为应用背景,得到基于BDL表达的构件上下文无关替换定义及其判定定理,验证了上述模型在构件行为语义抽象中的有效性和正确性。; 关键词构件动态行为行为描述语言替换性; Keywords component dynamic behavior behavior description language substitution; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名BDL模型到UML状态图的可视化方法研究被引量：1: 6; 作者马丽毋国庆黄勃程铭崔梦天; 机构平顶山学院软件学院武汉大学计算机学院武汉大学深圳研究院西南民族大学计算机科学与技术学院电子科技大学计算机科学与工程学院; 出处《计算机科学》 CSCD 北大核心 2015年第7期38-43,共6页; 基金国家自然科学基金(91118003 61003071) +3 种基金国家留学基金(201206070041) 四川省学术和技术带头人培养资金联合资助; 文摘针对复杂软件系统需求模型难以理解的问题,提出了一种UML状态图描述需求模型的可视化方法。该方法基于行为描述语言(Behavior Description Language,BDL)构建的需求模型,通过定义映射规则,将BDL模型中的行为、行为间关系与UML状态图中的迁移相关联,并将行为执行后产生的状态与UML状态图中状态相关联。然后根据转换算法自动提取各结点信息,输出完整的状态图,从而实现BDL需求模型的可视化。最后通过实例,验证了该方法的有效性。; 关键词行为描述语言需求建模映射规则模型转换状态图; Keywords Behavior description language Requirements modeling Mapping rules Model transformation State diagram; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于情景演算的多个智能虚拟人协作行为描述语言	刘一松王刚詹永照孙亚民	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2007	1	在线阅读下载PDF 职称材料
2	基于行为模型的需求可视化研究	李琳毋国庆黄勃万黎吴昊	《计算机学报》 EI CSCD 北大核心	2013	9	在线阅读下载PDF 职称材料
3	面向行为的需求建模研究及实现	万黎毋国庆吴怀广	《计算机科学》 CSCD 北大核心	2011	8	在线阅读下载PDF 职称材料
4	面向软件行为的需求模型可视化研究	马丽吴怀广毋国庆	《计算机应用研究》 CSCD 北大核心	2015	3	在线阅读下载PDF 职称材料
5	一种面向构件的行为语义模型及其应用研究	岳洋曾广平	《计算机应用研究》 CSCD 北大核心	2012	4	在线阅读下载PDF 职称材料
6	BDL模型到UML状态图的可视化方法研究	马丽毋国庆黄勃程铭崔梦天	《计算机科学》 CSCD 北大核心	2015	1	在线阅读下载PDF 职称材料