搜索到1579篇“ 体系结构描述语言“的相关文章
- 软件体系结构描述语言-WrightADL
- 2014年
- 本文主要介绍一种比较具有代表性的软件体系结构描述语言-WrightADL,通过一个简单的例子对WrightADL的语法进行说明,最后讨论了WrightADL的一致性检测方法。
- 陈雪元
- 一种获取体系结构描述语言的方法和一种建模工具
- 本发明提供了一种获取体系结构描述语言的方法和一种建模工具，所述的方法包括：首先制定一种能描述产品线变化性的DPOSPL ADL元模型；然后，在DPOSPL ADL中引入变量定义和赋值语法；最后，根据体系结构模型的约束，制...
- 郑莉许斌吴展威徐骏
- 一种软件体系结构描述语言分类和比较方法被引量：1
- 2013年
- 软件架构转变了开发者从通信线路到粗粒度的体系结构元素和整体互连结构的代码的开发重点。架构描述语言(ADLs)已被提议作为支持基于发展的软件体系建模符号。但是,对什么是ADL、什么样的架构方面应以ADL来建模和有哪几种可能的情形为最适合某个特定问题,很少达成研究界的共识。此外,很少有对ADLs在某一方面或针对某一正式的规范就模块的连接,仿真、编程语言与其他方面做出区别。本文提出了对ADLs定义和分类的框架,通过定义可以把ADLs与其他建模符号区别开来,通过框架可以区分和比较几种现有的ADLs并在这一过程中确定ADLs的关键特性。
- 徐莹
- 关键词：软件体系结构体系结构描述语言连接件
- 基于B方法的体系结构描述语言的形式化研究被引量：2
- 2013年
- 通过分析B方法和软件体系结构描述语言ABC/ADL各自的特点,提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制,定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约,并给出了规约实例,从而使得基于B方法的ABC/ADL能够形式化描述软件体系结构的结构和行为。
- 丁湘陵王志刚
- 关键词：体系结构描述语言B方法形式化
- 基于B方法的体系结构描述语言的精化研究
- 2012年
- 通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法:首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件和复杂连接子使用定义的精化约束和规则逐步精化,直到可执行程序,最后给出实例加以说明该方法的可行性.
- 丁湘陵
- 关键词：体系结构描述语言B方法精化形式化
- SMC/ADL:一种层级式构件系统的体系结构描述语言被引量：1
- 2012年
- 针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至演化阶段的完整体系结构规约框架,使其对系统高层抽象的支持扩展到整个软件生命周期。相关辅助工具表明了它的有效性和实用性。
- 岳洋曾广平
- 关键词：软件体系结构体系结构描述语言SMCXML
- 关于模块化软件体系结构描述语言的综合方法被引量：1
- 2012年
- 过去几十年的研究表明,在组件和连接器方面对软件进行模块化构建是用途广泛的,这导致了大量模块标记的产生。每种标记专注于系统模块化的不同方面,一般来说这些标记致力于利用已有的标记来发展新的标记而忽略了重用和扩展。为了解决这一问题,本文研究了一种新的办法———允许快速地构建新的描述性语言(ADLs),该语言利用XML和XML的扩展机制来完成。本文定义了一组类别,重用ADL模块称作XADL 2.0,它可以作为ADL单独使用,也可以扩展支持新的应用和领域,实验验证了本文方法的有效性、可扩展性和灵活性。
- 徐莹
- 关键词：软件架构模块化ADLXML
- 一种容错的面向服务体系结构描述语言被引量：1
- 2011年
- 针对如何构建具有容错能力的面向服务软件体系结构的科学问题,提出了一种新型的支持异常处理的面向服务体系结构描述语言SOADL-EH。该语言不仅具备表示面向服务软件体系结构的建模能力,还提供了异常处理服务、异常连接件及异常配置等语言成分,清晰地将面向服务软件体系结构层的异常处理逻辑从正常业务逻辑中分离出来,弥补了已有的面向服务体系结构描述语言在建模异常处理能力方面的不足。
- 吕国斌王权于李贵龙
- 关键词：体系结构描述语言异常处理
- 面向服务的动态体系结构描述语言SO-DADL被引量：2
- 2011年
- 面向服务的架构(SOA)是一种基于Internet的分布式软件体系结构。在SOA中,粗粒度的,可发现的,松散耦合的,自治的服务是其基本的结构单位。基于高阶多型π演算理论和XML语言,提出了一种基于SOA架构的动态体系结构描述语言SO-DADL。SO-DADL指定服务的接口、行为、语义和质量特性,提供了对动态和不断演化的结构建模和分析的机制,并支持基于架构的服务组合和运行时动态演化,用案例说明了SO-DADL的应用。
- 秦辉史维峰张丹
- 关键词：软件体系结构
- 一种获取体系结构描述语言的方法和一种建模工具
- 本发明提供了一种获取体系结构描述语言的方法和一种建模工具，所述的方法包括：首先制定一种能描述产品线变化性的DPOSPL ADL元模型；然后，在DPOSPL ADL中引入变量定义和赋值语法；最后，根据体系结构模型的约束，制...
- 郑莉许斌吴展威徐骏
相关作者
- 李曦
- 作品数：184被引量：427H指数：11
- 供职机构：中国科学技术大学
- 研究主题：体系结构描述语言 任务调度 功耗 功耗优化 ASIP
- 张广泉
- 作品数：234被引量：713H指数：14
- 供职机构：苏州大学计算机科学与技术学院
- 研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
- 周学海
- 作品数：181被引量：529H指数：13
- 供职机构：中国科学技术大学
- 研究主题：可重构计算 体系结构描述语言 无线传感器网络 嵌入式系统 低功耗
- 余洁
- 作品数：20被引量：32H指数：3
- 供职机构：中国科学技术大学
- 研究主题：体系结构描述语言 专用指令集处理器 ASIP 重定向 复杂度
- 高妍妍
- 作品数：16被引量：13H指数：2
- 供职机构：中国科学技术大学计算机科学与技术学院
- 研究主题：体系结构描述语言 可重构计算 调度算法 任务图 任务调度
