Computer Science @ University of St Andrews

University of St Andrews crest

Dr Juliana Bowles

No picture available

Position: Lecturer

Research profile

Email: jkfb@st-andrews.ac.uk

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

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.

Modelling Concurrent Interactions

Bowles, JKF 2006, ' Modelling Concurrent Interactions ' Theoretical Computer Science , vol 351, no. 2, pp. 203-220.

Modelling Mobility with UML2.0 and PEPA Nets

Bowles, JKF & Kloul, L 2006, ' Modelling Mobility with UML2.0 and PEPA Nets '. in Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on . IEEE Computer Society, pp. 153 - 164 .

A logic-based formalization for component specification

Bowles, JKF 2002, ' A logic-based formalization for component specification ' Journal of Object Technology , vol 1, no. 3, pp. 231-248.

Enriching OCL using observational mu-calculus.

Bradfield, J , Bowles, JKF & Stevens, P 2002, ' Enriching OCL using observational mu-calculus. ' pp. 15.