Software design with formal methods

J. Bowles, D. Meedeniya, "Formal Transformation from Sequence Diagrams to Coloured Petri Nets", in Proceedings of the 17th Asia Pacific Software Engineering Conference (APSEC '10), IEEE Computer Society, pp 216 - 225, Sydney, 2010. DOI: http://dx.doi.org/10.1109/APSEC.2010.33

J. K. F.Bowles, D. Meedeniya, "Strongly Consistent Transformation of Partial Scenarios", Proceedings of the 5th International workshop UML and Formal Methods (UML&FM’2012), ACM Software Engineering, Notes in (SEN), Paris, July 2012.

J. Bowles, D. Meedeniya, “Strongly consistent transformation of partial scenarios”. Journal of ACM SIGSOFT Software Engineering Notes (SEN), vol 37, no. 4, pp 1-8, ACM, 2012. DOI=http://dx.doi.org/10.1145/2237796.2237809

J. Bowles, D.Meedeniya, “Parametric Transformations for Flexible Analysis", Proceedings of the 19th Asia Pacific Software Engineering Conference (APSEC '12), pp 634-643, IEEE Computer Society, Hong Kong, 2012. DOI: http://dx.doi.org/10.1109/APSEC.2012.61

D.A. Meedeniya, I.Perera, "Model Based Software Design: Tool Support for Scripting in Immersive Environments", 2013 8th IEEE International Conference on Industrial and Information Systems (ICIIS'13), pp.248-253, 2013. DOI: http://dx.doi.org/10.1109/ICIInfS.2013.6731990

D. Meedeniya, J. Bowles, I. Perera, "SD2CPN: A Model Transformation Tool for Software Design Models", 2014 International Computer Science and Engineering Conference: ICSEC 2014 International Track, pp. 461-466, IEEE Explorer, 2014. DOI: http://dx.doi.org/10.1109/ICSEC.2014.6978222

D. Meedeniya, I. Perera, J. Bowles, "Transformation and composition of software design models for Model Driven Development, "IEEE 10th International Conference on Industrial and Information Systems (ICIIS), Peradeniya, pp. 31-36, 2015. DOI: http://dx.doi.org/10.1109/ICIINFS.2015.7398981

D. Meedeniya, I. Perera, J. Bowles, “Tool Support for Transforming Unified Modelling Language Sequence Diagram to Coloured Petri-nets”, Maejo International Journal of Science and Technology, v. 10, n. 03, pp. 272-283, 2016. http://www.mijst.mju.ac.th/vol10/272-283.pdf