Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Weaving true-concurrent aspects using constraint solvers. / Bowles, Juliana Kuster Filipe; Bordbar, Behzad ; Alwanain, Mohammed .
2016 16th International Conference on Application of Concurrency to System Design (ACSD). IEEE Computer Society, 2017. p. 35-44 7842499.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Weaving true-concurrent aspects using constraint solvers
AU - Bowles, Juliana Kuster Filipe
AU - Bordbar, Behzad
AU - Alwanain, Mohammed
PY - 2017/2/3
Y1 - 2017/2/3
N2 - Large system models usually consist of several simpler models that can be understood more easily. Making changes to the behaviour of a component will likely affect several models and could introduce accidental errors. Aspectsaddress this by modelling new functionality required in several places as anadvice, which can be integrated with the original base models by specifying apointcut. Before checking that the overall outcome is correct, we need to weave the cross-cutting advice into the base models, and obtain new augmentedmodels. Although considerable research has been done to weave models, many such approaches are not fully automated. This paper looks at aspect weaving of scenario-based models, where aspects are given a true-concurrent semantics based on event structures. Our contribution is a novel formal automatedtechnique for weaving aspects using the Z3-SMT solver. We compare the performance of Alloy and Z3 to justify our choice.
AB - Large system models usually consist of several simpler models that can be understood more easily. Making changes to the behaviour of a component will likely affect several models and could introduce accidental errors. Aspectsaddress this by modelling new functionality required in several places as anadvice, which can be integrated with the original base models by specifying apointcut. Before checking that the overall outcome is correct, we need to weave the cross-cutting advice into the base models, and obtain new augmentedmodels. Although considerable research has been done to weave models, many such approaches are not fully automated. This paper looks at aspect weaving of scenario-based models, where aspects are given a true-concurrent semantics based on event structures. Our contribution is a novel formal automatedtechnique for weaving aspects using the Z3-SMT solver. We compare the performance of Alloy and Z3 to justify our choice.
U2 - 10.1109/ACSD.2016.19
DO - 10.1109/ACSD.2016.19
M3 - Conference contribution
SN - 9781509025893
SP - 35
EP - 44
BT - 2016 16th International Conference on Application of Concurrency to System Design (ACSD)
PB - IEEE Computer Society
ER -
Research output: Contribution to journal › Article
Research output: Contribution to journal › Article
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
ID: 241963085