Teaching

I am teaching the Object-oriented Specification and Design course. I am teaching on the external Carnegie Library Lab course.

Research

I have the following ongoing projects:

• UML-RSDS including the UML2C translator
• MDD for Finance: industry collaboration with HRS Ltd.
• MTNET: the UK network for model transformation engineering and verification

I am a member of the SMAL research group in the Department of Informatics. My particular areas of interest are:

• Model-based development and object-oriented Specification: particularly the UML-RSDS toolset, and Model Transformations
• I host the Model Transformation Design Patterns repository.
• I manage the Model Transformation and MDE mailing list.
• Formalisation of UML and OCL
• Safety critical systems. I am the coordinator of the Safety critical systems course
• Methods integration: particularly UML with B AMN, Z++ or VDM++
• Reverse-engineering: program transformation approaches
• Model-driven Business Process Engineering

Project Funding

1. Carnegie UK Carnegie Lab project: Software Engineering training for employment skills. £6700. April 2016-September 2017.
2. Widening Participation in Informatics: Widening Participation project. £5900. September 2017-August 2018.
3. MTNET Model Transformations Network project, a UK Network project
4. Collaborate on ENGINE EU project, with Wroclaw University, Poland, in the area of requirements engineering.

Recent Papers

Model Transformation Design Patterns

A Framework for Model Transformation Verification

Patterns for Model Transformations (ICSEA 2011)

Slicing of UML Models (ICSOFT 2010, MODELS 2010)

Specification and Verification of Model Transformations (IFM 2010)

(Presented at ROOM 2, June 1998)

(Presented at ECOOP 98, Workshop 6)

Catalogue of model transformations

Books

• Agile Model-Based Development using UML-RSDS (Taylor and Francis, 2016)
• UML 2 Semantics and Applications (Editor) (Wiley, 2009)
• Model-Driven Development using UML and Java (Cengage, 2009)
• Object-oriented Specification Case Studies more details here (Prentice Hall 1993)
• Formal Object-oriented Development (Springer-Verlag 1995)
• The B Language and Method: A Guide to Practical Formal Development (Springer-Verlag 1996)
• Software Design in Java 2 (Palgrave, 2002).
• Reverse Engineering and Software Maintenance (McGraw-Hill 1993)

Current/Recent PhD Students

Hessa Alfraihi (Agile Model-Driven Development)

Sobhan Yassipour-Tehrani Requirements engineering for model transformations.

Shekoufeh Kolahdouz-Rahimi (Model transformation specification): Awarded 2013

Kleopatra Chatziprimou (Optimisation of cloud computing environments): Awarded 2016

Krikor Maroukian (MDD for business modelling)

Ravinder Singh-Zandu (MDD for business modelling)

Previous Projects

• UML-RSDS: Reactive Systems Design Support. Comprising development of a method and toolset for system development using UML and the MDA.
• Understanding the Record: Using metamodelling and transformations to represent electronic health records.

Points of Esteem

I am an editor of the Software Systems Modelling journal (Springer).

I am on the programme committee of MODELS, VOLT, AMT, PAME, MODELSWARD and ICSEA.