期刊文献+
共找到2,191篇文章
< 1 2 110 >
每页显示 20 50 100
基于时序逻辑的软件体系结构描述语言XYZ/ADL 被引量:40
1
作者 朱雪阳 唐稚松 《软件学报》 EI CSCD 北大核心 2003年第4期713-720,共8页
体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于... 体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于XYZ/E的体系结构描述语言XYZ/ADL支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了XYZ/ADL的概念框架并用XYZ/E进行语义解释,介绍了如何用XYZ/ADL描述体系结构和体系结构风格. 展开更多
关键词 时序逻辑 软件体系结构 描述语言 XYZ/ADL 软件开发 体系结构描述语言 时序逻辑语言
在线阅读 下载PDF
基于时序逻辑的面向方面体系结构描述语言 被引量:4
2
作者 倪友聪 应时 +2 位作者 张琳琳 文静 叶鹏 《计算机科学》 CSCD 北大核心 2010年第1期146-152,162,共8页
运用传统体系结构描述语言描述的软件体系结构(SA)方案始终存在着一些横切行为和特征,它们混杂和散列在不同的SA设计单元中,使得SA难以理解、难以演化和难以重用。针对这一问题,基于时序逻辑语言XYZ/E,在统一的时序逻辑框架下设计出一... 运用传统体系结构描述语言描述的软件体系结构(SA)方案始终存在着一些横切行为和特征,它们混杂和散列在不同的SA设计单元中,使得SA难以理解、难以演化和难以重用。针对这一问题,基于时序逻辑语言XYZ/E,在统一的时序逻辑框架下设计出一种面向方面体系结构描述语言AC2-ADL。系统地阐述了AC2-ADL的概念框架并用XYZ/E进行语义解释,最后结合案例介绍了如何用AC2-ADL对SA进行描述。 展开更多
关键词 软件体系结构 软件体系描述语言 时序逻辑 面向方面体系结构描述语言
在线阅读 下载PDF
芯片设计方法学的基础——硬件描述语言Verilog——国家标准GB/T18349-2001《集成电路/计算机硬件描述语言Verilog》介绍 被引量:4
3
作者 蒋敬旗 刘明业 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第11期1091-1095,共5页
全面且系统地介绍硬件描述语言 Verilog标准的基本内容、组成及其修订要点 ;同时介绍了《硬件描述语言Verilog(第 4版 )》.
关键词 芯片设计方法学 硬件描述语言 国家标准 GB/T18349-2001 《集成电路/计算机硬件描述语言Verilog》 VERILOG语言 集成电路 CAD
在线阅读 下载PDF
基于TCSP的实时软件体系结构描述语言的实现
4
作者 崔小乐 曾福萍 +1 位作者 李秋英 阮镰 《计算机工程》 CAS CSCD 北大核心 2004年第20期75-77,共3页
在分析现有软件体系结构描述语言在实时应用中不足之处的基础上,介绍了一种新的实时软件体系结构描述语言——RTADL的实现机制。该语言将TCSP和XML相结合,在保证可扩展性的基础上,可满足大型实时软件体系结构规格中对实时和并发特性说... 在分析现有软件体系结构描述语言在实时应用中不足之处的基础上,介绍了一种新的实时软件体系结构描述语言——RTADL的实现机制。该语言将TCSP和XML相结合,在保证可扩展性的基础上,可满足大型实时软件体系结构规格中对实时和并发特性说明的要求。 展开更多
关键词 软件体系结构描述语言 TCSP XML 实时软件体系结构描述语言
在线阅读 下载PDF
面向微处理器验证的约束描述语言及其编译器
5
作者 朱丹 冷彪 +3 位作者 李暾 梁磊 郭阳 李思昆 《计算机工程与应用》 CSCD 北大核心 2005年第19期83-86,136,共5页
该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验... 该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验和结果。 展开更多
关键词 体系结构描述语言 约束满足问题 约束描述语言
在线阅读 下载PDF
REAL:面向可靠性评估的软件架构描述语言
6
作者 陈未如 李磊 王军 《计算机工程与设计》 CSCD 北大核心 2010年第10期2241-2245,共5页
为提高软件质量减少软件开发成本,从软件可靠性评估的角度出发,对软件架构描述语言进行了研究,提出了一种基于XML和软件可靠性评估的软件架构描述语言(reliability evaluation oriented architecture description language,REAL),主要... 为提高软件质量减少软件开发成本,从软件可靠性评估的角度出发,对软件架构描述语言进行了研究,提出了一种基于XML和软件可靠性评估的软件架构描述语言(reliability evaluation oriented architecture description language,REAL),主要目的是用于描述软件架构以便进行给予架构的软件可靠性评估。REAL重点关注软件架构的构成关系及各组件、子架构的可靠性描述和计算。同时,实现了基于REAL语言的编译系统,并通过实例进行了测试。 展开更多
关键词 面向可靠性评估的软件架构描述语言 软件架构 架构描述语言 组件 可扩展标记语言
在线阅读 下载PDF
用户需求描述语言的扩充及需求分析描述语言的设计
7
作者 李朝有 夏幼明 徐天伟 《云南师范大学学报(自然科学版)》 2003年第2期17-21,共5页
文章首先对用户需求信息描述语言 (User' s Need Description Language,简称 UNDL )进行扩充 ,以提高对用户需求信息的描述能力 ,并阐述了该语言的使用方法 ;其次 ,设计出需求分析描述语言(Need Analysis Description Language,简称... 文章首先对用户需求信息描述语言 (User' s Need Description Language,简称 UNDL )进行扩充 ,以提高对用户需求信息的描述能力 ,并阐述了该语言的使用方法 ;其次 ,设计出需求分析描述语言(Need Analysis Description Language,简称 NADL) ,对 UNDL语言构成的用户需求描述的文本进行词法检查和语法分析 ,并用 NADL来记录此翻译得到的中间文本。以此规范的形式表示用户需求分析的结果 。 展开更多
关键词 用户需求信息描述语言 领城专家知识库 中间文本 语言设计 UNDL NADL 需求分析描述语言
在线阅读 下载PDF
电力系统数据模型描述语言E 被引量:73
8
作者 辛耀中 陶洪铸 +1 位作者 李毅松 石俊杰 《电力系统自动化》 EI CSCD 北大核心 2006年第10期48-51,92,共5页
为满足电力系统数据模型的高效描述和大量在线数据的高效交换,研发了数据模型描述语言E,它采用面向对象技术,兼容面向关系技术,吸收了XML的优点;在描述100节点CIM模型时,E语言的效率比XML高13.6倍;E语言已在电力调度系统成功应用。
关键词 数据模型 描述语言 E语言
在线阅读 下载PDF
计算机网络防御策略描述语言研究 被引量:15
9
作者 夏春和 魏玉娣 +2 位作者 李肖坚 王海泉 何巍 《计算机研究与发展》 EI CSCD 北大核心 2009年第1期89-99,共11页
定义了一种计算机网络防御策略描述语言CNDPSL(computer network defense policy specificationlanguage).该语言面向CNDPM模型,能够统一描述保护、检测和响应策略.在CNDPM模型中,给出了抽象策略细化为具体规则的推导原理,并以形式化的... 定义了一种计算机网络防御策略描述语言CNDPSL(computer network defense policy specificationlanguage).该语言面向CNDPM模型,能够统一描述保护、检测和响应策略.在CNDPM模型中,给出了抽象策略细化为具体规则的推导原理,并以形式化的方法分析并验证了策略的完备性、一致性和有效性.CNDPSL是一种声明式语言,抽象了网络防御控制的行为,对网络防御需求具有较好的灵活性、可扩展性和适应性.最后给出了策略引擎的原型及其实现.在GTNetS仿真平台中的实验表明,该语言能够自动地转化为具体的技术规则并实现其表达的防御效能. 展开更多
关键词 计算机网络防御 策略 CNDPM模型 描述语言 策略引擎
在线阅读 下载PDF
变电站配置描述语言SCL的应用研究 被引量:13
10
作者 王丽华 马君华 +6 位作者 王传启 马长武 江涛 韩明峰 王志华 张丽胜 种惠敏 《电网技术》 EI CSCD 北大核心 2006年第S1期93-96,共4页
分析了在IEC61850中使用变电站配置描述语言(substation configuration description language,SCL)描述模型的方法,探讨了SCL文件在数字化变电站工程应用中遵循的原则,提出了SCL文件正确性验证的基本准则,给出了以保护测控一体化装置为... 分析了在IEC61850中使用变电站配置描述语言(substation configuration description language,SCL)描述模型的方法,探讨了SCL文件在数字化变电站工程应用中遵循的原则,提出了SCL文件正确性验证的基本准则,给出了以保护测控一体化装置为例编写的模型描述示例文件,以供使用SCL语言描述模型的科研人员参考。 展开更多
关键词 IEC61850 变电站配置描述语言(SCL) .ICD文件
在线阅读 下载PDF
一种可扩展的用户界面描述语言 被引量:7
11
作者 杜一 邓昌智 +2 位作者 田丰 任磊 戴国忠 《软件学报》 EI CSCD 北大核心 2013年第5期1127-1142,共16页
用户界面描述语言是实现模型驱动的用户界面开发的重要方式.当前的用户界面描述语言一方面在对不同物理特性的交互设备上的用户界面的描述能力不足;另一方面,缺乏可扩展性及界面描述的组成部分的可复用性.针对上述问题,设计出一种界面... 用户界面描述语言是实现模型驱动的用户界面开发的重要方式.当前的用户界面描述语言一方面在对不同物理特性的交互设备上的用户界面的描述能力不足;另一方面,缺乏可扩展性及界面描述的组成部分的可复用性.针对上述问题,设计出一种界面描述语言——E-UIDL(extensible user interface description language).该语言遵循层次化、模块化的设计原则,能够支持多设备、多通道的用户界面的描述,并通过实例说明描述语言对笔式用户界面开发、多设备界面自动生成以及自适应用户界面开发的支持,深入地阐述了E-UIDL的特性. 展开更多
关键词 用户界面描述语言 笔式用户界面 XML 模型驱动 用户界面开发
在线阅读 下载PDF
自适应多Agent系统的运行机制和策略描述语言SADL 被引量:7
12
作者 董孟高 毛新军 +2 位作者 常志明 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2011年第4期609-624,共16页
自适应系统具有环境开放性、变化敏感性、系统动态性等复杂性特点,如何支持这类复杂系统的开发和维护是目前软件工程关注的焦点.将自适应系统中的自主运行单元抽象为软件Agent,借助组织学思想提出了支持自适应系统运行的动态绑定机制,... 自适应系统具有环境开放性、变化敏感性、系统动态性等复杂性特点,如何支持这类复杂系统的开发和维护是目前软件工程关注的焦点.将自适应系统中的自主运行单元抽象为软件Agent,借助组织学思想提出了支持自适应系统运行的动态绑定机制,设计了表述Agent如何适应环境变化的自适应策略描述语言SADL(self-adaptive strategy description language),开发了SADL的编译器和运行支撑环境.该方法将复杂自适应系统的自适应逻辑和业务逻辑相分离,通过SADL语言显式地描述系统的自适应特征,从而简化了复杂自适应系统的开发和维护.通过案例分析,阐述了如何基于上述方法来进行复杂自适应系统的开发,验证了方法的有效性. 展开更多
关键词 自适应AGENT 动态绑定机制 策略描述语言 环境 多AGENT系统
在线阅读 下载PDF
ABC/ADL:一种基于XML的软件体系结构描述语言 被引量:26
13
作者 王晓光 冯耀东 梅宏 《计算机研究与发展》 EI CSCD 北大核心 2004年第9期1521-1531,共11页
作为基于构件的软件开发过程的系统蓝图 ,软件体系结构 (SA)扮演了非常重要的角色 ,其研究受到越来越多的关注 而软件体系结构描述语言 (ADL)是研究和应用SA的基础 提出了一种基于XML的体系结构描述语言———ABC/ADL ABC/ADL具备大多... 作为基于构件的软件开发过程的系统蓝图 ,软件体系结构 (SA)扮演了非常重要的角色 ,其研究受到越来越多的关注 而软件体系结构描述语言 (ADL)是研究和应用SA的基础 提出了一种基于XML的体系结构描述语言———ABC/ADL ABC/ADL具备大多数ADL描述软件系统高层结构的能力 ,还支持系统的逐步精化与演化 ,并支持系统的自动化组装和验证 采用数据互操作标准XML作为元语言 ,不仅使ABC/ADL具有与其他ADL的互操作性 。 展开更多
关键词 软件体系结构 体系结构描述语言 XML ABC方法
在线阅读 下载PDF
面向Web的知识描述语言 被引量:7
14
作者 王向华 何坚 +1 位作者 覃征 贾晓琳 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2004年第7期674-678,共5页
提出了Web知识描述层次模型 ,采用本体论技术从类、槽和槽约束3方面对领域知识建模 ,结合描述逻辑、框架系统建立了基于XML(eXtensibleMarkupLanguage)和本体论技术的知识描述语言 (KDL) .然后 ,介绍了KDL的扩展语法 ,并从一阶逻辑的角... 提出了Web知识描述层次模型 ,采用本体论技术从类、槽和槽约束3方面对领域知识建模 ,结合描述逻辑、框架系统建立了基于XML(eXtensibleMarkupLanguage)和本体论技术的知识描述语言 (KDL) .然后 ,介绍了KDL的扩展语法 ,并从一阶逻辑的角度对KDL的语义特征进行分析 ,提供KDL到FOL(First OrderLogic)的映射方法以完成KDL语言和FOL表达式之间的转化 .实践证明KDL具有规范的语法和精确的语义 。 展开更多
关键词 万维网 扩展标记语言 本体论 描述语言 一阶逻辑
在线阅读 下载PDF
动画剧本描述语言SDL/A的设计与实现 被引量:8
15
作者 马华东 刘慎权 +1 位作者 唐小平 赵琛 《软件学报》 EI CSCD 北大核心 1996年第7期385-393,共9页
本文介绍了基于时序逻辑的动画描述模型和基于此模型设计的动画剧本描述语言SDL/A.这种语言具有便于动画设计各个层次的描述、能够描述设计的逐步求精过程、能描述动画中的各种抽象对象以及角色间动作的同步等特点,并易于将这种... 本文介绍了基于时序逻辑的动画描述模型和基于此模型设计的动画剧本描述语言SDL/A.这种语言具有便于动画设计各个层次的描述、能够描述设计的逐步求精过程、能描述动画中的各种抽象对象以及角色间动作的同步等特点,并易于将这种基本的通用的剧本描述语言集成到一个功能强大的CASE环境-XYZ系统之中. 展开更多
关键词 动画 剧本描述语言 计算机图形学 设计
在线阅读 下载PDF
基于层次消息总线的软件体系结构描述语言 被引量:18
16
作者 张世琨 王立福 +1 位作者 常欣 杨芙清 《电子学报》 EI CAS CSCD 北大核心 2001年第5期581-584,共4页
以青鸟软件生产线的实践为背景 ,提出了基于层次消息总线的软件体系结构风格JB/HMB ,并设计了相应的体系结构描述语言JB/SADL ,该语言支持从接口、静态结构和动态行为三个方面刻画构件 .采用JB/SADL ,可以方便地进行软件体系结构的构造... 以青鸟软件生产线的实践为背景 ,提出了基于层次消息总线的软件体系结构风格JB/HMB ,并设计了相应的体系结构描述语言JB/SADL ,该语言支持从接口、静态结构和动态行为三个方面刻画构件 .采用JB/SADL ,可以方便地进行软件体系结构的构造、细化和验证 ,并具有快速生成原型的能力 ,还支持代码框架的自动生成和系统体系结构的动态演化 . 展开更多
关键词 软件体系结构 层次消息总线 体系结构描述语言
在线阅读 下载PDF
A-ADL:一种多智能体系统体系结构描述语言 被引量:12
17
作者 马俊涛 傅韶勇 刘积仁 《软件学报》 EI CSCD 北大核心 2000年第10期1382-1389,共8页
多智能体系统 ( multi- agent system,简称 MAS)具有复杂的动态结构及行为特征 .传统的体系结构描述语言 ( architecture description language,简称 ADL)在语义和表达能力两方面难以满足要求 .提出了一种基于智能体的体系结构描述语言 ... 多智能体系统 ( multi- agent system,简称 MAS)具有复杂的动态结构及行为特征 .传统的体系结构描述语言 ( architecture description language,简称 ADL)在语义和表达能力两方面难以满足要求 .提出了一种基于智能体的体系结构描述语言 A- ADL( agent- based- ADL) .该语言采用计算 /联接智能体替代部件 /连接器作为体系结构单元 ,基于体系结构原语、规则及多视图 ,解决了多智能体系统的动态性和语义问题 .通过实例详细阐述了 A- ADL的动态体系结构建模机制 ,并通过相关研究的比较证明了 A- ADL对于 MAS的适用性 . 展开更多
关键词 多智能体系统 A-ADL 体系结构描述语言 软件工程
在线阅读 下载PDF
可重用构件及其描述语言 被引量:13
18
作者 全炳哲 余江 金淳兆 《软件学报》 EI CSCD 北大核心 1994年第1期42-46,共5页
本文讨论可重用构件应该具备的特性,并介绍一种可重用构件描述语言Recos.Recos支持面向对象设计,而且提供功能抽象和类属机制.
关键词 软件重用 描述语言 可重用构件
在线阅读 下载PDF
体系结构描述语言XADL和组合失配检测 被引量:7
19
作者 张波 冯玉琳 黄涛 《软件学报》 EI CSCD 北大核心 2002年第12期2238-2243,共6页
在各种构件模型和构件标准定义中,接口描述信息的不足和隐含式的构件交互协议容易造成构件复用的失配问题,不利于构件的复用、验证和管理.提出了基于XML消息的体系结构描述语言XADL(XML-messagebased architecture description languag... 在各种构件模型和构件标准定义中,接口描述信息的不足和隐含式的构件交互协议容易造成构件复用的失配问题,不利于构件的复用、验证和管理.提出了基于XML消息的体系结构描述语言XADL(XML-messagebased architecture description language),支持对构件交互协议和构件组合关系的描述,在此基础上给出了组合失配的定义和检测算法.XADL不仅丰富了构件的接口语义,能够有效地避免组合失配问题,并且便于实现系统的运行监控、性能分析和动态调整. 展开更多
关键词 体系结构 描述语言 XADL 组合失配检测 软件开发 软件复用 软件构件
在线阅读 下载PDF
从过程描述语言到Z语言 被引量:8
20
作者 何炎祥 宋强 黄谦 《小型微型计算机系统》 CSCD 北大核心 2002年第9期1110-1113,共4页
Z语言是一种得到广泛应用的形式化规格语言 .Z语言可以方便地描述系统操作的数据转换 ,却很难描述系统操作间的时序关系 .而过程描述语言可以方便地描述时序关系 .本文利用时序状态转换系统作为中介 ,提出一种把过程描述语言的项转换成 ... Z语言是一种得到广泛应用的形式化规格语言 .Z语言可以方便地描述系统操作的数据转换 ,却很难描述系统操作间的时序关系 .而过程描述语言可以方便地描述时序关系 .本文利用时序状态转换系统作为中介 ,提出一种把过程描述语言的项转换成 Z规格的机械算法 .利用这一算法 ,Z语言也能方便地描述时序关系 . 展开更多
关键词 过程描述语言 Z语言 时序状态转换系统 “软件工程”语言
在线阅读 下载PDF
上一页 1 2 110 下一页 到第
使用帮助 返回顶部