计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (6): 68-74.

• 研发、设计、测试 • 上一篇    下一篇

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

秦 辉,史维峰,张 丹   

  1. 西北大学 信息科学与技术学院,西安 710127
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-02-21 发布日期:2011-02-21

Service oriented dynamic architecture description language SO-DADL

QIN Hui,SHI Weifeng,ZHANG Dan   

  1. School of Information Science and Technology,Northwest University,Xi’an 710127,China
  • Received:1900-01-01 Revised:1900-01-01 Online:2011-02-21 Published:2011-02-21

摘要: 面向服务的架构(SOA)是一种基于Internet的分布式软件体系结构。在SOA中,粗粒度的,可发现的,松散耦合的,自治的服务是其基本的结构单位。基于高阶多型π演算理论和XML语言,提出了一种基于SOA架构的动态体系结构描述语言SO-DADL。SO-DADL指定服务的接口、行为、语义和质量特性,提供了对动态和不断演化的结构建模和分析的机制,并支持基于架构的服务组合和运行时动态演化,用案例说明了SO-DADL的应用。

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

Abstract: Service Oriented Architecture(SOA)is an Internet-Oriented distributed software architecture.In SOA,the coarse-
grained,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.

Key words: Software architecture, Service Oriented Architecture(SOA), Architecture Description Language(ADL), service, high-order multi-type π-calculus, dynamic behavior