News

•ECSA 2020 is going virtual!

Please register through
https://ecsa2020.disim.univaq.it/attending/registrations

•The program is on-line

Call for Papers

Scope

Responsiveness to ever-evolving requirements, market needs, customer feedback, and technology are only a few of the challenges posed by modern software systems and impacting Software Architecture (SA) and its evolution. Such challenges require ad-hoc methodologies, technologies, and tools to mitigate complexity, deal with architectural erosion, and survive the technological evolution. Model-Driven Engineering (MDE) is a methodology for developing complex software systems, which uses the principle of abstraction and separation of concerns for tackling the complexity of modern software systems. Models are not considered as mere documentation, but as well-defined artefacts (specified through modelling languages) that can be understood, automatically manipulated by automated processes, or transformed into other artefacts. In this context, the interplay between MDE and SA seems natural and of great benefit. Specific modelling languages can be used for representing SAs (e.g., AADL, ArchiMate) while model transformations can be used for several different tasks including, e.g., traceability, consistency checking, code generation, simulation, etc.
MDE4SA 2020 aims at promoting and fostering discussion on novel ideas and techniques, possibly controversial approaches on the interplay of MDE and SA. The workshop aims at providing a forum for researchers and practitioners from academia and industry in which novel and innovative solutions to current and future challenges of the interplay of MDE and SA can be presented and discussed.

Topics of interest

The workshop is a forum where researcher and practitioners can share current problems and innovative solutions including, but not limited to:
- Model-driven techniques and methodologies for designing SA
- Architectural description of SA design, considering logical and physical aspects through MDE
– Model-driven approaches for defining and measuring Quality-of-Service (QoS) in SAs
– Analysis of architectural designs and architectural patterns
– Approaches for migrating legacy architecture towards microservice architectures, serverless by means of MDE techniques
– Industrial practices and tools supporting the adoption of MDE into SA
– Methodologies adopted in industrial contexts
– Model repositories for SA
– Code generation from SA models and transformation approaches
– Change Propagation in SA views and consistency management
– Evolution of SA through modeling
– Empirical studies on SA and MDE areas

Important Dates

Paper Submission

June 24, 2020    July 1, 2020

Notification to authors

July 13, 2020

Camera Ready

July 20, 2020

Submission

We solicit papers (max. 14 pages, including references) of the following types:
- Technical papers presenting novel contributions relevant to the workshop topics
- Work in progress papers presenting preliminary results in applying MDE to software architecture
- Visionary papers on open problems and future research challenges
- Experience papers describing the use of MDE in software architecture within industrial context
Contributions must be written in English, adhere to the Springer CCIS formatting guidelines, and be submitted through EasyChair
All submissions must be original work and must not have been previously published or being under review elsewhere. For each accepted paper, at least one of the authors must register for the workshop, participate fully in the workshop, and present the paper at the workshop.

Program

14:00 - 14:10 Opening
14:10 - 15:00 Invited talk (chair: Alessio Bucaioni)
• Patrizio Pelliccione (University of L'Aquila, Italy, and Chalmers | University of Gothenburg, Sweden)
(Ab)using MDE for SA
15:00 - 15:10 Break
15:10 - 15:30 Regular session I (chair: Amleto Di Salle)
• Matteo Camilli
Continuous Formal Verification of Microservice-based Process Flows
15:30 - 16:20 Invited talk (chair: Matteo Camilli)
•Catia Trubiani (Gran Sasso Science Institute, Italy)
Performance Learning for Uncertainty of Software Systems
16:20 - 16:30 Break
16:30 - 17:30 Regular session II (chair: Stephanie Challita)
• Markus Frank et al.
Defining a Formal Semantic for Parallel Patterns in the Palladio Component Model using Hierarchical Queuing Petri Nets
• Elvinia Riccobene et al.
Model-based Simulation at Runtime with Abstract State Machines
• Akram Idani et al.
Railway Standard Notations in a Formal DSL-based Framework
17:30 - 17:40 Conclusion and remarks

Committees

Organizers


Alessio Bucaioni

Academy of Innovation, Design and Engineering, Mälardalen University, Västerås Sweden


Amleto Di Salle

Department of Information Engineering, Computer Science and Mathematics - University of L’Aquila, Italy


Ludovico Iovino

Computer Science Scientific Area, Gran Sasso Science Institute, 67100 L’Aquila, Italy


Peng Liang

School of Computer Science, Wuhan University, China


Program Committee


  • - Autili Marco, University of L’Aquila, IT
  • - Carlson Jan, Malardalen University, SE
  • - De Sanctis Martina, Gran Sasso Science Institute, IT
  • - Di Marco Antinisca, University of L’Aquila, IT
  • - Durisic Darko, Volvo Cars, SE
  • - Lago Patricia, Vrije Universiteit Amsterdam, NL
  • - Malavolta Ivano, Vrije Universiteit Amsterdam, NL
  • - Pelliccione Patrizio, University of L'Aquila, IT, and Chalmers | University of Gothenburg, SE
  • - Tamzalit Dalila, LS2N, Université de Nantes, FR
  • - Tuosto Emilio, Gran Sasso Science Institute, IT
  • - Vaidhyanathan Karthik, Gran Sasso Science Institute, IT
  • - Wimmer Manuel, JKU Linz, AUT
  • - Xiao He, University of Science and Technology Beijing, CN
  • - Zhang Pengcheng, Hohai University, CN

Publicity Chair


Francesco Gallo

Department of Information Engineering, Computer Science and Mathematics - University of L’Aquila, Italy


Web Chair


Francesco Gallo

Department of Information Engineering, Computer Science and Mathematics - University of L’Aquila, Italy


Venue

Università degli Studi dell'Aquila

Established in 1952 and located in L'Aquila, administrative centre of the Abruzzo Region, our University is a public teaching and research institution offering a full range of academic programmes including biotechnologies, sciences, economics, engineering, education, humanities, medicine, psychology, and sport sciences. With 7 departments, the University of L'Aquila offers its over 19,000 enrolled students 68 degree courses (divided between first and second level degrees), 9 research doctorate programmes, specialisation schools, specializing-master courses and vocational courses. Many members of its distinguished faculty of about 600 professors and researchers have received international recognition and are considered leaders in their fields of research.

Address

Dipartimento di Scienze Umane Università degli Studi dell’Aquila, Viale Nizza, 14 67100 L'Aquila Italy - Maps