Basic Problems in Multi-View Modeling

Jan Reineke, Christos Stergiou, Stavros Tripakis

Research output: Contribution to journalArticleScientificpeer-review

Abstract

Modeling all aspects of a complex system within a single model is a difficult, if not impossible, task. Multi-view modeling is a methodology where different aspects of the system are captured by different models, or views. A key question then is consistency: if different views of a system have some degree of overlap, how can we guarantee that they are consistent, i.e., that they do not contradict each other? In this paper we formulate this and other basic problems in multi-view modeling within an abstract formal framework. We then instantiate this framework onto several discrete system settings: languages and automata over finite and infinite words, and symbolic transition systems; and study how checking view consistency and other problems can be solved in these settings.
Original languageEnglish
Pages (from-to)1577-1611
JournalSOFTWARE AND SYSTEMS MODELING
Volume18
Issue number3
Early online date2017
DOIs
Publication statusPublished - 1 Jun 2019
MoE publication typeA1 Journal article-refereed

Keywords

  • Formal methods
  • System modeling
  • Views
  • Verification
  • Synthesis
  • Consistency
  • Automata
  • Symbolic transition systems
  • Projection
  • Inverse projection

Fingerprint Dive into the research topics of 'Basic Problems in Multi-View Modeling'. Together they form a unique fingerprint.

  • Cite this