Weaving true-concurrent aspects using constraint solvers

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Weaving true-concurrent aspects using constraint solvers. / Bowles, Juliana K F; Bordbar, Behzad; Alwanain, Mohammed.

16th International Conference on Application of Concurrency to System Design 2016. IEEE Xplore, 2017. (International Conference on Application of Concurrency to System Design. Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Bowles, JKF, Bordbar, B & Alwanain, M 2017, Weaving true-concurrent aspects using constraint solvers. in 16th International Conference on Application of Concurrency to System Design 2016. International Conference on Application of Concurrency to System Design. Proceedings, IEEE Xplore, 16th International Conference on Application of Concurrency to System Design (ACSD 2016), Torun, Poland, 19/06/16. https://doi.org/10.1109/ACSD.2016.19

APA

Bowles, J. K. F., Bordbar, B., & Alwanain, M. (2017). Weaving true-concurrent aspects using constraint solvers. In 16th International Conference on Application of Concurrency to System Design 2016 (International Conference on Application of Concurrency to System Design. Proceedings). IEEE Xplore. https://doi.org/10.1109/ACSD.2016.19

Vancouver

Bowles JKF, Bordbar B, Alwanain M. Weaving true-concurrent aspects using constraint solvers. In 16th International Conference on Application of Concurrency to System Design 2016. IEEE Xplore. 2017. (International Conference on Application of Concurrency to System Design. Proceedings). https://doi.org/10.1109/ACSD.2016.19

Author

Bowles, Juliana K F ; Bordbar, Behzad ; Alwanain, Mohammed. / Weaving true-concurrent aspects using constraint solvers. 16th International Conference on Application of Concurrency to System Design 2016. IEEE Xplore, 2017. (International Conference on Application of Concurrency to System Design. Proceedings).

Bibtex

@inproceedings{1db75d587f224602944da6a52b7d4ab9,
title = "Weaving true-concurrent aspects using constraint solvers",
abstract = "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. Aspects address this by modelling new functionality required in several places as an advice, which can be integrated with the original base models by specifying a pointcut. Before checking that the overall outcome is correct, we need to weave the cross-cutting advice into the base models, and obtain new augmented models. 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 automated technique for weaving aspects using the Z3-SMT solver. We compare the performance of Alloy and Z3 to justify our choice.",
author = "Bowles, {Juliana K F} and Behzad Bordbar and Mohammed Alwanain",
year = "2017",
month = feb
day = "6",
doi = "10.1109/ACSD.2016.19",
language = "English",
isbn = "978-1-5090-0763-9",
series = "International Conference on Application of Concurrency to System Design. Proceedings",
publisher = "IEEE Xplore",
booktitle = "16th International Conference on Application of Concurrency to System Design 2016",
note = "16th International Conference on Application of Concurrency to System Design (ACSD 2016) ; Conference date: 19-06-2016 Through 24-06-2016",

}

RIS

TY - GEN

T1 - Weaving true-concurrent aspects using constraint solvers

AU - Bowles, Juliana K F

AU - Bordbar, Behzad

AU - Alwanain, Mohammed

PY - 2017/2/6

Y1 - 2017/2/6

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. Aspects address this by modelling new functionality required in several places as an advice, which can be integrated with the original base models by specifying a pointcut. Before checking that the overall outcome is correct, we need to weave the cross-cutting advice into the base models, and obtain new augmented models. 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 automated technique 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. Aspects address this by modelling new functionality required in several places as an advice, which can be integrated with the original base models by specifying a pointcut. Before checking that the overall outcome is correct, we need to weave the cross-cutting advice into the base models, and obtain new augmented models. 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 automated technique 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 - 978-1-5090-0763-9

T3 - International Conference on Application of Concurrency to System Design. Proceedings

BT - 16th International Conference on Application of Concurrency to System Design 2016

PB - IEEE Xplore

T2 - 16th International Conference on Application of Concurrency to System Design (ACSD 2016)

Y2 - 19 June 2016 through 24 June 2016

ER -