Simple Transformer (SiTra)

Publications

A selection of publications related to SiTra:

• SiTra: Simple Transformations in Java, D.H. Akehurst, B. Boardbar, M. Evans, W.G.J. Howells, K.D. McDonald-Maier, ACM/IEEE 9TH International Conference on Model Driven Engineering Languages and Systems,LNCS, Vol. 4199, pages 351-364, 2006
• Model Transformation from OWL-S to BPEL via SiTra, B Bordbar, G. Howells, M. Evans and T. Staikopoulos, European Conference on Model Driven Architecture Foundations and Applications (ECMDA-FA), LNCS, Vol. 4530, pages 43-58, 2007
• An Experiment in Using Model Driven Development: Compiling UML State Diagrams into VHDL, David Akehurst, Gareth Howells, Klaus McDonald-Maier, Behzad Bordbar, Forum on Specification and Design Languages (FDL 07) , 2007
• UML2Alloy: A Challenging Model Transformation, K. Anastasakis, B. Bordbar, G. Georg, and I Ray, ACM/IEEE 10TH International Conference on Model Driven Engineering Languages and Systems, LNCS, Vol. 4735, pages 436-450, 2007
• Using traceability for reverse instance transformations with SiTra, S. Shah, K. Anastasakis, and B. Bordbar. In Design and Architectures for Signal and Image Processing (DASIP 2008). Special Session on Formal Models, Transformations and Architectures for Re liable Embedded System Design., Bruxelles, Belgium, 2008.
• From UML to Alloy and Back, S.M.A. Shah, K.Anastasakis, B. Bordbar, 6th Workshop on Model Design, Verification and Validation (MODEVVA 09) published in ACM International Conference Proceeding Series; Vol. 413, pages 1-10, 2009 (best paper award)
• On automated generation of Diagnosers in Fault tolerant Service oriented Architectures, M. Alodib, B. Bordbar, B. Majeed, Journal of Digital Information Management, pages 344-350, Volume 7 Issue 6, 2009
• On A Chain of Transformations for Generating Alloy from NL Constraints, I. Bajwa, B. Bordbar, K. Anastasakis and M. Lee. Seventh IEEE International Conference on Information Management (ICDIM), pages 93-98 2012
• Spatio-Temporal Role Based Access Control for Physical Access Control Systems. E. Geepalla, B. Bordbar, and X. Du. Accepted for publication in the proceedings of the Fourth International Conference on Emerging Security Technologies (EST-2013). IEEE, 2013.