Amleto Di Salle

2b∨¬2b ≡ ?

Amleto is currently an assistant professor (tenure track) at the Gran Sasso Science Institute (Italy) and previously a research fellow at the European University of Rome (Italy). In 2015, he received a Ph.D. in computer science from the University of L’Aquila.

Education

Ph.D. in Computer Science and Application

Thesis Title: Automated Synthesis of Service Choreographies
Received from: University of L’Aquila, Italy
Supervisor and co-supervisor: prof. Paola Inverardi, dr. Marco Autili
Period: October 2011 - October 2014

Master degree in Computer Science with first-class honors

Thesis Title: Tecniche di reingegnerizzazione basate sulla specifica formale: un caso di studio
Received from: University of L’Aquila, Italy
Supervisor and co-supervisor: prof. Paola Inverardi, prof. Benedetto Intrigila
Date: 08 April 1998


Research

His main research focuses on several aspects of software engineering, particularly in software architecture, model-based software engineering, distributed systems composition, and software systems evolution, concentrating on technical debt. He published more than 40 papers in international conferences and journals.

He has been involved in several conferences and workshops program committees and has organized several workshops, such as MDE4SA@ICSA and FPVM@MODELS. In addition, he co-organized the second edition of the summer school entitled Software Engineering for Digital Society (SE4DS).

He is currently an associate editor of the Journal of Computer Languages and a special guest editor of the special issue Model-Driven Engineering for Software Architecture (MDE4SA) at the Elsevier Journal of Systems and Software. He is a reviewer for many journals, such as IEEE Transactions on Software Engineering, IEEE Software, IEEE Transactions on Services Computing, Science of Computer Programming, and Journal of Systems and Software.

He has worked on several European and national research projects, such as MATISSE, CHOReVOLUTION, CHOReOS, INCIPICT, and PRIN 2022 COBOL.


Pubblications

2024

Supporting reusable model migration with Edelta
Lorenzo Bettini, Amleto Di Salle, Ludovico Iovino, Alfonso Pierantonio
Journal of Systems and Software Volume 212 June 2024
DOI

Continuous Conformance of Software Architectures
Alessio Bucaioni, Amleto Di Salle, Ludovico Iovino, Leonardo Mariani, Patrizio Pelliccione
21st IEEE International Conference on Software Architecture (ICSA) 2024, Hyderabad, India, June 4-8
DOI

2023

Mastering Reference Architectures with Modeling Assistants
Amleto Di Salle, Ludovico Iovino, Leonardo Mariani
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Västerås , Sweden, October 1-6, 2023
DOI

JJodel–A reflective cloud-based modeling framework
Juri Di Rocco, Davide Di Ruscio, Amleto Di Salle, Damiano Di Vincenzo, Alfonso Pierantonio, Giordano Tinella
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Västerås , Sweden, October 1-6, 2023
DOI

Fusion of deep convolutional and LSTM recurrent neural networks for automated detection of code smells
Anh Ho, Anh MT Bui, Phuong T Nguyen, Amleto Di Salle
27th International Conference on Evaluation and Assessment in Software Engineering, EASE 2023, Pag. 229 – 234, 14 June 2023, Oulu (Finland) ISBN: 979-840070044-6
DOI

From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model
Alessio Bucaioni, Federico Ciccozzi, Amleto Di Salle, Mikael Sjödin
Software and Systems Modeling, 19 May 2023, Springer-Verlag GmbH Germania
DOI

A modeling assistant to manage technical debt in coupled evolution
Davide Di Ruscio, Amleto Di Salle, Ludovico Iovino, Alfonso Pierantonio
Information and Software Technology Volume 156 April 2023, Elsevier Inc. The Netherlands, ISSN: 0950-5849
DOI

A technology transfer journey to a model-driven access control system
Martina De Sanctis, Amleto Di Salle, Ludovico Iovino, Maria Teresa Rossi
International Journal on Software Tools for Technology Transfer, Volume 25, Issue 1, Pag. 49 – 74 February 2023, Springer-Verlag GmbH Germany, ISSN: 1433-2779
DOI

Self-Adaptation in Industry: A Survey
Danny Weyns, Ilias Gerostathopoulos, Nadeem Abbas, Jesper Andersson, Stefan Biffl, Premek Brada, Tomas Bures, Amleto Di Salle, Matthias Galster, Patricia Lago, Grace Lewis, Marin Litoiu, Angelika Musil, Juergen Musil, Panos Patros, Patrizio Pelliccione
ACM Transactions on Autonomous and Adaptive Systems, ISSN: 1556-4665
DOI

Reference architectures modelling and compliance checking
Alessio Bucaioni, Amleto Di Salle, Ludovico Iovino, Ivano Malavolta, Patrizio Pelliccione
Software and Systems Modeling, 2023, 22(3), pp. 891–917, Springer-Verlag GmbH Germania, ISSN: 1619-1374
DOI

2022

PILOT: Synergy between Text Processing and Neural Networks to Detect Self-Admitted Technical Debt
Amleto Di Salle, Alessandra Rota, Phuong T. Nguyen, Davide Di Ruscio, Francesca Arcelli-Fontana, Irene Sala
International Conference on Technical Debt 2022, TechDebt 2022, pag. 41 - 45, 17 Maggio 2022, Pittsburgh (USA), ISBN: 978-1-4503-9304-1
DOI

Preliminary Results of a Survey on the Use of Self-Adaptation in Industry
Danny Weyn, Ilias Gerostathopoulos, Nadeem Abbas, Jesper Andersson, Stefan Biffl, Premek Brada, Tomas Bures, Amleto Di Salle, Patricia Lago, Angelika Musil, Juergen Musil, Patrizio Pelliccione
17th Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2022, pag. 70 – 76, 18 May 2022, Pittsburgh (USA)
DOI

2021

Design, monitoring, and testing of microservices systems: The practitioners’ perspective
Muhammad Waseem, Peng Liang, Mojtaba Shahin, Amleto Di Salle, Gastón Márquez
Journal of Systems and Software, 182, art. no. 111061, December 2021, Elsevier Inc. The Netherlands, ISSN: 0164-1212,
DOI

Unavailable transit feed specification: Making it available with recurrent neural networks
Ludovico Iovino, Phuong T Nguyen, Amleto Di Salle, Francesco Gallo, Michele Flammini
IEEE Transactions on Intelligent Transportation Systems, 22 (4), art. no. 9345512, pp. 2111-2122, April 2021, IEEE USA, ISSN: 1524-9050
DOI

Enhancing Trustability of Android Applications via User-Centric Flexible Permissions
Gian Luca Scoccia, Ivano Malavolta, Marco Autili, Amleto Di Salle, Paola Inverardi
IEEE Transactions on Software Engineering, 47 (10), pp. 2032-2051, October 2021, IEEE USA, ISSN: 0098-5589
DOI

Highly collaborative distributed systems: Synthesis and enactment at work
Marco Autili, Alexander Perucci, Leonardo Leite, Massimo Tivoli, Fabio Kon, Amleto Di Salle
Concurrency and Computation: Practice and Experience, 33 (6), art. no. e6039, March 2021, Wiley-Blackwell USA, ISSN: 1532-0634
DOI

2020

Metamodel deprecation to manage technical debt in model co-evolution
Ludovico Iovino, Amleto Di Salle, Davide Di Ruscio, Alfonso Pierantonio
23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings, pp. 306-315, Montreal (Canada), October 2020, ISBN: 9781450381352
DOI

Testing Microservices Architecture-Based Applications: A Systematic Mapping Study
Muhammad Waseem, Peng Liang, Gastón Márquez, Amleto Di Salle
Asia-Pacific Software Engineering Conference APSEC, art. no. 9359275, pp. 119-128, Singapore (Malesia), December 2020 ISBN: 978-1-7281-9553-7
DOI

CHOReVOLUTION: Service choreography in practice
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
Science of Computer Programming, 197, art. no. 102498, October 2020, Elsevier Inc. The Netherlands, ISSN: 0167-6423
DOI

CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems
Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli
International Conference on Coordination Languages and Models COORDINATION 2020 co-located with DisCoTec 2020, pp. 3-19, Valletta (Malta), 15-19 June 2020, ISBN: 978-3-030-50028-3
DOI

2019

CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
International Conference on Coordination Languages and Models COORDINATION 2019 co-located with DisCoTec 2019, pp. 92-108, Kongens Lyngby (Denmark), 17-21 June 2019, ISBN: 978-3-030-22396-0
DOI

A Choreography-Based and Collaborative Road Mobility System for L’Aquila City
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
Future Internet, 11 (6), art. no. 132, June 2019, Basilea Switzerland, ISSN: 1999-5903
DOI

Aiding the realization of service-oriented distributed systems
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
34th ACM/SIGAPP Symposium on Applied Computing SAC 2019, pp. 1701-1710, Limassol (Cyprus), 12-18 April 2019
DOI

An extensible data-driven approach for evaluating the quality of microservice architectures
Mario Cardarelli, Ludovico Iovino, Paolo Di Francesco, Amleto Di Salle, Ivano Malavolta, Patricia Lago
34th ACM/SIGAPP Symposium on Applied Computing SAC 2019, pp. 1225-1234, Limassol (Cyprus), 12-18 April 2019, ISBN: 9781450359337
DOI

2018

On the Model-driven Synthesis of Adaptable Choreographies
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, and Massimo Tivoli
Proceedings of the 5th International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp 2018) co-located with MODELS 2018, pages x--yyy, 2018
PDF

On the Model-driven Synthesis of Evolvable Service Choreographies
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, and Massimo Tivoli
Proceedings of the 12th European Conference on Software Architecture, pages 1--6, 2018
DOI

Model-driven adaptation of service choreographies
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, and Massimo Tivoli
Proceedings of the 33rd Annual ACM Symposium on Applied Computing (ACM SAC), pages 1441-1450, 2018
DOI

2017

User-centric Android flexible permissions
Gian Luca Scoccia, Ivano Malavolta, Marco Autili, Amleto Di Salle, and Paola Inverardi
Software Engineering Companion (ICSE-C), 2017 IEEE/ACM 39th International Conference on, pages 365-367, 2017
DOI

MicroART: A software architecture recovery tool for maintaining microservice-based systems
Giona Granchelli, Mario Cardarelli, Paolo Di Francesco, Ivano Malavolta, Ludovico Iovino, and Amleto Di Salle
IEEE International Conference on Software Architecture (ICSA), 2017
DOI

Towards recovering the software architecture of microservice-based systems
Giona Granchelli, Mario Cardarelli, Paolo Di Francesco, Ivano Malavolta, Ludovico Iovino, and Amleto Di Salle
IEEE International Conference on Software Architecture Workshops (ICSAW), pages 46-53, 2017
DOI

2016

Composition of Advanced μ-Services for the Next Generation of the Internet of Things
Amleto Di Salle, Francesco Gallo, and Claudio Pompilio
Federation of International Conferences on Software Technologies: Applications and Foundations, pages 436-444, 2016
DOI

2015

On the automated synthesis of enterprise integration patterns to adapt choreography-based distributed systems
Marco Autili, Amleto Di Salle, Alexander Perucci, and Massimo Tivoli
Proceedings of 14th Coordination Languages and Self-Adaptive Systems (FOCLASA'15), pages 33-47, 2015
DOI

Biological Immunity and Software Resilience: Two Faces of the Same Coin?
Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci, and Massimo Tivoli
7th International Workshop on Software Engineering for Resilient Systems (SERENE'15), pages 1-15, Springer International Publishing - LNCS, 2015
DOI

Dependable composition of software and services in the internet of things: a biological approach
Amleto Di Salle, Francesco Gallo, and Alexander Perucci
International Conference on Software Engineering and Formal Methods, pages 312-323, 2015
DOI

Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns
Amleto Di Salle, Francesco Gallo, and Alexander Perucci
International Conference on Software Engineering and Formal Methods, pages 240-252, 2015
DOI

2014

Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams
Marco Autili, Davide Di Ruscio, Amleto Di Salle, and Paola Inverardi
Proceedings of the International Workshop on Model-Driven Engineering for Component-Based Software Systems ModComp@MoDELS 2014, Valencia, Spain, pages 67-77, CEUR-WS.org, 2014
PDF

Choreosynt: enforcing choreography realizability in the future internet
Marco Autili, Davide Di Ruscio, Amleto Di Salle, and Alexander Perucci
Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'14) - Tool Demo, pages 723-726, ACM New York, 2014
DOI

MDEForge: an Extensible Web-Based Modeling Platform
Francesco Basciani, Juri Di Rocco, Davide Di Ruscio, Amleto Di Salle, Ludovico Iovino, and Alfonso Pierantonio
CloudMDE Workshop at MoDELS 2014, Valencia, Spain, http://ceur-ws.org/, 2014
PDF

Towards adaptable and evolving service choreography in the future Internet
Amleto Di Salle, Paola Inverardi, and Alexander Perucci
IEEE World Congress on Services (SERVICES), pages 333-337, 2014
DOI

2013

Synthesis of resilient choreographies
Marco Autili, Amleto Di Salle, and Massimo Tivoli
5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings. Springer 2013., pages 94-108, Springer-Verlang, Berlin Heidelberg, 2013
DOI

A model-based synthesis process for choreography realizability enforcement
Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, and Massimo Tivoli
16th International Conference on Fundamental Approaches to Software Engineering (FASE), Rome, Italy, pages 37-52, Springer Berlin Heidelberg, 2013
DOI

2007

Software customization in model driven development of web applications
Antonio Cicchetti, Davide Di Ruscio, and Amleto Di Salle
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007
DOI


Teaching (in english)

Academic Courses

A. Y. 2023/2024

Continuous Evolution of Software and Artifacts (Teacher) – 14 hours of face-to-face teaching
Gran Sasso Science Institute - L'Aquila

Theory and Applications of MDE (co-Teacher) – 14 hours of face-to-face teaching
Gran Sasso Science Institute - L'Aquila

Introduction to Software Engineering Immigration course (co-Teacher) – 30 hours of face-to-face teaching
Gran Sasso Science Institute - L'Aquila

A. Y. 2022/2023

Business Informatics (Teacher) – 3 CFU, of which 21 hours of face-to-face teaching
Bachelor’s degree in Economics and Business Management, specialization in Consulting (English), European University of Rome

Teaching (in italian)

Academic Courses

A. Y. 2023/2024

Information processing systems, big data, and artificial intelligence (Teacher) – 12 CFU, of which 84 hours of face-to-face teaching
Master’s degree in Digital Transition Management, European University of Rome

A. Y. 2022/2023

Information processing systems, big data, and artificial intelligence (Teacher) – 12 CFU, of which 84 hours of face-to-face teaching
Master’s degree in Digital Transition Management, European University of Rome

A. Y. 2021/2022

Object-Oriented Programming Lab (Tutor) - 20 hours of practice
Bachelor’s Degree in Computer Science, University of L’Aquila

Java advanced programming lab (Teacher) - 4 CFU, of which 40 hours of face-to-face teaching
Master Mobile and Web Technologies, University of L’Aquila

Jakarta EE platform (Teacher) - 5 CFU, of which 40 hours of face-to-face teaching
Master Mobile and Web Technologies, University of L’Aquila

A. Y. 2020/2021

Object-Oriented Programming Lab (Teacher) - 6 CFU, of which 60 hours of face-to-face teaching
Bachelor’s Degree in Computer Science, University of L’Aquila

Java advanced programming lab (Teacher) - 4 CFU, of which 40 hours of face-to-face teaching
Master Mobile and Web Technologies, University of L’Aquila

Jakarta EE platform (Teacher) - 5 CFU, of which 40 hours of face-to-face teaching
Master Mobile and Web Technologies, University of L’Aquila

A. Y. 2019/2020

Object-Oriented Programming Lab (Teacher) - 6 CFU, of which 60 hours of face-to-face teaching
Bachelor’s Degree in Computer Science, University of L’Aquila

Java advanced programming lab (Teacher) - 5 CFU, of which 40 hours of face-to-face teaching
Master Mobile and Web Technologies, University of L’Aquila

J2EE platform (Teacher) - 5 CFU, of which 40 hours of face-to-face teaching
Master Mobile and Web Technologies, University of L’Aquila

A. Y. 2018/2019

Applications for mobile devices (Teacher) - 6 CFU, of which 48 hours of face-to-face teaching
Bachelor Degree in Computer Science, University of L’Aquila

A. Y. 2017/2018

Applications for mobile devices (Teacher) - 6 CFU, of which 48 hours of face-to-face teaching
Bachelor Degree in Computer Science, University of L’Aquila

Java advanced programming lab (Teacher) - 5 CFU, of which 40 hours of face-to-face teaching
Master Web Technology, University of L’Aquila

J2EE platform (Teacher) - 5 CFU, of which 40 hours of face-to-face teaching
Master Web Technology, University of L’Aquila

Mobile Computing (Teacher) - 4 CFU, of which 32 hours of face-to-face teaching
Master Web Technology, University of L’Aquila

A. Y. 2016/2017

Applications for mobile devices (Teacher) - 6 CFU, of which 48 hours of face-to-face teaching
Bachelor Degree in Computer Science, University of L’Aquila

A. Y. 2014/2015

Java advanced programming lab (Teacher) - 5 CFU, of which 35 hours of face-to-face teaching
Master Web Technology, University of L’Aquila

J2EE platform (Teacher) - 8 CFU, of which 56 hours of face-to-face teaching
Master Web Technology, University of L’Aquila

A. Y. 2013/2014

J2EE platform (Teacher) - 8 CFU, of which 64 hours of face-to-face teaching
Master Web Technology, University of L’Aquila

A. Y. 2007/2008

J2EE platform (Teacher) - 6 CFU, of which 48 hours of face-to-face teaching
Master Web Technology, University of L’Aquila

A. Y. 2006/2007

J2EE platform (Teacher) - 6 CFU, of which 48 hours of face-to-face teaching
Master Web Technology, University of L’Aquila

A. Y. 2005/2006

J2EE platform (Teacher) - 6 CFU, of which 48 hours of face-to-face teaching
Master Web Technology, University of L’Aquila

A. Y. 2004/2005

Web Engineering II: J2EE applications (Teacher) - 6 CFU, of which 48 hours of face-to-face teaching
Master Web Technology, University of L’Aquila

Software Engineering lab (Teacher) - 3 CFU, of which 30 hours of face-to-face teaching
Bachelor’s Degree in Computer Science, University of L’Aquila

A. Y. 2003/2004

Software Engineering lab (Teacher) - 3 CFU, of which 30 hours of face-to-face teaching
Bachelor’s Degree in Computer Science, University of L’Aquila

A. Y. 2002/2003

Software Engineering lab (Teacher) - 3 CFU, of which 30 hours of face-to-face teaching
Bachelor’s Degree in Computer Science, University of L’Aquila

Industrial Courses

May-July, 2018

Tecnologie Mobile (64 hours)
App Abruzzo, University of L’Aquila - University of Teramo

2015

Spring Framework (80 hours)
HONDA ITALIA INDUSTRIALE S.p.A, Atessa (CH)

2014

Service Oriented Architecture (40 hours)
INTECS, L’Aquila

Persistence methods (40 hours)
INTECS, L’Aquila

Service Oriented Architecture (36 hours)
THALES ITALIA S.p.A., Chieti

2013

Java Enterprise Edition (80 hours)
HONDA ITALIA INDUSTRIALE S.p.A, Atessa (CH)

2012

Java Standard Edition (96 hours)
HONDA ITALIA INDUSTRIALE S.p.A, Atessa (CH)

2010

Java Standard Edition (40 hours)
IL SOLE 24 ORE, Carsoli (AQ)

2002

Java Standard Edition (40 hours)
SUN EDUCATIONAL SERVICES, Rome

Java Enterprise Edition (40 hours)
SUN EDUCATIONAL SERVICES, Rome


Software

CHOReVOLUTION

CHOReVOLUTION elevates the Readiness Level of existing choreography technologies in order to drop the dynamism and cross-organization security barriers via the automated synthesis of dynamic and secured choreographies in the Future Internet.


MDEForge

It is a Web-based modeling framework supporting a wide number of model management operations including model transformation, and model analysis.


CHOReOSynth

CHOReOSynth is a set of tools to automatically synthesize an automata-based specification of the coordination logic out of a BPMN2 choreography specification, and to distribute it between the choreography participants