Computer Science @ University of St Andrews

University of St Andrews crest

Dr Juliana Bowles

No picture available

Position: Lecturer

Research profile

Email (@st-andrews.ac.uk): jkfb

Office: JC1.07 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 1622

Home page: http://juliana.host.cs.st-andrews.ac.uk

Recent Publications

SD2CPN: a model transformation tool for software design models

Meedeniya, DA , Bowles, JKF & Perera, I 2014, ' SD2CPN: a model transformation tool for software design models '. in 2014 International Computer Science and Engineering Conference (ICSEC) . IEEE, pp. 354 - 359, The 18th International Computer Science and Engineering Conference, Khon Kaen, Thailand, 30-1 August.

Automated composition of sequence diagrams via Alloy

Alwanain, M, Bordbar, B & Bowles, JKF 2014, ' Automated composition of sequence diagrams via Alloy '. in MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. SciTePress, pp. 384-391, International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014), Lisbon, Portugal, 6 January.

On distributed stochastic logics for mobile systems

Bowles, JKF & Viana, P 2014, ' On distributed stochastic logics for mobile systems '. in U Kohlenbach, P Barceló & R de Queiroz (eds), Logic, Language, Information, and Computation. vol. 8652, Lecture Notes in Computer Science, Springer-Verlag, pp. 195-205, 21st International Workshop, WoLLIC 2014, Valparaiso, Chile, 1-4 September.

A strongly consistent transformation from UML interactions to PEPA nets

Bowles, J & Kloul, L 2014, ' A strongly consistent transformation from UML interactions to PEPA nets '. in B Murgante, S Misra, AMAC Rocha, C Torre, JG Rocha, MI Falcao, D Taniar, BO Apduhan & O Gervasi (eds), Computational Science and Its Applications – ICCSA 2014: 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V. Lecture Notes in Computer Science, vol. 8583, Springer-Verlag, BERLIN, pp. 90-105, 14th International Conference on Computational Science and Its Applications (ICCSA), Portugal, 30-3 July.

Parametric Transformations for Flexible Analysis

Bowles, JKF & Meedeniya, DA 2012, ' Parametric Transformations for Flexible Analysis '. in Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC '12): Hong Kong December 4-7, 2012. vol. 1, IEEE Computer Society, pp. 634-643.

Strongly consistent transformation of partial scenarios

Bowles, JKF & Meedeniya, DA 2012, ' Strongly consistent transformation of partial scenarios ' ACM SIGSOFT Software Engineering Notes , vol 37, no. 4.

Formal Transformation from Sequence Diagrams to Coloured Petri Nets

Bowles, JKF & Meedeniya, DA 2010, ' Formal Transformation from Sequence Diagrams to Coloured Petri Nets '. in 2010 17th Asia Pacific Software Engineering Conference (APSEC). IEEE Computer Society, pp. 216-225.

Synthesising PEPA nets from IODs for performance analysis

Bowles, JKF & Kloul, L 2010, ' Synthesising PEPA nets from IODs for performance analysis '. in WOSP/SIPEW '10 Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering . ACM Press - Association for Computing Machinery.

When things go wrong: Interrupting Conversations

Bowles, JKF & Moschoyiannis, S 2008, ' When things go wrong: Interrupting Conversations '. in Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science edn, vol. 4961, Springer, pp. 131-145.

On a time enriched OCL liveness template

Bowles, JKF & Anderson, S 2006, ' On a time enriched OCL liveness template ' International Journal on Software Tools for Technology Transfer , vol 8, no. 2, pp. 156-166.