November 24 – 29 , 2019, Dagstuhl Seminar 19481

Composing Model-Based Analysis Tools


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)

For support, please contact

Annette Beyer for administrative matters

Michael Gerke for scientific matters


Dagstuhl Seminar Schedule (Upload here)

(Use seminar number and access code to log in)


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.

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


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


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


In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.

NSF young researcher support