面向服务的动态体系结构描述语言SO-DADL  

Service oriented dynamic architecture description language SO-DADL

作　　者：秦辉[1] 史维峰[1] 张丹[1] 

机构地区：[1]西北大学信息科学与技术学院,西安710127

出　　处：《计算机工程与应用》2011年第6期68-74,共7页Computer Engineering and Applications

基　　金：西安市科技计划项目(No.CXY09016)

摘　　要：面向服务的架构(SOA)是一种基于Internet的分布式软件体系结构。在SOA中,粗粒度的,可发现的,松散耦合的,自治的服务是其基本的结构单位。基于高阶多型π演算理论和XML语言,提出了一种基于SOA架构的动态体系结构描述语言SO-DADL。SO-DADL指定服务的接口、行为、语义和质量特性,提供了对动态和不断演化的结构建模和分析的机制,并支持基于架构的服务组合和运行时动态演化,用案例说明了SO-DADL的应用。Service Oriented Architecture （SOA）is an Internet-Oriented distributed software architecture.In SOA, the coarsegrained, discoverable, loosely coupled, autonomous services are its basic constitutional units.Based on the high-order multi-type calculus theory and XML language, this paper proposes SO-DADL, a dynamic architecture description language for SOA. SO-DADL specifies the interfaces, behavior, semantics and quality properties of services, provides mechanisms to model and analyze the dynamic and evolving architecture, and supports architecture-based service composition.How SO-DADL can be used is illustrated through a case study in this paper.

关 键 词：软件体系结构 面向服务的架构 体系结构描述语言(ADL) 服务 高阶多型π-演算 动态行为 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]