TY - JOUR
T1 - xBreeze/ADL
T2 - A language for software architecture specification and analysis
AU - Li, Chen
AU - Yang, Hong Ji
AU - Shi, Mei Yu
AU - Zhu, Wei
PY - 2016/12/1
Y1 - 2016/12/1
N2 - 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.
AB - 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.
KW - architecture description language (ADL)
KW - breeze graph grammar
KW - Breeze/ADL
KW - Software architecture
KW - xBreeze/ADL
UR - http://www.scopus.com/inward/record.url?scp=84999749688&partnerID=8YFLogxK
U2 - 10.1007/s11633-016-1028-9
DO - 10.1007/s11633-016-1028-9
M3 - Journal article
AN - SCOPUS:84999749688
SN - 1476-8186
VL - 13
SP - 552
EP - 564
JO - International Journal of Automation and Computing
JF - International Journal of Automation and Computing
IS - 6
ER -