Teaching

In 2019/20 I am teaching the Software Engineering for Finance course and 6CCS3SAD/7CCSMDAS Software Architectures.

I also teach on the external Widening Participation in Informatics programme. In November 2019 we taught a course on Introduction to programming using Python

Research

I have the following ongoing projects:

• Agile UML which is now an Eclipse project at Agile UML Version 1.9
• MDD for Finance: industry collaboration with HRS Ltd.
• MTNET: the UK network for model transformation engineering and verification

I am the leader of the Agile MDE research team, consisting of myself, Dr Howard Haughton from HRS Ltd., an RA, Hessa Alfraihi, and four PhD students:

• Kunxiang Jin, working on Model-based testing
• Shichao Fang, working on model transformation synthesis from metamodel matching
• Lyan Alwakeel, working on MDE of mobile applications
• Muhammad Aminu Umar, working on requirements engineering for agile development.

We collaborate with the group of Shekoufeh Kolahdouz-Rahimi at the Department of Software Engineering Faculty of Computer Engineering University of Isfahan.

I am a member of the Software Systems 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.
• A library of useful MDE resources is here
and the UML-RSDS ZOO is here
• Formalisation of UML, OCL and QVT-R
• 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. Widening Participation in Informatics: Widening Participation project. £2250. September 2018-July 2019.
4. MTNET Model Transformations Network project, a UK Network project
5. Collaborate on ENGINE EU project, with Wroclaw University, Poland, in the area of requirements engineering.

Recent Books and Papers

Agile MBD using UML-RSDS

A survey of model transformation design patterns in practice

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

• Financial Software Engineering Springer-Verlag, 2019. With Dr Howard Haughton.
• Agile MBD 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. Awarded 2018

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

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

Shichao Fang (Model weaving)

Ravinder Singh-Zandu (MDD for business modelling): Awarded 2018

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 serve/have served on the programme committees of MODELS, VOLT, AMT, MODELSWARD and ICSEA.