Call for Papers

Announcement: The submission deadline has been extended to 14 July. 

Potential contributors are requested to submit only the abstracts as soon as possible, via the submission platform.

MoDeVVa 2024

Co-located with MODELS 2024

21st Workshop on Model Driven Engineering, Verification and Validation

Linz, Austria

Between September 22nd-24th 2024 (Final date yet to be decided)

Models are purposeful abstractions of systems and their environments. They can be used to understand, simulate, and validate complex systems at different abstraction levels. Model-Based Systems Engineering (MBSE) is the predominant paradigm used in many industries to capture system requirements, design, analysis and support verification and validation activities throughout the life cycle of complex systems. In the software industry, Model-Driven Engineering (MDE) is a development methodology that is based on models, metamodels, and model transformations. The shift from code-centric software development to model-centric software development in MDE opens up promising opportunities for the verification and validation (V&V) of software. On the other hand, the growing complexity of models and model transformations requires efficient V&V techniques in the context of MBSE and MDE.

The workshop on Model Driven Engineering, Verification and Validation (MoDeVVa) offers a forum for researchers and practitioners who are working on V&V, MBSE and MDE. The main goals of the workshop are to identify, investigate, and discuss emerging research in the mutual impacts of model-based engineering and V&V. The major questions of interest in MoDeVVa revolve around the possible overlaps and mutual benefits of MDE and V&V: How can MDE improve V&V? How can V&V increase the reliability of MDE?

Topics of interest

We welcome contributions in all areas at the intersection of MBSE/MDE and V&V. Papers addressing the following topics are particularly welcome:
V&V in MBSE/MDE

• Theoretical frameworks and approaches for integration of V&V in MBSE/MDE.

• Formalisms and theories for the specification and verification of models.

• Formal approaches to models, modeling languages, including DSMLs and MDE in general.

• Modeling relations for checking model conformance and/or refinement.

• The application and combination of different V&V techniques (e.g., classical testing, static analysis, model checking, deductive approaches, runtime verification) to MBSE/MDE artifacts.

• V&V in “lightweight” modeling environments that do not use explicit metamodeling or heavy modeling infrastructures

MDE in V&V, Certification and Quality Assurance

• Use of MDE abstractions (models, meta-models, model transformations) in V&V tasks.

• Use of model-evolution approaches to enable incremental V&V.

• Industrial case studies for application of MDE for quality assurance.

• Model-based process engineering to acquire certification.

• Process engineering to support V&V activities.

Tools, usability, and applications

• Integration between modeling tools, IDEs and V&V back-ends.

• Innovative approaches for model-based V&V of “real-world” systems.

• Tools and techniques that help reduce the semantic gap between models and back-end formalisms used in V&V tasks.

• Case studies and applications of V&V in MBSE/MDE.

AI-related topics for V&V activities

• Use of Machine Learning (ML) to assist model-based V&V activities (e.g., testing selection, generation and prioritization)

• AI-enabled model inspection

• AI-enabled frameworks/processes for model-based testing

• Current practices/case-studies/experience reports on applying ML-assisted model-based V&V.

• Use of MDE and V&V in systems that involve AI components

Submissions and Publication

The proceedings will be published by ACM. The length limitation for short papers is five (5) pages including references, and for full papers ten (10) pages including references. The papers should follow the same formatting instructions used for the MODELS main track, available here for both LaTeX and Word users. MoDEVVa will use a single-blind/single-anonymous review process.

• LaTeX users must use the provided acmart.cls and ACM-Reference-Format.bst without modification, 

• enable the conference format in the preamble of the document (i.e., \documentclass[sigconf,review]{acmart}), the review option adds line numbers, thereby allowing referees to refer to specific lines in their comments.

• use the ACM reference format for the bibliography (i.e., \bibliographystyle{ACM-Reference-Format}). 

Papers should be submitted via EasyChair at https://easychair.org/conferences/?conf=modevva24.

Special Issue

We are pleased to announce that the best papers from MoDEVVa and the SAM Conference will be invited to submit extended versions jointly published in a special issue of Innovations in Systems and Software Engineering: a NASA Journal (ISSE) published by Springer Nature !!

Submission Terms and Conditions

• By submitting to MoDeVVa, authors acknowledge that they are aware of and agree to be bound by the ACM Policy and Procedures on Plagiarism. In particular, papers submitted to MoDeVVa must not have been published elsewhere and must not be under review or submitted for review elsewhere while under consideration for MoDeVVa.

• By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM's new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy.

• Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. The collection process has started and will roll out as a requirement throughout 2022. We are committed to improve author discoverability, ensure proper attribution and contribute to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.

Workshop Format

MoDeVVa 2024 will include an opening keynote, paper presentations and the last session of the day will be dedicated to discussions on the topics presented with the goal of identifying common themes, interesting problems and shared interests and hopefully propose avenues for future research. We anticipate an enjoyable and exciting event where all participants will leave with answers or well-founded doubts on MDE and V&V.

Important Dates

• Full Paper Submission (both short and long papers): until Friday, 5th July, 2024 (extended to 14th July, 2024)

• Notification to authors: Wednesday, August 7th, 2024

• Final version (Camera Ready): Friday, August 16th, 2024 

• Workshop: September 22nd–24th, 2024 (precise workshop date to be confirmed) 

Organizing Committee (e-mail: modevva@gmail.com)

• Saad Bin Abid (CARIAD SE/Alten, Germany)

• Jens Kosiol (Philipps-Universit ̈at Marburg, Germany and Universit ̈at Kassel, Germany)

• Rakshit Mittal (University of Antwerp - Flanders Make, Belgium)

• Iulian Ober (ISAE-SUPAERO, Université de Toulouse, France)

• Ernesto Posse (Lumenix/Zeligsoft, Canada)