SMC/ADL:一种层级式构件系统的体系结构描述语言

来源 :计算机科学 | 被引量 : 0次 | 上传用户:luojuncad
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至演化阶段的完整体系结构规约框架,使其对系统高层抽象的支持扩展到整个软件生命周期。相关辅助工具表明了它的有效性和实用性。
其他文献
局部均值分解(LMD)是一种新的非线性非平稳信号处理方法,该方法具有较强的自适应性,能将复杂信号分解为一系列具有物理意义的PF(production function)分量。但在信号分解过程中会
在Web服务组合过程中,常因交互协议不一致等导致服务失配;Web服务失配检测可准确捕捉失配点,为实现服务的有效组合奠定基础。采用限界模型检查技术,提出一种基于可满足性模理
社会标签可以提供对象高度抽象的内容信息和个性偏好信息,因此标签的使用有助于提高个性推荐的精度。用户的偏好会随时间的变化而变化,网络中的资源也会随着时间推移而增加。
跨时钟城(ClockDomainCrossing,CDC)设计和验证是soC系统芯片设计的关键问题。讨论了异步FIFO的模型检验方法,利用模型检验工具SMV,建立了异步FIFO的有限状态机模型,使用时序逻辑LT
加群Zp+上离散对数问题在公钥密码系统分析中具有非常广泛的应用。研究一种加群Zp+上离散对数问题的DNA计算算法。算法主要由解空间生成器、并行乘法器、并行加法器、解转换器
在网络带宽不对称的移动实时环境中,数据广播是一种有效的数据访问方式。针对这种网络特性,分析了现今已经存在的某些广播调度算法。针对UFO算法,分别提出了SBS算法和CRS算法
针对仿真系统概念模型开发中存在的模型重用性不高和缺乏管理等问题,提出了元概念模型(Meta Concep-tual Model,MCM)的概念,以实现更高层次上的概念模型抽象。将本体思想引入MC