Skip to content

Research at St Andrews

Weaving true-concurrent aspects using constraint solvers

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


Open Access permissions



Juliana Kuster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain

School/Research organisations


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.


Original languageEnglish
Title of host publication2016 16th International Conference on Application of Concurrency to System Design (ACSD)
PublisherIEEE Computer Society
Number of pages10
ISBN (Print)9781509025893
Publication statusPublished - 3 Feb 2017
EventPN 2016 // ACSD 2016 - Toruń, Poland
Duration: 19 Jun 201624 Jun 2016
Conference number: 16


ConferencePN 2016 // ACSD 2016
Abbreviated titleACSD
Internet address

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Formal reasoning over class models with TOMM

    Mendoza Santana, J. J. & Kuster Filipe Bowles, J., 15 Jul 2019, Journal of Object Technology. Association Internationale pour les Technologies Objets, Vol. 18. 20 p. 12

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

  2. Balancing Prescriptions with Constraint Solvers

    Bowles, J. K. F. & Caminati, M. B., 20 Jun 2019, Automated Reasoning for Systems Biology and Medicine. Liò, P. & Zuliani, P. (eds.). Springer, 27 p. (Computational Biology; vol. 30).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. 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

  4. 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

  5. On predicting the outcomes of chemotherapy treatments in Breast cancer

    Silvina, A., Kuster Filipe Bowles, J. & Hall, P., 2019, Artificial Intelligence in Medicine: 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings. Riaño, D., Wilk, S. & ten Teije, A. (eds.). Springer, p. 180-190 11 p. (Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence); vol. 11526).

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

ID: 241963085