TY - JOUR
T1 - Behavioral view extension and synchronization for software architecture
AU - Chen, Luxi
AU - Huang, Linpeng
AU - Li, Chen
PY - 2014/1/1
Y1 - 2014/1/1
N2 - Software architecture (SA) can be defined with a structural concern, a behavioral concern and a configuration concern, applied in design, analysis and deployment phases. Since a single notation cannot capture all concerns, several notations will be adopted to fully describe the architecture for successful development. Dynamic environments and changeable requirements imply frequent software artifact model evolution, which generates problems when synchronizing changes across software architecture models. In this paper, we propose a new bidirectional framework to implement the synchronization for SA models. We apply it in the structural xADL notation and behavioral Darwin/FSP notation. First, we extend the meta-model of xADL with behavioral features. Second, we define feature correspondence between meta-models of extended xADL notation and Darwin/FSP notation. Then, based on the feature correspondence, bidirectional transformation is executed and its two-way reflection semantics achieves the synchronization. The framework is illustrated with on a simple case study example to show the feasibility.
AB - Software architecture (SA) can be defined with a structural concern, a behavioral concern and a configuration concern, applied in design, analysis and deployment phases. Since a single notation cannot capture all concerns, several notations will be adopted to fully describe the architecture for successful development. Dynamic environments and changeable requirements imply frequent software artifact model evolution, which generates problems when synchronizing changes across software architecture models. In this paper, we propose a new bidirectional framework to implement the synchronization for SA models. We apply it in the structural xADL notation and behavioral Darwin/FSP notation. First, we extend the meta-model of xADL with behavioral features. Second, we define feature correspondence between meta-models of extended xADL notation and Darwin/FSP notation. Then, based on the feature correspondence, bidirectional transformation is executed and its two-way reflection semantics achieves the synchronization. The framework is illustrated with on a simple case study example to show the feasibility.
KW - Behavioral view
KW - CBSD
KW - Meta-model extension
KW - Model synchronization
KW - Software architecture
UR - http://www.scopus.com/inward/record.url?scp=84900510516&partnerID=8YFLogxK
U2 - 10.12733/jcis9573
DO - 10.12733/jcis9573
M3 - Journal article
AN - SCOPUS:84900510516
SN - 1553-9105
VL - 10
SP - 1167
EP - 1174
JO - Journal of Computational Information Systems
JF - Journal of Computational Information Systems
IS - 3
ER -