MoDeVVa 2023 - 20th Workshop on Model Driven Engineering, Verification and Validation co-located with Models 2023
Sprache des Titels:
Englisch
Original Kurzfassung:
Modelling is a powerful technique for handling the complexity of software and hardware artifacts, and their respective environments. Model Driven Engineering (MDE) provides efficient tools for building and working with models, from the requirements specification of a system to code-generation, testing, configuration and deployment. Through the systematic use of digital models, which can be processed automatically by programs, MDE offers the opportunity to verify and validate every step in the life cycle of a system. Thus, the first motivation for MoDeVVa is the integration of verification and validation (V&V) techniques into MDE.
While V&V can be seen as an enabler in MDE, it presents a set of challenges of its own. These challenges includes issues of usability and integration with MDE processes as well as the technical difficulties of performing V&V tasks.
One way of addressing these challenges is by taking ad-vantage of MDE itself in V&V tasks, for example by means of domain-specific modelling languages (DSMLs) to capture requirements, system properties, specifications and system de-sign, and leveraging all MDE has to offer such as abstraction, refinement, model-transformations and other techniques, to help perform V&V tasks. Thus, the second motivation for MoDeVVa is the integration of MDE techniques into V&V.
Forschungs-