Jan Reineke and Stavros Tripakis

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2014-4

January 21, 2014

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-4.pdf

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 in a discrete, finite-state system setting, and study how some key verification and synthesis problems can be solved in that setting.

---

BibTeX citation:

@techreport{Reineke:EECS-2014-4,
    Author= {Reineke, Jan and Tripakis, Stavros},
    Title= {Basic Problems in Multi-View Modeling},
    Year= {2014},
    Month= {Jan},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-4.html},
    Number= {UCB/EECS-2014-4},
    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 in a discrete, finite-state system setting, and study how some key verification and synthesis problems can be solved in that setting.},
}

EndNote citation:

%0 Report
%A Reineke, Jan 
%A Tripakis, Stavros 
%T Basic Problems in Multi-View Modeling
%I EECS Department, University of California, Berkeley
%D 2014
%8 January 21
%@ UCB/EECS-2014-4
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-4.html
%F Reineke:EECS-2014-4