Interfaces and Binding in Component Based Development of Formal Models
G. Franceschinis, Marco Gribaudo, Mauro Iacono, S. Marrone, Francesco Moscato, Valeria Vittorini · 2009
Component based modeling is of great importance for building and analyzing models of real systems. It is based on a well known paradigm which makes use of abstraction and composition. In this paper we focus on abstraction, by describing a practical approach to the definition of very simple interface