Skip to content

Research at St Andrews

Weaving true-concurrent aspects using constraint solvers

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

DOI

Open Access permissions

Open

Standard

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 proceedingConference contribution

Harvard

Bowles, JKF, Bordbar, B & Alwanain, M 2017, Weaving true-concurrent aspects using constraint solvers. in 2016 16th International Conference on Application of Concurrency to System Design (ACSD)., 7842499, IEEE Computer Society, pp. 35-44, PN 2016 // ACSD 2016, Toruń, 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 2016 16th International Conference on Application of Concurrency to System Design (ACSD) (pp. 35-44). [7842499] IEEE Computer Society. https://doi.org/10.1109/ACSD.2016.19

Vancouver

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

Author

Bowles, Juliana Kuster Filipe ; Bordbar, Behzad ; Alwanain, Mohammed . / Weaving true-concurrent aspects using constraint solvers. 2016 16th International Conference on Application of Concurrency to System Design (ACSD). IEEE Computer Society, 2017. pp. 35-44

Bibtex - Download

@inproceedings{c302a4591b3543acb9e0742c66bbb92a,
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. 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.",
author = "Bowles, {Juliana Kuster Filipe} and Behzad Bordbar and Mohammed Alwanain",
year = "2017",
month = "2",
day = "3",
doi = "10.1109/ACSD.2016.19",
language = "English",
isbn = "9781509025893",
pages = "35--44",
booktitle = "2016 16th International Conference on Application of Concurrency to System Design (ACSD)",
publisher = "IEEE Computer Society",
address = "United States",

}

RIS (suitable for import to EndNote) - Download

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 -

Related by author

  1. Computer aided verification of radiotherapy treatment plans

    Kuster Filipe Bowles, J. & Munbodh, R., Jun 2019, Medical Physics. Wiley/American Association of Physicists in Medicine, Vol. 46.

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

  2. Our data, our society, our health: a vision for inclusive and transparent health data science in the United Kingdom and beyond

    Ford, E., Boyd, A., K. F. Bowles, J., Havard, A., Aldridge, R., Curcin, V., Greiver, M., Harron, K., Katikireddi, V., Rodgers, S. & Sperrin, M., 25 Mar 2019, In : Learning Health Systems. Early View, 12 p., e10191.

    Research output: Contribution to journalArticle

  3. Formalization and Automation of Quality Assurance Processes in Radiation Oncology

    Munbodh, R., Zaveri, H., Caminati, M. & Bowles, J., 31 Jul 2018, In : Medical physics. 45, 6, p. E274-E274 1 p.

    Research output: Contribution to journalAbstract

  4. An integrated framework for verifying multiple care pathways

    Bowles, J. K. F., Caminati, M. B. & Cha, S., 7 Feb 2018, Eleventh International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Computer Society, Vol. 2018-January. p. 1-8 8 p.

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

  5. Annotated BPMN models for optimised healthcare resource planning

    Bowles, J. K. F., Czekster, R. & Webber, T., 2018, Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. Mazzara, M., Iulian, O. & Salaün, G. (eds.). Cham: Springer, p. 146-162 16 p. (Lecture Notes in Computer Science; vol. 11176).

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

ID: 241963085