https://www.dagstuhl.de/19481

24. – 29. November 2019, Dagstuhl-Seminar 19481

Composing Model-Based Analysis Tools

Organisatoren

Francisco Durán (University of Málaga, ES)
Robert Heinrich (KIT – Karlsruher Institut für Technologie, DE)
Diego Pérez-Palacín (Linnaeus University – Växjö, SE)
Carolyn L. Talcott (SRI – Menlo Park, US)
Steffen Zschaler (King's College London, GB)

Auskunft zu diesem Dagstuhl-Seminar erteilen

Annette Beyer zu administrativen Fragen

Michael Gerke zu wissenschaftlichen Fragen

Dokumente

Programm des Dagstuhl-Seminars (Hochladen)

(Zum Einloggen bitte Seminarnummer und Zugangscode verwenden)

Motivation

Quality properties like performance and dependability are key for today’s systems. Several techniques have been developed to effectively model quality properties, which allow analyzing these systems. However, the very different nature of these properties has led to the use of different techniques and mostly independent tools. In addition, different tools and techniques can be used for modelling quality depending on the size and complexity of the systems and the available details. For example, for modeling dependability techniques like Fault Trees, Markov Chains, and Reliability Block Diagrams are available. Similarly, a range of analysis techniques are available, including simulations, using numerical, analytical or graphical techniques, and analytical methods.

Although it is worth exploring other techniques and methodologies, model-driven engineering (MDE) seems a promising technique to efficiently design and reason about behavior and quality of systems in various domains. Indeed, it has been very successfully applied to improve the efficiency of software development and analysis in various domains.

Moreover, recent innovations, like the Internet of Things, production automation, and cyber physical systems, combine several domains such as software, electronics and mechanics. Consequently, also the analyses for each of these individual domains need to be combined to predictively analyze the overall behavior and quality. The composition of systems and their analyses is a challenging but unavoidable issue for today’s complex systems. Existing (MDE) approaches to modeling and analysis are not sufficient to compose modular analyses combining domain-specific languages. First attempts towards composable modular models have been developed in recent years, attempting to compose, not only the structure of models and domain specific modeling languages (DSMLs), but also their dynamic aspects (behavior and semantics). These indeed may be good foundations for building composable modular analyses. However, much work remains ahead.

In this Dagstuhl Seminar, we target more flexibility in MDE by discussing how to modularize and compose models and analyses. This provokes questions from the theoretical computer science and formal methods community — for example, on validity, uncertainties, behavior and property protection/preservation/reflection, and termination of analyses. Traditionally, research on these topics is conducted in the formal methods community isolated from the MDE community.

A key objective for bringing together representatives from industry and researchers in the formal methods and software engineering communities is to make progress towards establishing the foundations for a common understanding. Specifically, the main goals of the seminar are:

  1. Build a joint community on modular modeling and analysis.
  2. Identify and discuss commonalities and differences to address fundamental questions and elaborate the basic concepts on modular modeling and analysis.
  3. Create joint publications that summarize the state of the art, discussions of commonalities and differences, fundamental concepts, and identify potential for future research activities.

Motivation text license
  Creative Commons BY 3.0 DE
  Francisco Durán, Robert Heinrich, Diego Pérez-Palacín, Carolyn L. Talcott, and Steffen Zschaler

Classification

  • Modelling / Simulation
  • Semantics / Formal Methods
  • Software Engineering

Keywords

  • Model-driven Engineering
  • Metamodeling
  • Analysis
  • Modularization
  • Composition

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.