System Modelling

 

My research interests mostly revolve around modelling complex sytems.In my research I extensively use models. I also enjoy modelling of systems in semi-formal and formal languages. In the past I applied Timed Automata, Petri net, UML, Workflow languages, BPEL, and Alloy for modelling manufacturing systems, Quality of Service in Distributed Multimedia systems, Data bases, security, Web services and SoA.

Selected publications

  1. UML and Petri Nets for Design and Analysis of Distributed Systems. B. Bordbar, L. Giacomini, and D. J. Holding. In IEEE CCA/CACSD, Alaska, USA, September 2000.

  2. Design of Distributed Manufacturing Systems using UML and Petri Nets. B. Bordbar, L. Giacomini, and D. J. Holding. In Proceedings of 6th International Federation of Automatic Control (IFAC), Workshop on Algorithms and Architectures for Real-Time Control, pages 91-96, Palma de Mallorca, Spain, May 2000. .

  3. Using UML to specify QoS constraints in ODP. B. Bordbar, J. Derrick, and A. G. Waters. Computer Network and ISDN systems, 40, pages 279-304, 2002

  4. A Model Driven Approach to the Analysis of Timeliness Properties, M. A. Ameedeen, B. Bordbar and R. Anane, European Conference on Model Driven Architecture Foundations and Applications (ECMDA-FA 09), LNCS, Vol. 5562, pages 221-236, 2009

  5. A Timed Automata Approach to QoS Resolution, B. Bordbar, R. Anane and K. Okano, International Journal of Simulation, Systems, Science and Technology, Vol. 7, No 1, pages 46-54, 2006

  6. On Querying UML data models with OCL. D.H.Akehurst and B.Bordbar. In <<UML>> 2001 "Modeling Languages, Concepts and Tools", October 2001.

  7. Integrated Model-Based Software Development, Data Access and Data Migration. B. Bordbar, D. Draheim, M. Horn, I. Schulz, and G. Weber. Proceeding of MoDELS/UML 2005 - ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Lecture notes in Computer Science, Vol 3713, pages 382-396, 2005

  8. Ensuring Spatio-Temporal Access Control for Real-World Applications, M. Toahchoodee, I. Ray, K. Anastasakis, G. Georg and B. Bordbar, Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, Stresa, Italy, June 2009.

  9. An aspect-oriented methodology for designing secure applications, G. Georg, I. Ray, K. Anastasakis, B. Bordbar, M. Toahchoodee, and S. H. Houmb, Journal of Information and Software Technology, Volume 51, Issue 5, Pages 846-864, 2009

  10. Verification and Trade-off Analysis of Security Properties in UML System Models, G. Georg, K. Anastasakis, B. Bordbar, S. H. Houmb, I. Ray, M. Toahchoodee, accepted for publication in IEEE Transactions on Software Engineering, Volume 36 no. 3, Pages 338 - 356, 2010

  11. A model-based approach to Fault diagnosis in Service oriented Architectures, M. Alodib and B. Bordbar, Proceeding of the 7th IEEE European Conference on Web Services (ECOWS 09) pages 129-139, 2009