Virtual Meetup: "Program Translation using Model-driven Engineering"

Hi Community,

I am happy to announce that next Tuesday (the 4th of October), Kevin Lano will hold the discussion about " Program Translation using Model-driven Engineering".

You’ll find the Zoom link below!

The porting or translation of software applications from one programming language to another is a common requirement of organisations that utilise software, and the increasing number and diversity of programming languages make this capability as relevant today as in previous decades.

Several approaches have been used to address this challenge, including machine learning and the manual definition of explicit translation rules, however, the accuracy of these approaches remains unsatisfactory. In this talk, a new approach to program translation is described using model-driven engineering (MDE) techniques: reverse-engineering source programs into specifications in the UML and OCL formalisms, and then forward-engineering the specifications to the required target language. This approach can provide assurance of semantic preservation, and additionally has the advantage of extracting specifications of software from code. The approach is evaluated based on a dataset of real program examples, including industrial cases.

Dr Lano has been involved in the field of software languages for over 30 years. He devised the Z++ extension of Z, and worked on the semantics of UML, OCL and model transformation languages. He has also been involved in software reverse-engineering, re-engineering and verification research. He leads a research team of 3 RAs and 5 PhD students at King’s College.

How to connect

To avoid other security issues is now necessary to register for the meeting. The registration should be necessary just once and be valid for all the next meetings you will participate in. I understand it is a little extra effort, but it would avoid problems like the ones we encountered:

Registration for the Virtual Meetup

After registering, you will receive a confirmation email containing information about joining the meeting. It will also permit you to add it to your calendar.


It is hosted on Zoom at 5 PM GMT+1/CEST (you can use this link to figure out which time is in your timezone: Dateful Time Zone Converter).


1 Like

I was there but looks like it has been postponed

God blesses!!!


Hello, Sanyaade.

The talk was held, but took place an hour earlier than usual. I was late too…

Federico told me that, now, the talks are recorded, and that they will publish the link when it is available.


Hi oscaretu,

I was not late, I was there from 5 PM GMT and waited for two hours. I got chart message from the host says start-time been changed. Then I waited there for two hours and the platform was on throughout even when I was leaving.

I will wait for the recording

God blesses!!!