4th International ICST Conference on Performance Evaluation Methodologies and Tools

Research Article

Interfaces and Binding in Component Based Development of Formal Models

Download99 downloads
  • @INPROCEEDINGS{10.4108/ICST.VALUETOOLS2009.7677,
        author={G. Franceschinis and M. Gribaudo and M. Iacono and S. Marrone and F. Moscato and V. Vittorini},
        title={Interfaces and Binding in Component Based Development of Formal Models},
        proceedings={4th International ICST Conference on Performance Evaluation Methodologies and Tools},
        publisher={ICST},
        proceedings_a={VALUETOOLS},
        year={2010},
        month={5},
        keywords={Formal Models Interface Binding Metamodeling Dependability Performability},
        doi={10.4108/ICST.VALUETOOLS2009.7677}
    }
    
  • G. Franceschinis
    M. Gribaudo
    M. Iacono
    S. Marrone
    F. Moscato
    V. Vittorini
    Year: 2010
    Interfaces and Binding in Component Based Development of Formal Models
    VALUETOOLS
    ICST
    DOI: 10.4108/ICST.VALUETOOLS2009.7677
G. Franceschinis1,*, M. Gribaudo2,*, M. Iacono3,*, S. Marrone3,*, F. Moscato3,*, V. Vittorini4,*
  • 1: Universita del Piemonte Orientale, Italy
  • 2: Universita di Torino, Italy
  • 3: Seconda Universita di Napoli, Italy
  • 4: Universita di Napoli “Federico II”, Italy
*Contact email: giuliana@unipmn.it, marcog@di.unito.it, mauro.iacono@unina2.it, stefano.marrone@unina2.it, francesco.moscato@unina2.it, vittorin@unina.it

Abstract

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 models allowing the substitution of components within composed multiformalism models. The work extends the OsMoSys methodology and relies on meta-modeling. This paper does not discuss formal aspects about interface theory and components interaction, but focuses on the problem of building component models in practice with the ultimate goal of solving them by using (the existing) analysis tools. The paper formally extends the OsMoSys conceptual model in order to introduce model interfaces and to provide some rules for interface compatibility. The paper also describes some steps towards the full definition of mechanisms for interface binding and their implementation.