xBreeze/ADL: a language for software architecture specification and analysis

Li, C, Yang, H, Shi, M-Y and Zhu, W (2016) 'xBreeze/ADL: a language for software architecture specification and analysis.' International Journal of Automation and Computing, 13 (6). pp. 552-564.

Official URL: https://doi.org/10.1007/s11633-016-1028-9

Abstract

Architecture description languages play an important role in modelling software architectures. However, many architecture description languages (ADLs) are either unable to deal with the verification and dynamic changes directly or too formal to be understood and manipulated. This paper presents xBreeze/ADL, a novel extensible markup language (XML)-based verification and evolution supported architecture description language, which is specifically designed for modelling the software architecture of large, complex systems. Five principle design goals are 1) to separate template from instance to define a loose coupling structure, 2) to present virtual and concrete link to identify service execution flow, 3) to clearly represent component behaviour to specify architecture semantics, 4) to introduce multi-dimension restrictions to define the architecture constraints, and 5) to use the graph transformation theory to implement the architecture configuration management (i.e., reconfiguration and verification). Various advanced features of xBreeze/ADL are illustrated by using an example on online movie ticket booking system.

Item Type: Article
Keywords: Software architecture; architecture description language (ADL); xBreeze/ADL; breeze graph grammar; Breeze/ADL
Divisions: Bath School of Design
Date Deposited: 05 Mar 2017 18:22
Last Modified: 05 Jan 2022 16:07
ISSN: 1476-8186
URI / Page ID: https://researchspace.bathspa.ac.uk/id/eprint/9367
Request a change to this item or report an issue Request a change to this item or report an issue
Update item (repository staff only) Update item (repository staff only)