期刊文献+
共找到58,989篇文章
< 1 2 250 >
每页显示 20 50 100
WSC/ADL:Web Services组合系统体系结构描述语言 被引量:11
1
作者 杨鑫 陈俊亮 《软件学报》 EI CSCD 北大核心 2006年第5期1182-1194,共13页
Webservices组合是Webservices领域的研究热点,虽然已经提出了很多组合的方法,但从体系结构方面去研究Webservices组合,则是一个新的研究角度.BPEL4WS是当前工业界主流的Webservices组合描述语言.给出了基于BPEL4WS的Webservices组合系... Webservices组合是Webservices领域的研究热点,虽然已经提出了很多组合的方法,但从体系结构方面去研究Webservices组合,则是一个新的研究角度.BPEL4WS是当前工业界主流的Webservices组合描述语言.给出了基于BPEL4WS的Webservices组合系统体系结构风格,并针对这种风格设计了体系结构描述语言WSC/ADL(Webservicescomposition/architecturedescriptionlanguage),WSC/ADL是基于体系结构的、自顶向下的Webservices组合开发的研究基础,其组成包含描述Webservices的服务构件、描述Webservices之间交互的连接件以及建立服务构件和连接件实例联系的配置.给出了WSC/ADL的详细分析介绍和实例说明,并与相关工作进行了比较. 展开更多
关键词 WEB服务组合 软件体系结构 体系结构描述语言 BPEL4WS 通信顺序进程
在线阅读 下载PDF
电力系统数据模型描述语言E 被引量:73
2
作者 辛耀中 陶洪铸 +1 位作者 李毅松 石俊杰 《电力系统自动化》 EI CSCD 北大核心 2006年第10期48-51,92,共5页
为满足电力系统数据模型的高效描述和大量在线数据的高效交换,研发了数据模型描述语言E,它采用面向对象技术,兼容面向关系技术,吸收了XML的优点;在描述100节点CIM模型时,E语言的效率比XML高13.6倍;E语言已在电力调度系统成功应用。
关键词 数据模型 描述语言 E语言
在线阅读 下载PDF
基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法 被引量:4
3
作者 鲍爱华 袁金平 +1 位作者 姚莉 张维明 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1856-1864,共9页
针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网... 针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。 展开更多
关键词 WEB服务 语义WEB 过程语义 Web服务本体描述语言 本体演化 过程模型网 着色PETRI网
在线阅读 下载PDF
基于时序逻辑的软件体系结构描述语言XYZ/ADL 被引量:40
4
作者 朱雪阳 唐稚松 《软件学报》 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
Web服务编排描述语言WS-CDL的形式化模型框架 被引量:7
5
作者 辜希武 卢正鼎 《计算机科学》 CSCD 北大核心 2007年第9期5-11,共7页
Web服务编排描述语言WS-CDL从全局的角度定义了一组Web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言,WS-CDL缺乏形式化的模型和验证机制,难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局... Web服务编排描述语言WS-CDL从全局的角度定义了一组Web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言,WS-CDL缺乏形式化的模型和验证机制,难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局的形式化模型框架Abstract WS-CDL,包括语法、同构关系和操作语义,同时定义了一套从该模型框架到基于Pi-演算描述的局部模型的映射规则,最后通过案例分析给出了全局和局部2个层次的模型验证方法。 展开更多
关键词 Web服务编排描述语言 WEB服务 WEB服务组合
在线阅读 下载PDF
计算机网络防御策略描述语言研究 被引量:15
6
作者 夏春和 魏玉娣 +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
一种面向服务流程异常处理的策略描述语言 被引量:2
7
作者 王权于 应时 +2 位作者 吕国斌 罗俊沣 文静 《计算机科学》 CSCD 北大核心 2012年第2期148-153,共6页
策略描述语言是策略驱动的面向服务流程异常处理方法的基础和前提。针对目前已有策略语言在描述面向服务流程异常处理逻辑方面的不足,提出了一种新的面向服务流程异常处理的策略描述语言WS-Policy4BPEH。它在Web服务策略框架的基础上,... 策略描述语言是策略驱动的面向服务流程异常处理方法的基础和前提。针对目前已有策略语言在描述面向服务流程异常处理逻辑方面的不足,提出了一种新的面向服务流程异常处理的策略描述语言WS-Policy4BPEH。它在Web服务策略框架的基础上,扩展了ECA对规则执行影响的描述,定义了多种面向服务流程的异常处理动作模式,能够详细、准确地描述异常及异常处理方式、返回方式和传播方式。WS-Policy4BPEH采用XML作为元语言,因此具有良好的可扩展性。 展开更多
关键词 面向服务流程 异常处理 策略描述语言
在线阅读 下载PDF
可重用构件及其描述语言 被引量:13
8
作者 全炳哲 余江 金淳兆 《软件学报》 EI CSCD 北大核心 1994年第1期42-46,共5页
本文讨论可重用构件应该具备的特性,并介绍一种可重用构件描述语言Recos.Recos支持面向对象设计,而且提供功能抽象和类属机制.
关键词 软件重用 描述语言 可重用构件
在线阅读 下载PDF
基于时序逻辑的面向方面体系结构描述语言 被引量:4
9
作者 倪友聪 应时 +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
一种基于图转换的模型重构描述语言 被引量:5
10
作者 刘辉 麻志毅 邵维忠 《软件学报》 EI CSCD 北大核心 2009年第8期2087-2101,共15页
提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提... 提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提供了较为完整的模型重构CASE支撑工具.通过实例讨论了该模型重构描述语言的描述能力.结果表明,该语言具有较强的描述能力,能够比较简洁地描述复杂的模型重构规则. 展开更多
关键词 重构 模型 图转换 描述语言
在线阅读 下载PDF
ABC/ADL:一种基于XML的软件体系结构描述语言 被引量:26
11
作者 王晓光 冯耀东 梅宏 《计算机研究与发展》 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
对象描述语言及其指称描述 被引量:5
12
作者 黄涛 冯玉琳 +1 位作者 倪彬 李京 《软件学报》 EI CSCD 北大核心 1996年第10期577-586,共10页
在面向对象的软件构造中,对象被视为软件系统的基本构件.本文提出对象规范描述语言ODL(objectdescriptionlanguage),并给出其主要结构的SOP指称描述.SOP演算的理论范集给出对象的形式描述.S... 在面向对象的软件构造中,对象被视为软件系统的基本构件.本文提出对象规范描述语言ODL(objectdescriptionlanguage),并给出其主要结构的SOP指称描述.SOP演算的理论范集给出对象的形式描述.SOP理论范集反映了对象的封装性,在这样的逻辑框架下,对象的属性(结构)和动作(行为)得以统一.对象聚合提供了由已有对象描述构造复杂对象描述的机制;而继承则可以扩充给定的对象描述并保持原描述的特性.此外。 展开更多
关键词 面向对象 对象描述语言 指称描述
在线阅读 下载PDF
动画剧本描述语言SDL/A的设计与实现 被引量:8
13
作者 马华东 刘慎权 +1 位作者 唐小平 赵琛 《软件学报》 EI CSCD 北大核心 1996年第7期385-393,共9页
本文介绍了基于时序逻辑的动画描述模型和基于此模型设计的动画剧本描述语言SDL/A.这种语言具有便于动画设计各个层次的描述、能够描述设计的逐步求精过程、能描述动画中的各种抽象对象以及角色间动作的同步等特点,并易于将这种... 本文介绍了基于时序逻辑的动画描述模型和基于此模型设计的动画剧本描述语言SDL/A.这种语言具有便于动画设计各个层次的描述、能够描述设计的逐步求精过程、能描述动画中的各种抽象对象以及角色间动作的同步等特点,并易于将这种基本的通用的剧本描述语言集成到一个功能强大的CASE环境-XYZ系统之中. 展开更多
关键词 动画 剧本描述语言 计算机图形学 设计
在线阅读 下载PDF
一种可扩展的用户界面描述语言 被引量:7
14
作者 杜一 邓昌智 +2 位作者 田丰 任磊 戴国忠 《软件学报》 EI CSCD 北大核心 2013年第5期1127-1142,共16页
用户界面描述语言是实现模型驱动的用户界面开发的重要方式.当前的用户界面描述语言一方面在对不同物理特性的交互设备上的用户界面的描述能力不足;另一方面,缺乏可扩展性及界面描述的组成部分的可复用性.针对上述问题,设计出一种界面... 用户界面描述语言是实现模型驱动的用户界面开发的重要方式.当前的用户界面描述语言一方面在对不同物理特性的交互设备上的用户界面的描述能力不足;另一方面,缺乏可扩展性及界面描述的组成部分的可复用性.针对上述问题,设计出一种界面描述语言——E-UIDL(extensible user interface description language).该语言遵循层次化、模块化的设计原则,能够支持多设备、多通道的用户界面的描述,并通过实例说明描述语言对笔式用户界面开发、多设备界面自动生成以及自适应用户界面开发的支持,深入地阐述了E-UIDL的特性. 展开更多
关键词 用户界面描述语言 笔式用户界面 XML 模型驱动 用户界面开发
在线阅读 下载PDF
A-ADL:一种多智能体系统体系结构描述语言 被引量:12
15
作者 马俊涛 傅韶勇 刘积仁 《软件学报》 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
面向Web的知识描述语言 被引量:7
16
作者 王向华 何坚 +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
自适应多Agent系统的运行机制和策略描述语言SADL 被引量:7
17
作者 董孟高 毛新军 +2 位作者 常志明 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2011年第4期609-624,共16页
自适应系统具有环境开放性、变化敏感性、系统动态性等复杂性特点,如何支持这类复杂系统的开发和维护是目前软件工程关注的焦点.将自适应系统中的自主运行单元抽象为软件Agent,借助组织学思想提出了支持自适应系统运行的动态绑定机制,... 自适应系统具有环境开放性、变化敏感性、系统动态性等复杂性特点,如何支持这类复杂系统的开发和维护是目前软件工程关注的焦点.将自适应系统中的自主运行单元抽象为软件Agent,借助组织学思想提出了支持自适应系统运行的动态绑定机制,设计了表述Agent如何适应环境变化的自适应策略描述语言SADL(self-adaptive strategy description language),开发了SADL的编译器和运行支撑环境.该方法将复杂自适应系统的自适应逻辑和业务逻辑相分离,通过SADL语言显式地描述系统的自适应特征,从而简化了复杂自适应系统的开发和维护.通过案例分析,阐述了如何基于上述方法来进行复杂自适应系统的开发,验证了方法的有效性. 展开更多
关键词 自适应AGENT 动态绑定机制 策略描述语言 环境 多AGENT系统
在线阅读 下载PDF
基于层次消息总线的软件体系结构描述语言 被引量:18
18
作者 张世琨 王立福 +1 位作者 常欣 杨芙清 《电子学报》 EI CAS CSCD 北大核心 2001年第5期581-584,共4页
以青鸟软件生产线的实践为背景 ,提出了基于层次消息总线的软件体系结构风格JB/HMB ,并设计了相应的体系结构描述语言JB/SADL ,该语言支持从接口、静态结构和动态行为三个方面刻画构件 .采用JB/SADL ,可以方便地进行软件体系结构的构造... 以青鸟软件生产线的实践为背景 ,提出了基于层次消息总线的软件体系结构风格JB/HMB ,并设计了相应的体系结构描述语言JB/SADL ,该语言支持从接口、静态结构和动态行为三个方面刻画构件 .采用JB/SADL ,可以方便地进行软件体系结构的构造、细化和验证 ,并具有快速生成原型的能力 ,还支持代码框架的自动生成和系统体系结构的动态演化 . 展开更多
关键词 软件体系结构 层次消息总线 体系结构描述语言
在线阅读 下载PDF
变电站配置描述语言SCL的应用研究 被引量:13
19
作者 王丽华 马君华 +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
一个轻量级多设备用户界面描述语言MDUIDL 被引量:5
20
作者 吴昊 华庆一 +2 位作者 常言说 朱海阳 杨建峰 《计算机工程与应用》 CSCD 北大核心 2011年第35期14-21,31,共9页
为适应多设备环境下用户界面开发的需求,解决当前UIDL存在的一些问题,设计并实现了一个轻量级多设备用户界面描述语言MDUIDL。该语言分为抽象界面描述语言、具体界面描述语言、事件描述语言和设备描述语言,分别从不同侧面对多设备应用... 为适应多设备环境下用户界面开发的需求,解决当前UIDL存在的一些问题,设计并实现了一个轻量级多设备用户界面描述语言MDUIDL。该语言分为抽象界面描述语言、具体界面描述语言、事件描述语言和设备描述语言,分别从不同侧面对多设备应用系统的用户界面进行描述。通过实例研究,表明该语言具有良好的界面表达能力和对多设备环境的支持,且简单易学,易于使用。 展开更多
关键词 多设备用户界面 用户界面描述语言 XML语言
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部